Lấy vườn thú làm ví dụ, việc phổ biến khoa học cốt lõi về nguyên lý làm việc của mạch zkSync
Tác giả gốc: Haotian (X: @tme l0 211)
Nhiều người đã bối rối sau khi xem những bức ả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 mạch điện, coi những động vật có kỹ năng đặc biệt là cổng logic và coi bức ảnh nhóm tất cả các loài động vật vui vẻ là bằng chứng , bằng cách này, dữ liệu đầu vào mạch sẽ trải qua một loạt các phép tính phức tạp để tạo ra Bằng chứng mà không tiết lộ nội dung cụ thể, từ đó 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 khoa học cốt lõi:
1) Sở thú tương ứng với mạch, một mạch thực chất là sự tổng hợp của một loạt các ràng buộc cổng logic (công thức cộng, trừ, nhân, chia, v.v.), tương đương với sự biểu hiện tập trung khả năng của tất cả các loài động vật . Nó cũng là thành phần cơ bản cấu thành nên một chiếc 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 lớp 2 có một số dữ liệu như giá trị băm giao dịch, tài khoản, số dư dữ liệu, những dữ liệu này có thể 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 để dữ liệu gốc có thể được chuyển thành công thức, đây là điều kiện tiên quyết cho quá trình xử lý thực thi mạch.
2) 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 số không được hiển thị công khai, được gọi là biến; hộp kính - đại diện cho số được hiển thị công khai, là “Đầu vào của công chúng”; đá - đại diện cho một con số bất động 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 thì ngựa vằn sẽ vui, cá sấu nghĩa là nhỏ hơn và cá sấu chỉ vui nếu số bên phải nhỏ hơn hơn số bên trái; con nhện biểu thị một cổng trắc nghiệm phức tạp hơn, đầu vào Nếu nhập 0, giá trị trả về phải đúng và nếu nhập 1, giá trị trả về là sai; ngoài ra, hải ly cũng có thể được được sử dụng để biểu thị phép chia, con sóc có thể biểu thị tỷ lệ phần trăm, con sâu bướm có thể biểu thị 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.
Nhiều con vật + hộp các loại khác nhau được ghép lại 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 đá, 2 hộp gỗ, sâu bướm, ngựa vằn v.v. để làm việc, Cuối cùng, hãy 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).
3) Giả sử rằng công thức 2 x+ 3 =Y vừa nhập đã được thiết lập, điều đó có nghĩa là các động vật như sâu bướm ngựa vằn rất vui và sau đó một Bằng chứng sẽ được tạo ra cho công thức. Nhân vật cần có khả năng xác định xem điều này có đúng không Bằng chứng là chính xác. 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 lớp 2.
Quá trình Zeek quan sát xem động 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ả động vật đều vui vẻ thì 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 vườn 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.
4) Quá 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, trong khi âm bản được in tương đương với chính chứng chỉ STARK\SNARK. Khách đến vườn thú tương đương với các giao dịch Giao dịch nhập từng cái một. Chỉ những bức ảnh vui vẻ về động vật mới được hoàn thành và tạo ra. Bằng chứng chứng minh rằng khách cuối cùng đã chụp bức ảnh và rời khỏi sở thú để để lại bằng chứng trước khi nó có thể được xâu chuỗi và hoàn thiện.
Trong sở thú có rất nhiều loài động vật, không thể nào tất cả chúng đều vui vẻ và làm việc theo những quy luật đã định trước, có rất nhiều cổng logic, không thể tránh khỏi việ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.
