Vitalik nói rằng việc làm cho các bằng chứng ZK ‘dễ hiểu’ là cần thiết đối với Ethereum

Đồng sáng lập Ethereum, Vitalik Buterin, đã tweet vào ngày 26 tháng 10 để tạo ra các bằng chứng không có kiến ​​thức (ZKPs) “dễ hiểu và dễ tiếp cận” để giữ cho hệ sinh thái Ethereum “cởi mở và chào đón” những người không có bằng cấp về toán học.

ZKP thường được gọi là “toán mặt trăng” vì độ phức tạp của chúng.

Tôi rất vui vì Ethereum có một nền văn hóa mạnh mẽ là cố gắng hết sức để làm cho tất cả các phép toán về mặt trăng của chúng ta trở nên dễ hiểu và dễ tiếp cận với mọi người nhất có thể. https://t.co/o9n2Xms4Zw

– importantik.eth (@VitalikButerin) Ngày 26 tháng 10 năm 2022

Buterin nói thêm rằng “Phi tập trung yêu cầu KHÔNG từ bỏ và vẫy một tiến sĩ xung quanh nói rằng” đó là một hộp đen, chúng tôi thông minh, hãy tin tưởng chúng tôi “.”

Scroll, một giải pháp mở rộng Ethereum lớp 2 không có kiến ​​thức, được giải thích trong một Blog cách các kế hoạch cam kết đa thức, một phần quan trọng của một số ZKP, hoạt động như thế nào và cách chúng có thể giúp mở rộng Ethereum.

Đa thức là biểu thức toán học biểu diễn nhiều hơn hai số hạng đại số. Theo blog Scroll, đa thức có thể giúp biểu diễn dữ liệu lớn một cách hiệu quả.

Lược đồ cam kết là một giao thức mật mã trong đó người ta cam kết một thông điệp và giữ nó ẩn nhưng có thể tiết lộ thông điệp sau đó. Tuy nhiên, người cam kết không thể thay đổi thông báo khi anh ta đã cam kết với nó, điều này làm cho các kế hoạch cam kết trở nên ràng buộc.

Trong một lược đồ cam kết đa thức, người ta cam kết một đa thức thay vì một thông báo. Lược đồ cam kết đa thức đáp ứng tất cả các thuộc tính của lược đồ cam kết bình thường. Nhưng nó có một tính năng bổ sung cho phép người cam kết chứng minh rằng anh ta đã cam kết với một đa thức nhất định thỏa mãn các thuộc tính cần thiết mà không tiết lộ chính đa thức đó.

KZG trong Ethereum mở rộng quy mô

Mặc dù có các lược đồ cam kết đa thức khác nhau, Kate-Zaverucha-Goldberg (KZG) phổ biến trong không gian blockchain và được sử dụng bởi các hệ thống bằng chứng của Scroll. KZG cũng sẽ được tích hợp vào Ethereum với Proto-Danksharding, sẽ được triển khai thông qua EIP-4844được đề xuất vào tháng 2 năm 2022.

Proto-Danksharding là một giải pháp ngăn cách cho đến khi Danksharding, có thể làm cho việc sử dụng cuộn lên rẻ hơn, có thể được triển khai. Proto-Danksharding giới thiệu một loại giao dịch mới được gọi là “giao dịch mang blob”. Các giao dịch này mang một khối dữ liệu 128kb, không thể truy cập được từ lớp thực thi Ethereum. Thay vào đó, chỉ có cam kết về khối dữ liệu mới có thể truy cập được từ Ethereum.

Khối dữ liệu được biểu diễn dưới dạng đa thức và lược đồ cam kết đa thức KZG được sử dụng để tạo cam kết cho dữ liệu. Điều này cho phép các thuộc tính của khối dữ liệu được xác minh mà không tiết lộ toàn bộ khối dữ liệu.

Do đó, việc sử dụng KZG có thể cho phép lấy mẫu dữ liệu sẵn có (DAS), sẽ được thực hiện trên đường dẫn đến Danksharding đầy đủ. Về cơ bản, DAS cho phép các trình xác nhận đảm bảo rằng khối dữ liệu có sẵn và chính xác, mà không cần phải đọc toàn bộ khối dữ liệu.

Đổi lại, điều này có thể giúp ích đáng kể trong việc tăng cường khả năng mở rộng của Ethereum vì trình xác thực cần xử lý ít dữ liệu hơn.