gkr

ChainCatcher 메시지, Vitalik Buterin의 최신 글, GKR(골드라이히--카한--로스블룸) 프로토콜이 ZK 증명을 가속화하는 데 사용되는 방법을 자세히 설명하며, "배치 × 다층" 계산 구조에 적합하여 중간 계층의 약속을 크게 줄이고 입력과 출력에 대해서만 약속을 한다고 합니다.이 글에서는 Poseidon2 해시를 예로 들어 sumcheck를 핵심으로 하는 재귀 증명 프로세스를 자세히 설명하고, 최적화(그루엔의 트릭, 선형 배치, 부분 라운드에서의 세제곱 첫 요소)를 제시하며, 다항식 약속 시나리오에서 BaseFold 또는 FRI와 결합할 수 있다고 합니다. 저자는 실제 비용이 전통적인 STARK의 약 100배 이론값보다 낮다고 주장하며, 단일 숫자 수준의 비용을 기대할 수 있다고 언급하고, Fiat--Shamir 도전에서 회로 내 예측 가능성 위험을 방지해야 한다고 경고합니다.