Nhiều người đã bối rối sau khi xem các hình ảnh và văn bản mới về khoa học vườn thú của @zkSync. Họ so sánh sở thú với một vòng tròn, coi những động vật có kỹ năng đặc biệt là "cổng logic" và vui vẻ chụp ảnh nhóm tất cả các loài động vật. Đó là được coi là "bằng chứng", do đó dữ liệu đầu vào vào mạch sẽ trải qua một loạt các phép tính phức tạp mà không tiết lộ nội dung cụ thể và bằng chứng sẽ được tạo ra, do đó hoàn thành quy trình chứng minh không có kiến thức. Nào, hãy để tôi thử phổ biến một số môn khoa học khó:
Sở thú tương ứng với "mạch". Mạch thực chất là sự kết hợp của một loạt các ràng buộc cổng logic (cộng, trừ, nhân, chia, v.v.). công thức), tương đương với tất cả các biểu hiện tập trung về khả năng của động vật, nó cũng là một thành phần cơ bản của máy tính. Do đó, "dữ liệu" được truyền vào mạch phải được đưa vào các công thức khác nhau và thực hiện các phép tính.
Trong môi trường layer2, có một số dữ liệu như giá trị băm giao dịch, tài khoản và số dư dữ liệu. Những dữ liệu này có thể được chuyển đổi thành công thức để tính toán. Nếu không thể lập công thức được thì cần phải chuyển đổi mã hóa khác để làm cho dữ liệu gốc có thể sử dụng được Trở thành một công thức, là điều kiện tiên quyết để mạch thực hiện xử lý.
Các cổng logic trong mạch tương ứng với các loài động vật khác nhau, ở chế độ sở thú là: hộp gỗ - đại diện cho các số không được hiển thị công khai, gọi là "biến"; hộp kính - đại diện cho công khai. Các số được hiển thị là "đầu vào công cộng"; đá - đại diện cho các số không thể di chuyển và được coi là "hằng số";
Ngựa vằn có khả năng so sánh xem hai số có "bằng nhau" hay không. Nếu kết quả bằng nhau, ngựa vằn sẽ Hạnh phúc; cá sấu có nghĩa là "nhỏ hơn". Cá sấu sẽ chỉ hạnh phúc nếu số bên phải nhỏ hơn số bên trái; con nhện đại diện cho một cổng đa lựa chọn phức tạp hơn. Nếu bạn nhập 0, kết quả trả về phải đúng và nếu bạn nhập 1, kết quả trả về sẽ sai; ngoài ra, bạn có thể Để hải ly đại diện cho phép chia, con sóc đại diện cho tỷ lệ phần trăm, con sâu bướm đại diện cho phép cộng, v.v. Các con vật khác nhau đại diện cho các công thức cộng, trừ, nhân và chia khác nhau. Các con vật vui hay buồn đại diện cho cấu trúc của các phép tính công thức.
Sự kết hợp của nhiều con vật + hộp các loại khác nhau tạo thành một mạch.Ví dụ: để tính công thức 2 x + 3 = Y, x tượng trưng cho hộp gỗ, Y tượng trưng cho hòn đá, 2 hộp gỗ và một con sâu bướm, ngựa vằn, v.v. bắt tay vào làm và cuối cùng xác minh xem công thức đã được thiết lập hay chưa. Lưu ý rằng không cần phải lo lắng về việc tại sao các loài động vật khác nhau lại có khả năng khác nhau, đây là nguyên lý hoạt động cơ bản của các phần tử mạch điện và là quy tắc cơ bản để máy tính thực hiện các phép tính.
Một mạch phức tạp được xây dựng từ nhiều loại động vật (cổng logic) và hộp (quy tắc).
Giả sử rằng công thức 2x+3 =Y vừa nhập được thiết lập, tương đương với việc sâu bướm ngựa vằn và các động vật khác vui vẻ, khi đó một "Bằng chứng" sẽ được tạo cho công thức và nhân vật cần để có thể nhận ra điều này. Điều quan trọng chỉ là Bằng chứng có chính xác hay không. Vì vậy, để đảm bảo độ tin cậy của bằng chứng, người quản lý vườn thú, người xây dựng mạch điện, đã mô phỏng một con vật đặc biệt tên là Zeek, Zeek có thể xem các con vật khác có vui vẻ hay không và tương đương với Verifier trong hệ thống layer2.
Quá trình Zeek quan sát xem các con vật có hạnh phúc hay không thực chất là quá trình xác minh của hệ thống Prover. Nếu tất cả chúng đều hài lòng, quá trình xác minh sẽ được thông qua. Chỉ khi đó Bằng chứng mới được tải lên mạng chính và cuối cùng đã được xác nhận. Tất nhiên, trong sở thú có hàng ngàn con thú sản xuất ra số lượng lớn bằng chứng, Zeek không thể nhìn từng con một, vì vậy, Zeek cũng có thể quan sát xem trạng thái của hàng ngàn bản sao của chính Zeek có vui vẻ hay không. được gọi là Bằng chứng đệ quy.
Quy trình chụp ảnh tương đương với quá trình tạo chứng chỉ SNARK hoặc cam kết KZG và âm bản được in tương đương với chính chứng chỉ STARK\SNARK Khách tham quan vườn thú tương đương với các giao dịch Giao dịch lần lượt đi vào và chỉ những con vật mới vui vẻ chụp ảnh. Chỉ khi đó Bằng chứng mới được hoàn thành và tạo ra. Cuối cùng, khách sẽ chụp ảnh và rời khỏi sở thú để để lại bằng chứng trước khi tải lên chuỗi và hoàn thiện.
Trong vườn thú có rất nhiều loài động vật, không thể nào tất cả chúng cùng vui vẻ và làm việc theo những quy luật đã định trước, có rất nhiều cổng logic, và tất yếu sẽ có mất kết nối và các tình huống khác. Bằng cách này, sẽ có một số báo cáo tắc nghẽn, độ trễ và lỗi, dẫn đến chuyển đổi trạng thái không hợp lệ, Dưới mức ràng buộc và sẽ không vượt qua được xác minh cuối cùng.
Ở trên.
Kikyo
Jasper
Hui Xin
Catherine
Davin
Joy
Aaron