비탈릭 부테린의 새로운 연구 결과
비탈릭 부테린은 이더리움이 향후 몇 년 동안 증명 검증 및 확장성에 접근하는 방식을 재편할 수 있는 새로운 연구 결과를 공유했습니다. 그는 제로 지식 계산을 더 빠르고 효율적으로 만들기 위해 설계된 혁신적인 증명 시스템인 GKR 프로토콜을 소개했습니다. 10월 20일 그의 개인 블로그 vitalik.eth.limo에 게시된 새로운 튜토리얼에서는 골드워서-칼라이-로스블룸 프로토콜에 대해 자세히 설명하고 있습니다.
GKR 프로토콜의 잠재력
이 재귀적 증명 집계 방법은 이더리움(ETH)이 확장성과 검증을 처리하는 방식을 완전히 변화시킬 잠재력을 가지고 있습니다. GKR 프레임워크는 적은 온체인 오버헤드로 대규모 계산을 검증하여 복잡한 암호학적 증명을 단순화합니다. 부테린은 GKR이 비용이 많이 드는 중간 약속 없이 로그 시간 내에 증명을 처리하는 방법을 설명하며, 기존의 ZK-SNARK 또는 STARK 시스템보다 훨씬 더 효율적이라고 강조했습니다.
“대규모 해시 및 신경망 스타일의 계산을 증명하는 데 자연스럽게 적합합니다,”라고 그는 블록체인과 AI 작업 부하 모두에 적합하다는 점을 강조했습니다.
GKR의 설계와 이점
프로토콜의 설계 덕분에 증명자는 중간 단계에서 약속을 생략할 수 있어 비용과 계산 부담을 줄일 수 있습니다. 비록 GKR 자체가 제로 지식은 아니지만, 개인 정보를 위해 ZK-SNARK 또는 STARK 레이어에 포장될 수 있어 간결성과 기밀성을 결합합니다. GKR는 부테린의 “린 이더리움”에 대한 더 넓은 비전과 일치하며, 이는 단순화되고 양자 저항적인 네트워크 설계를 지향합니다.
이더리움의 미래
이는 이더리움의 더 빠른 최종성, 롤업을 위한 증명 집계, 제로 지식 기반 확장성으로의 이동을 직접 지원합니다. 이 발표는 부테린의 여러 관련 이니셔티브에 이어 이루어졌으며, 여기에는 레이어-2 네트워크 간의 고급 상호 운용성 도구에 대한 제안, 노드 저장소를 최소화하기 위한 부분적 무상태 클라이언트, ZK를 통한 거버넌스가 포함됩니다. 이들은 함께 이더리움을 더 효율적이고, 개인적이며, 접근 가능하게 만들기 위해 노력하고 있습니다.
개발자들이 GKR 기반 시스템을 실험하기 시작함에 따라 이더리움의 암호학적 기반은 더 가볍고 빨라질 수 있으며, 이는 부테린의 장기 목표인 확장 가능하고 검증된 계산을 실현하는 데 도움이 될 것입니다.
