Đồng sáng lập Ethereum, Vitalik Buterin, ra mắt giao thức GKR nhằm tăng tốc hệ thống bằng chứng

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 bằng chứng và mở rộng quy mô trong những năm tới.

Vitalik Buterin đã giới thiệu giao thức GKR, một hệ thống bằng chứng đột phá được thiết kế để làm cho các phép tính zero-knowledge 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 trình bày chi tiết giao thức Goldwasser–Kalai–Rothblum. Phương pháp tổng hợp bằng chứng đệ quy này có tiềm năng thay đổi hoàn toàn cách Ethereum (ETH) xử lý mở rộng quy mô và xác minh.

Giao thức GKR và tương lai của hiệu suất bằng chứng

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

Trong bài viết của mình, Buterin ghi nhận Lev Soukhanov, Zhenfei Zhang và Zachary Williamson vì những 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ô lớn hàm băm và các phép tính kiểu mạng nơ-ron,” ông viết, nhấn mạnh sự phù hợp của nó cho cả khối chuỗi và khối lượng công việc AI.

Nhờ thiết kế của giao thức, các prover có thể bỏ qua các cam kết ở các giai đoạn trung gian, giúp giảm chi phí và tải tính toán. Mặc dù bản thân GKR không phải là zero-knowledge, nhưng nó có thể được bọc trong các lớp ZK-SNARK hoặc STARK để đảm bảo quyền riêng tư, kết hợp tính 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ề “Lean Ethereum”, một thiết kế mạng đơn giản hóa và chống lượng tử. Nó trực tiếp hỗ trợ bước tiến của Ethereum hướng tới hoàn thiện nhanh hơn, tổng hợp bằng chứng cho rollup và khả năng mở rộng dựa trên zero-knowledge.

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

Nền tảng mật mã 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 lâu dài của Buterin về tính toán có thể mở rộng và được xác minh.