Vitalik Buterin công bố giao thức GKR để tăng cường các hệ thống chứng minh của Ethereum

Vitalik Buterin công bố giao thức GKR để tăng cường hệ thống chứng minh của Ethereum

Người đồng sáng lập Ethereum, Vitalik Buterin, đã giới thiệu giao thức GKR, một gia đình mới của các hệ thống chứng minh mật mã được thiết kế để tăng tốc độ tính toán một cách đáng kể trong các môi trường ZK-EVM và zk-ML.

Được xây dựng để tối ưu hóa, GKR cho phép tạo chứng cứ với tốc độ chưa từng có bằng cách chỉ cam kết vào đầu vào và đầu ra, loại bỏ nhu cầu xác minh từng bước tính toán trung gian.

Một bước đột phá trong hiệu suất chứng minh

Phương pháp GKR ( Goldwasser–Kalai–Rothblum ) được tối ưu hóa cho các phép toán sử dụng nhiều lớp bậc thấp và lặp lại các thao tác tương tự, chẳng hạn như băm và suy diễn mạng nơ-ron. Đây là những cấu trúc phổ biến trong cả mật mã học và AI, nơi các chứng minh quy mô lớn phải xử lý hàng triệu phép toán đồng thời.

Khác với các hệ thống chứng minh truyền thống như STARKs, yêu cầu cam kết ở mỗi lớp, phương pháp hợp lý hóa của GKR tập trung vào các điểm cuối, cắt giảm đáng kể chi phí. Kết quả là việc tạo ra chứng minh nhanh hơn nhiều, đặc biệt là đối với ZK-EVMs và các mô hình zk-ML nơi nhu cầu tính toán rất lớn.

Hiệu suất không thỏa hiệp

Theo Buterin, sức mạnh của GKR nằm ở sự đơn giản của nó. Nó chỉ cam kết với các đầu vào và đầu ra, tận dụng một cấu trúc của chứng minh kiểm tra tổng để xác minh các bước ở giữa. Cấu trúc này khiến nó trở nên lý tưởng cho các khối lượng công việc lặp đi lặp lại như băm ( ví dụ, Poseidon) hoặc các lớp nơ-ron, nơi mà các mẫu có thể được chứng minh hiệu quả theo cách song song.

Mặc dù GKR bản thân nó không cung cấp tính riêng tư không kiến thức, nhưng nó có thể được bọc bên trong các hệ thống ZK-SNARK hoặc ZK-STARK để thêm tính bảo mật. Thiết kế của giao thức cho phép hiệu suất cao trong khi vẫn duy trì tính chính xác toán học đầy đủ trong việc xác minh tính đúng đắn.

Tại sao điều này quan trọng đối với Ethereum

Buterin nhấn mạnh rằng GKR đại diện cho một bước nhảy vọt lớn về khả năng mở rộng blockchain và tính toán chứng minh. Bằng cách tránh cam kết dư thừa và tập trung vào xác thực từ đầu đến cuối, GKR làm cho việc chứng minh khối lượng công việc khổng lồ trở nên nhanh chóng và với chi phí thấp hơn.

Khi Ethereum tiếp tục phát triển theo hướng các hệ thống zero-knowledge nhanh hơn và có khả năng mở rộng hơn, GKR có thể trở thành một thành phần cốt lõi cung cấp năng lượng cho các khung chứng minh tính toán thế hệ tiếp theo trong cả ứng dụng crypto và AI.