PANews 10 tháng 10, Vitalik Buterin vừa viết bài, giải thích chi tiết về giao thức GKR (Goldreich–Kahan–Rothblum) được sử dụng để tăng tốc ZK chứng minh, thích ứng với cấu trúc tính toán “tập hợp × nhiều lớp”, giảm đáng kể cam kết của 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à trung tâm, 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ỉ yếu tố lập phương đầu tiên), có thể kết hợp BaseFold hoặc FRI trong các kịch bản 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ể kỳ vọng, và nhắc nhở rằng thách thức Fiat–Shamir cần đề phòng rủi ro dự đoán được trong mạch.