이더리움의 공동 창립자인 비탈릭 부테린은 ZK-EVM과 zk-ML 환경에서 계산을 획기적으로 가속화하도록 설계된 새로운 암호화 증명 시스템 제품군인 GKR 프로토콜을 소개했습니다.

효율성을 위해 설계된 GKR은 입력과 출력에만 집중하여 전례 없는 속도로 증명을 생성할 수 있으며, 모든 중간 계산 단계를 검증할 필요가 없습니다.

GKR 튜토리얼: https://t.co/Oo7jraC4sy
— vitalik.eth (@VitalikButerin) 2025년 10월 20일
증명 성능의 획기적인 발전
GKR(Goldwasser–Kalai–Rothblum) 방식은 여러 개의 저차수 계층을 사용하고 해싱 및 신경망 추론과 같은 유사한 연산을 반복하는 계산에 최적화되어 있습니다. 이는 대규모 증명이 수백만 개의 연산을 동시에 처리해야 하는 암호화와 AI 모두에서 흔히 사용되는 구조입니다.

모든 계층에서 커밋을 요구하는 STARK와 같은 기존 증명 시스템과 달리, GKR의 간소화된 방식은 엔드포인트에 집중하여 오버헤드를 크게 줄입니다. 그 결과, 특히 연산량이 막대한 ZK-EVM 및 zk-ML 모델에서 증명 생성 속도가 훨씬 빨라집니다.

타협 없는 효율성
부테린에 따르면, GKR의 강점은 단순성에 있습니다. 입력과 출력에만 의존하며, 합-검사 증명 구조를 활용하여 그 사이의 단계를 검증합니다. 이러한 구조는 해싱(예: 포세이돈)이나 신경망 계층과 같이 패턴을 병렬로 효율적으로 증명할 수 있는 반복적인 작업에 이상적입니다.

Coinbase, 연말까지 암호화폐 강세를 위한 3가지 주요 촉매제 확인
GKR 자체는 영지식 프라이버시를 제공하지 않지만, ZK-SNARK 또는 ZK-STARK 시스템에 래핑하여 기밀성을 강화할 수 있습니다. 이 프로토콜은 정확성 검증에 있어 완전한 수학적 엄격성을 유지하면서도 높은 효율성을 제공하도록 설계되었습니다.

이더리움에 중요한 이유
부테린은 GKR이 블록체인 확장성과 증명 계산에 있어 중요한 도약을 의미한다고 강조했습니다. GKR은 중복된 커밋을 피하고 종단 간 검증에 집중함으로써, 방대한 작업 부하를 빠르고 저렴한 비용으로 증명할 수 있도록 합니다.

이더리움이 더 빠르고 확장 가능한 제로 지식 시스템으로 계속 발전함에 따라, GKR은 암호화폐와 AI 애플리케이션 모두에서 차세대 연산 증명 프레임워크를 구동하는 핵심 구성 요소가 될 수 있습니다.

Vitalik Buterin이 Ethereum의 증명 시스템을 강화하기 위해 GKR 프로토콜을 공개한다는 기사가 ETHNews 에 처음 게재되었습니다 .

https://coinmarketcap.com/community/articles/68f5e28a3876d12e10cc36cd/