Nghiên cứu mới của Vitalik Buterin về GKR
Vitalik Buterin đã chia sẻ một nghiên cứu mới có thể định hình lại cách Ethereum tiếp cận việc xác minh và mở rộng trong những năm tới. Ông đã 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 (zero-knowledge) trở nên nhanh hơn và hiệu quả hơn.
Được công bố 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ó khả năng thay đổi hoàn toàn cách Ethereum (ETH) xử lý việc mở rộng và xác minh.
Khung GKR và khả năng mở rộng
Khung GKR xác minh các phép toán lớn với chi phí thấp trên chuỗi, đơn giản hóa các chứng minh mật mã 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 cần các cam kết trung gian tốn kém, làm cho 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.
“Đây là một sự phù hợp tự nhiên cho việc chứng minh các lô lớn các băm và các phép toán kiểu mạng nơ-ron,” ông viết, nhấn mạnh tính 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 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à không biết (zero-knowledge) tự nó, nhưng nó có thể được bọc trong các lớp ZK-SNARK hoặc STARK để đảm bảo tính bảo mật, kết hợp tính ngắn gọn với tính bảo mật.
Tầm nhìn của Buterin về “Lean Ethereum”
GKR phù hợp với tầm nhìn rộng hơn của Buterin về “Lean Ethereum,” một thiết kế mạng đơn giản và chống lại lượng tử. Nó hỗ trợ trực tiếp cho việc chuyển đổi của Ethereum sang tính cuối cùng nhanh hơn, tổng hợp chứng minh cho các rollup và khả năng mở rộng dựa trên không biết.
Phát hành này theo sau một số sáng kiến liên quan từ Buterin, chẳng hạn như các đề xuất cho các công cụ tương tác nâng cao giữa các mạng lớp 2, các khách hàng không trạng thái một phần để giảm thiểu lưu trữ nút, và quản trị được kích hoạt bởi ZK. Tất cả những điều này 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.
Xương số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 dài hạn của Buterin về tính toán có thể mở rộng và được xác minh.
