Vitalik đăng bài, giao thức GKR nâng cao hiệu suất tính toán bằng chứng không kiến thức

ChainCatcher đưa tin, nhà sáng lập Ethereum Vitalik Buterin sáng nay đã đăng bài giới thiệu về giao thức GKR. GKR (Goldwasser-Kalai-Rothblum) đang trở thành công nghệ cốt lõi của hệ thống bằng chứng không kiến thức hiệu suất cao.

Nghiên cứu mới nhất cho thấy, GKR bằng cách tránh các thao tác cam kết ở các lớp trung gian, chỉ thực hiện cam kết đối với đầu vào và đầu ra, có thể giảm chi phí lý thuyết của phương pháp STARK truyền thống từ 100 lần xuống còn khoảng 15 lần, thậm chí trong thực tế còn thấp hơn 10 lần. Giao thức này đặc biệt phù hợp với các mô hình tính toán nhiều lớp như hàm băm Poseidon và mạng nơ-ron. Công nghệ cốt lõi “sumcheck” của nó sử dụng tổ hợp tuyến tính ngẫu nhiên để đơn giản hóa đệ quy các vấn đề đa chiều. Mặc dù GKR tự nó không cung cấp tính chất không kiến thức, nhưng có thể kết hợp với ZK-SNARK hoặc ZK-STARK, và đã trở thành công nghệ hỗ trợ then chốt cho bằng chứng ZK-EVM thời gian thực và xác minh mô hình học máy quy mô lớn.