Người đồng sáng lập Ethereum, Vitalik Buterin, đã giới thiệu giao thức GKR (Goldwasser–Kalai–Rothblum), một đổi mới hứa hẹn sẽ cải thiện đáng kể hiệu quả của các bài kiểm tra mật mã và xác minh tính toán trên blockchain.

Được công bố trên blog cá nhân của mình và chia sẻ qua tài khoản chính thức trên X, thông báo giải thích cách mà phương pháp này có thể tối ưu hóa cách mà Ethereum và các mạng khác xử lý các tính toán phức tạp mà không làm tổn hại đến sự an toàn hay tính minh bạch.

Một bước tiến toán học ứng dụng vào hiệu quả blockchain

GKR协议基于由研究人员Shafi Goldwasser、Yael Kalai和Guy Rothblum最初提出的密码模型。它的目标不是隐私——像零知识系统(ZK)——而是可验证的效率：在不需要重复每个操作的情况下证明大量计算的有效性。

Nói một cách đơn giản, GKR cho phép kiểm tra khối lượng lớn giao dịch, từ các giao dịch đến suy diễn mô hình AI, thông qua các kỹ thuật kiểm tra tổng và biến đổi đa thức. Cách tiếp cận này đại diện cho một công cụ mạnh mẽ để đạt được các kiểm tra nhanh chóng và có thể mở rộng cả trong và ngoài chuỗi.

GKR đánh dấu một bước tiến mới hướng tới Ethereum nhanh hơn và có khả năng mở rộng hơn

Trong bài đăng của mình, Buterin nhấn mạnh rằng GKR có tiềm năng ngay lập tức trong các rollups ZK, hệ thống tổng hợp bằng chứng và xác minh mô hình trí tuệ nhân tạo. Tất cả các lĩnh vực này đều phải đối mặt với thách thức là xử lý một lượng lớn thông tin với chi phí tính toán tối thiểu.

Giao thức tích hợp với các công nghệ như ZK-SNARKs và STARKs, hoạt động như một lớp xác minh trước giúp giảm kích thước và độ phức tạp của các bằng chứng. Điều này có thể dẫn đến phí gas thấp hơn và khả năng mở rộng cao hơn cho các giải pháp Layer 2 của Ethereum.

Buterin đặt bước tiến này trong tầm nhìn của mình về một <<ethereum nhẹ hơn và có tính mô-đun>>, nơi mà các phép tính nặng được thực hiện ngoài chuỗi và chỉ có những kết quả đã được xác minh được ghi lại trên đó.

Mặc dù sự hào hứng rất cao, Buterin làm rõ rằng GKR không phải là một giải pháp phổ quát, vì hiệu suất của nó phụ thuộc vào cấu trúc tính toán, bộ nhớ và mức độ song song. Trong các môi trường không có cấu trúc, tác động của nó sẽ bị hạn chế.

Tuy nhiên, trong các hoạt động với các mẫu lặp lại - như mạng nơ-ron hoặc thực hiện hàng loạt hợp đồng thông minh - giao thức có thể tăng tốc các quy trình theo cách tăng trưởng theo cấp số nhân. GKR nổi lên như một phần quan trọng trong một hệ sinh thái tính toán có thể xác minh toàn cầu.

Hướng tới kỷ nguyên của tính toán có thể kiểm tra

Với GKR, Ethereum tiến tới một tương lai mà các hệ thống phân tán có thể mở rộng mà không hy sinh sự an toàn. Đổi mới này bổ sung vào những nỗ lực xây dựng một môi trường phi tập trung có khả năng hỗ trợ từ các ứng dụng tài chính đến trí tuệ nhân tạo tiên tiến.

Đề xuất của Buterin khẳng định một xu hướng rõ ràng: sự tiến hóa tiếp theo của blockchain không chỉ xoay quanh sự phi tập trung, mà còn về hiệu quả và xác minh thông minh.</ethereum>