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

Theo tin từ Mars Finance, Vitalik Buterin vừa có 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, phù hợp với cấu trúc tính toán “lô × nhiều lớp”, giảm thiểu đáng kể cam kết ở các lớp 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 lô tuyến tính, phần vòng chỉ phần tử bậc ba), có thể kết hợp BaseFold hoặc FRI trong bối cảnh cam kết đa thức. Tác giả cho biết chi phí thực tế thấp hơn khoảng 100 lần giá trị lý thuyết của STARK truyền thống, chi phí ở mức đơn số có thể mong đợi, và nhắc nhở rằng thách thức Fiat–Shamir cần phòng tránh rủi ro có thể dự đoán trong mạch.