비탈릭 부테린은 골드라이히-카한-로스블룸(GKR) 프로토콜에 관한 포괄적인 기사를 발표하며, 이 프로토콜이 제로 지식(ZK) 증명을 크게 가속화할 잠재력을 강조했습니다. 이 기사는 중간 커밋을 최소화하고 입력 및 출력 커밋에만 집중하는 "배치 × 다중 계층" 계산 구조를 소개합니다. 부테린은 포세이돈2 해시를 예로 들어, 합산 검증(sumcheck)과 그륀의 트릭, 선형 배칭과 같은 최적화를 포함하는 재귀적 증명 과정을 설명합니다. 기사에서는 GKR 프로토콜이 다항식 커밋 시나리오에서 BaseFold 또는 FRI와 통합될 수 있으며, 전통적인 STARKs보다 약 100배 낮은 오버헤드를 달성할 수 있고, 단일 자리수 오버헤드가 기대된다고 제안합니다. 그러나 부테린은 Fiat–Shamir 챌린지 내 회로 예측 가능성과 관련된 잠재적 위험을 경고하며, 구현 시 주의가 필요함을 강조합니다.