이더리움 공동 창립자 비탈릭 부테린은 기존 zk-SNARK 및 zk-STARK 시스템의 효율성을 개선하기 위한 GKR 프로토콜의 잠재적 적용 가능성을 소개했습니다. 그는 10월 20일, 개인 블로그 이더리움(ETH) 에 골드와서-칼라이-로스블럼 프로토콜을 설명하는 튜토리얼을 게시했습니다. 이 재귀적 증명 집계 기술은 이더리움의 확장 및 검증 처리 방식을 변화시킬 수 있습니다.
그는 최근 영지식 (ZK) 암호의 발전이 특정 계산 작업에 특화된 솔루션에 초점을 맞추고 있으며, 일부는 산술 회로에 최적화되어 있고 다른 일부는 상태 전이에 최적화되어 있다고 지적했습니다. 2010년에 처음 제안된 GKR 프로토콜은 이러한 장점들을 결합하여 중간 단계의 검증 없이 초당 수백만 건의 계산을 검증할 수 있도록 합니다.
비탈릭 부테린에 따르면, GKR은 Poseidon2를 이용한 대량 해싱이나 단일 알고리즘이 여러 데이터 세트에 적용되는 신경망 프로세스처럼 계층적으로 구성된 대량의 균일한 데이터를 처리하는 작업에 특히 적합합니다. 머클 트리를 구성하고 모든 기반 데이터를 해싱하는 등 모든 계산 단계에서 증명을 생성해야 하는 STARK와 같은 기존 시스템과 달리, GKR은 입력 및 출력 값에 대해서만 암호화 작업을 수행하므로 복잡한 중간 작업이 필요하지 않습니다.
실제로 이 프로토콜은 zk-STARK 기반 솔루션보다 최대 15배 더 높은 효율성을 보였습니다. 이 프로토콜의 기반은 검증을 순차적으로 단순화하는 SumCheck 검증 방식에 있습니다. 시스템은 먼저 최종 결과가 정확함을 증명한 후, 이전 계산 단계들을 반복적으로 검증하여 작업의 복잡성을 점진적으로 줄입니다.
GKR 튜토리얼: https://t.co/Oo7jraC4sy
— 이더리움(ETH) (@VitalikButerin) 2025년 10월 20일
이더리움, GKR 프로토콜 통합으로 확장 가능하고 효율적이며 양자 저항성 있는 네트워크로 발전
GKR 프로토콜은 비탈릭 부테린 의 "린 이더리움(Lean Ethereum)"이라는 더 넓은 개념을 보완합니다. 이는 간소화되고 양자 저항성이 있는 네트워크 설계에 대한 비전입니다. GKR 프로토콜은 이더리움의 더 빠른 완결성 달성, 롤업을 위한 증명 집계 지원, 그리고 ZK 기반 확장성 향상 노력에 직접적으로 기여합니다.
이번 개발은 레이어 2 네트워크를 위한 고급 상호 운용성 도구, 노드 저장 공간 요구 사항을 줄이기 위한 부분적 무상태 클라이언트, 그리고 ZK 증명을 지원하는 거버넌스 메커니즘 등 이더리움 공동 창립자의 여러 이전 제안을 따르는 것입니다. 이러한 이니셔티브들은 이더리움을 더욱 효율적이고, 비공개적이며, 접근성 있게 만드는 것을 목표로 합니다.
개발자들이 GKR 기반 구현을 실험하기 시작하면 이더리움의 암호화 프레임워크는 더 가볍고 빨라질 수 있으며, 확장 가능하고 검증 가능한 계산이라는 비탈릭 부테린의 장기적 목표를 지원할 수 있습니다.
Vitalik Buterin이 이더리움의 확장성과 ZK 효율성을 높이기 위해 GKR 프로토콜을 소개한다는 게시물이 Metaverse Post 에 처음 게재되었습니다.
