Vitalik Buterin đã công bố một bài viết toàn diện về giao thức Goldreich–Kahan–Rothblum (GKR), nhấn mạnh tiềm năng của nó trong việc tăng tốc đáng kể các bằng chứng không tiết lộ (ZK). Bài viết giới thiệu một cấu trúc tính toán "lô × đa lớp" giúp giảm thiểu các cam kết trung gian, chỉ tập trung vào các cam kết đầu vào và đầu ra. Bằng cách sử dụng hàm băm Poseidon2 làm ví dụ, Buterin giải thích một quy trình chứng minh đệ quy kết hợp sumcheck và các tối ưu hóa như mẹo của Gruen và nhóm tuyến tính. Bài viết đề xuất rằng giao thức GKR có thể được tích hợp với BaseFold hoặc FRI trong các kịch bản cam kết đa thức, đạt được chi phí phụ khoảng thấp hơn 100 lần so với các STARK truyền thống, với kỳ vọng chi phí phụ chỉ ở mức một chữ số. Tuy nhiên, Buterin cảnh báo về các rủi ro tiềm ẩn liên quan đến khả năng dự đoán trong mạch của thách thức Fiat–Shamir, nhấn mạnh sự cần thiết phải thận trọng khi triển khai.