Vitalik이 GKR 튜토리얼 기사를 발표했습니다: 초고속 ZK 증명을 지원하는 “배치×층” 프로토콜

ChainCatcher 메시지, Vitalik Buterin의 최신 글, GKR(골드라이히--카한--로스블룸) 프로토콜이 ZK 증명을 가속화하는 데 사용되는 방법을 자세히 설명하며, "배치 × 다층" 계산 구조에 적합하여 중간 계층의 약속을 크게 줄이고 입력과 출력에 대해서만 약속을 한다고 합니다.

이 글에서는 Poseidon2 해시를 예로 들어 sumcheck를 핵심으로 하는 재귀 증명 프로세스를 자세히 설명하고, 최적화(그루엔의 트릭, 선형 배치, 부분 라운드에서의 세제곱 첫 요소)를 제시하며, 다항식 약속 시나리오에서 BaseFold 또는 FRI와 결합할 수 있다고 합니다. 저자는 실제 비용이 전통적인 STARK의 약 100배 이론값보다 낮다고 주장하며, 단일 숫자 수준의 비용을 기대할 수 있다고 언급하고, Fiat--Shamir 도전에서 회로 내 예측 가능성 위험을 방지해야 한다고 경고합니다.