Công ty GKR giảm chi phí chứng minh ZK bằng cách chỉ cam kết với đầu vào và đầu ra, bỏ qua tất cả các bước trung gian nặng nề.
Người đồng sáng lập Ethereum, Vitalik Buterin, đã giới thiệu một giao thức mã hóa có tên GKR, viết tắt của Goldwasser–Kalai–Rothblum, để làm cho các chứng minh không tiết lộ (ZK) nhanh hơn rất nhiều và có khả năng mở rộng hơn.
Giao thức này sẽ giảm chi phí tính toán chứng minh ZK, điều này tạo thành nền tảng cho các giải pháp riêng tư và khả năng mở rộng trong hệ sinh thái Ethereum.
GKR hoạt động như thế nào để tăng tốc quá trình chứng minh lỗi mà không cần cam kết lớn.
Trong một bài hướng dẫn chi tiết trên blog cá nhân của mình, Buterin đã mô tả cách GKR làm cho các phép toán liên quan đến nhiều lớp dữ liệu, như băm mã hóa hoặc suy diễn mạng nơ-ron, hiệu quả hơn.
Theo ông, các hệ thống truyền thống, như STARKs, yêu cầu người dùng cam kết từng bước trong một phép toán, có nghĩa là thực hiện hàng trăm phép băm cho mỗi byte dữ liệu. Tuy nhiên, GKR hoàn toàn bỏ qua các cam kết trung gian này và chỉ cam kết với đầu vào và đầu ra, tiết kiệm đáng kể thời gian và tài nguyên.
Cơ chế cơ bản dựa trên một quá trình toán học được gọi là "kiểm tra toàn diện". Quá trình này cho phép người chứng minh và người kiểm tra xác minh các phép toán phức tạp chỉ bằng cách xem xét một số điểm được chọn ngẫu nhiên thay vì xem xét toàn bộ tập dữ liệu.