Tìm hiểu sự tương tự về sở thú của zkSync đối với các bằng chứng không có kiến ​​thức

Theo PANews, zkSync gần đây đã phát hành một minh họa giáo dục sử dụng phép tương tự trong vườn thú để giải thích khái niệm bằng chứng không có kiến ​​thức. Sự tương tự so sánh một vườn thú với một mạch điện, những con vật có kỹ năng đặc biệt với những cổng logic và một bức ảnh nhóm các con vật hạnh phúc là một bằng chứng. Bằng cách nhập dữ liệu vào mạch mà không tiết lộ nội dung cụ thể và thực hiện các phép tính phức tạp, bằng chứng sẽ được tạo ra, hoàn thành quy trình chứng minh không có kiến ​​thức. Trong phép tương tự ở vườn thú, mạch tương ứng với một loạt các ràng buộc cổng logic (cộng, trừ, nhân, chia, v.v.) tổng hợp khả năng của tất cả các loài động vật. Dữ liệu được truyền vào mạch phải có khả năng được thực thi theo nhiều công thức khác nhau. Trong môi trường lớp 2, dữ liệu như băm giao dịch, tài khoản và số dư dữ liệu có thể được chuyển thành công thức để tính toán. Các loài động vật khác nhau trong vườn thú đại diện cho các cổng logic khác nhau. Ví dụ: ngựa vằn có khả năng so sánh xem hai số có bằng nhau hay không, cá sấu đại diện cho 'nhỏ hơn' và nhện đại diện cho các cổng có nhiều lựa chọn phức tạp hơn. Các con vật khác nhau đại diện cho các công thức số học khác nhau và niềm vui hay nỗi buồn của chúng biểu thị cấu trúc của phép tính công thức. Một mạch phức tạp được xây dựng bởi nhiều động vật khác nhau (cổng logic) và các hộp (quy tắc). Khi một công thức được chứng minh là đúng, các loài động vật như ngựa vằn và sâu bướm sẽ trở nên vui vẻ và bằng chứng cho công thức đó sẽ được tạo ra. Để đảm bảo độ tin cậy của bằng chứng, một loài động vật đặc biệt tên là Zeek được giới thiệu làm người xác minh trong hệ thống lớp2. Zeek có thể quan sát xem các động vật khác có hạnh phúc hay không và nếu có, bằng chứng sẽ được xác minh và tải lên mạng chính để xác nhận lần cuối. Quá trình chụp ảnh nhóm tương tự như tạo bằng chứng SNARK hoặc cam kết KZG, trong khi phim in tương đương với bằng chứng STARK/SNARK. Du khách đến sở thú đại diện cho các giao dịch cá nhân và chỉ khi các con vật vui vẻ và chụp ảnh nhóm thì bằng chứng mới được tạo và xác nhận trên blockchain. Tuy nhiên, không phải tất cả các loài động vật trong vườn thú đều có thể vui vẻ và cùng lúc làm việc theo những quy tắc định trước, dẫn đến tắc nghẽn, sai sót và chuyển đổi trạng thái không hợp lệ. Những tình huống này dẫn đến các điều kiện dưới mức ràng buộc, khiến không thể vượt qua bước xác minh cuối cùng.