PANews는 10월 20일 비탈릭 부테린이 골드라이히-카한-로스블럼(GKR) 프로토콜을 사용하여 ZK 증명을 가속화하는 방법을 자세히 설명하는 새로운 논문을 발표했다고 보도했습니다. "배치 × 다층" 계산 구조에 맞춰진 이 논문은 중간 커밋을 크게 줄여 입력 및 출력 커밋만 필요로 합니다. 포세이돈2 해시를 예로 들어, 이 논문은 합계 검사(sumcheck)를 중심으로 하는 재귀적 증명 프로세스를 자세히 설명하고 최적화 방안(그루엔의 트릭, 선형 배칭, 일부 라운드에서는 큐브의 첫 번째 요소만 사용)을 제시합니다. 이는 다항식 커밋 시나리오에서 베이스폴드(BaseFold) 또는 FRI와 결합될 수 있습니다. 저자는 실제 오버헤드가 기존 STARK의 이론값보다 약 100배 낮으며, 예상되는 오버헤드는 한 자릿수라고 주장합니다. 또한 그는 Fiat-Shamir 챌린지에서 회로 내 예측 가능성의 위험에 대해 경고합니다.