Vitalik Buterin công bố giao thức GKR cho các hệ thống chứng minh nhanh hơn

Vitalik Buterin đã chia sẻ nghiên cứu mới có thể định hình lại cách Ethereum tiếp cận xác minh chứng minh và mở rộng trong những năm tới.

Tóm tắt

• Vitalik Buterin giới thiệu GKR, một giao thức cho việc tổng hợp chứng minh nhanh hơn.
• GKR cải thiện hiệu suất cho các hệ thống ZK và rollup của Ethereum.
• Nó đánh dấu một bước tiến hướng tới tầm nhìn “Lean” và bảo mật lượng tử của Ethereum cho năm 2025.

Vitalik Buterin đã giới thiệu giao thức GKR, một hệ thống chứng minh đột phá được thiết kế để làm cho các phép toán không biết nhanh hơn và hiệu quả hơn.

Được xuất bản vào ngày 20 tháng 10, trên blog cá nhân vitalik.eth.limo, hướng dẫn mới của Buterin chi tiết về giao thức Goldwasser–Kalai–Rothblum. Phương pháp tổng hợp chứng minh đệ quy này có tiềm năng thay đổi hoàn toàn cách Ethereum (ETH) xử lý việc mở rộng và xác minh.

GKR giao thức và tương lai của hiệu quả chứng minh

Khung GKR xác minh các phép toán lớn với chi phí on-chain thấp, đơn giản hóa các chứng minh mã hóa phức tạp. Buterin mô tả cách GKR xử lý các chứng minh trong thời gian logarithmic mà không yêu cầu các cam kết trung gian tốn kém, làm cho nó hiệu quả hơn rất nhiều so với các hệ thống ZK-SNARK hoặc STARK thông thường.

Trong bài đăng của mình, Buterin ghi nhận Lev Soukhanov, Zhenfei Zhang và Zachary Williamson vì phản hồi và đánh giá của họ, nhấn mạnh rằng sức mạnh cốt lõi của GKR nằm ở khả năng mở rộng. “Nó rất phù hợp để chứng minh các lô băm lớn và các phép toán kiểu mạng nơ-ron,” ông viết, nhấn mạnh tính thích hợp của nó cho cả khối chuỗi và khối lượng công việc AI.

Vì thiết kế của giao thức, những người chứng minh có thể bỏ qua các cam kết ở các giai đoạn trung gian, điều này làm giảm chi phí và tải tính toán. Mặc dù GKR không phải là zero-knowledge bản thân nó, nhưng nó có thể được bọc trong các lớp ZK-SNARK hoặc STARK để bảo mật, kết hợp sự ngắn gọn với tính bảo mật.

Một phần quan trọng trong lộ trình của Ethereum

GKR phù hợp với tầm nhìn rộng lớn hơn của Buterin về “Ethereum gọn nhẹ,” một thiết kế mạng đơn giản hóa và kháng lượng tử. Nó hỗ trợ trực tiếp cho việc Ethereum chuyển sang tính chắc chắn nhanh hơn, tổng hợp chứng cứ cho các rollup, và khả năng mở rộng dựa trên kiến thức không.

Bản phát hành này theo sau một số sáng kiến liên quan từ Vitalik Buterin, chẳng hạn như các đề xuất về các công cụ tương tác nâng cao giữa các mạng lớp-2, các client không trạng thái một phần để giảm thiểu lưu trữ nút, và quản trị được hỗ trợ bởi ZK. Cùng nhau, chúng nhằm mục đích làm cho Ethereum hiệu quả hơn, riêng tư hơn và dễ tiếp cận hơn.

Cơ sở hạ tầng mã hóa của Ethereum có thể trở nên nhẹ hơn và nhanh hơn khi các nhà phát triển bắt đầu thử nghiệm với các hệ thống dựa trên GKR, điều này sẽ giúp hiện thực hóa mục tiêu dài hạn của Buterin về việc tính toán có thể mở rộng và được xác minh.