Vitalik giải thích về giao thức GKR tăng tốc chứng minh ZK: Tối ưu hóa và thách thức hàm băm Poseidon2

【链文】Ngày 20 tháng 10, thông tin từ Vitalik Buterin, ông đã viết 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 “lô×đa tầng”, giảm đáng kể cam kết trung gian, chỉ cam kết đối với đầu vào và đầu ra. Bài viết lấy hàm băm Poseidon2 làm ví dụ, giải thích chi tiết quy trình chứng minh đệ quy với sumcheck là cốt lõi, và đưa ra các tối ưu hóa (mẹo Gruen, xử lý theo từng lô, phần vòng chỉ phần tử bậc ba), trong bối cảnh 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 giá trị lý thuyết của STARK truyền thống, chi phí ở mức số đơn có thể kỳ vọng, và nhắc nhở rằng thách thức Fiat–Shamir cần phải phòng ngừa rủi ro dự đoán trong mạch.