Vitalik phát hành bài hướng dẫn GKR: Giao thức “batch × layer” hỗ trợ chứng minh ZK siêu nhanh

ChainCatcher đưa tin, Vitalik Buterin vừa đăng tải một bài viết mới, giải thích chi tiết về giao thức GKR (Goldreich–Kahan–Rothblum) được sử dụng để tăng tốc chứng minh ZK, thích ứng với cấu trúc tính toán “batch × multi-layer”, giúp giảm đáng kể số lượng 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.

Bài viết lấy ví dụ về hàm băm Poseidon2, giải thích chi tiết quy trình chứng minh đệ quy lấy sumcheck làm cốt lõi, đồng thời đưa ra các phương pháp tối ưu hóa (Gruen’s trick, xử lý hàng loạt tuyến tính, chỉ lập phương phần tử đầu tiên của một số vòng), trong các trường hợp cam kết đa thức có thể kết hợp với BaseFold hoặc FRI. Tác giả cho biết chi phí thực tế thấp hơn khoảng 100 lần so với lý thuyết của STARK truyền thống, chi phí ở cấp độ từng con số là khả thi, đồng thời lưu ý rằng thử thách Fiat–Shamir cần đề phòng rủi ro có thể dự đoán được trong mạch.