이더리움 공동 창립자 비탈릭 부테린은 다양한 증명 시스템을 크게 가속화하도록 설계된 새로운 프로토콜 계열인 GKR 프로토콜을 소개했습니다. GKR은 ZK-EVM 및 zk-ML과 같은 시스템에서 빠른 증명을 위해 매우 중요하며, 다층 저차원 처리와 해싱 및 신경망과 같은 반복 함수 적용을 포함하는 계산을 최적화합니다. 이 프로토콜은 중간 계층을 우회하고 입력과 출력에만 커밋을 요구함으로써 효율성을 향상시킵니다. GKR은 Gruen의 트릭과 Poseidon2 배치 처리와 같은 기법을 사용하여 라운드당 sumcheck 계산을 줄이는 최적화를 통해 이를 달성합니다. 이론적으로, 이는 전통적인 STARKs의 100배에 비해 Poseidon 해싱의 증명 오버헤드를 단지 15배로 줄이며, 실제로는 10배 미만일 수 있습니다. 데이터 양이 증가함에 따라 오버헤드는 0에 가까워져 증명 시스템 효율성에 있어 중요한 진전을 의미합니다.