위험 고지: 본 사이트의 모든 콘텐츠는 투자 조언이 아니며, 어떠한 매매 신호·거래 유도 서비스도 제공하지 않습니다. 인민은행 등 10개 부처의 「가상화폐 거래·투기 위험 방지 및 처리에 관한 통지」에 따라 투자자 여러분의 리스크 인식을 높이시기 바랍니다. 문의 / [email protected] 琼ICP备2022009338号
TechFlow 소식, 10월 20일, 이더리움 창시자 비탈릭 부테린이 오늘 아침 GKR 프로토콜을 소개했다. GKR(Goldwasser-Kalai-Rothblum) 프로토콜은 곧 고성능 제로지식 증명 시스템의 핵심 기술이 되고 있다. 최신 연구에 따르면, GKR은 중간 계층의 커밋 작업을 피하고 입력과 출력에만 커밋함으로써 기존 STARK 방식의 이론상 100배의 오버헤드를 약 15배로 줄였으며, 실제 구현에서는 10배 미만까지 낮출 수 있다. 이 프로토콜은 포세이돈 해시 함수 및 신경망과 같은 다중 계층 연산 패턴에 특히 적합하며, 핵심인 "sumcheck" 기술은 무작위 선형 결합을 통해 다차원 문제를 재귀적으로 단순화한다. GKR 자체는 제로지식 특성을 제공하지 않지만 ZK-SNARK 또는 ZK-STARK와 결합할 수 있으며, 실시간 ZK-EVM 증명 및 대규모 머신러닝 모델 검증의 핵심 기술 기반으로 자리 잡고 있다.
이더리움 창시자 비탈릭 부테린은 오늘 아침 GKR 프로토콜(Goldwasser-Kalai-Rothblum)에 대해 설명하는 글을 게시했다. GKR 프로토콜은 고성능 제로지식 증명 시스템의 핵심 기술로 떠오르고 있다. 최신 연구에 따르면, GKR은 중간 계층의 커밋 연산을 피하고 입력과 출력에만 커밋함으로써 기존 STARK 방식의 이론적 오버헤드를 100배에서 약 15배 수준으로 낮추며, 실제 구현에서는 10배 이하로도 줄일 수 있다. 이 프로토콜은 포세이돈 해시 함수 및 신경망과 같은 다층 계산 패턴에 특히 적합하며, 핵심인 'sumcheck' 기술은 다차원 문제를 무작위 선형 조합을 통해 재귀적으로 단순화한다. GKR 자체는 제로지식 특성을 제공하지 않지만 ZK-SNARK 또는 ZK-STARK와 결합할 수 있으며, 실시간 ZK-EVM 증명 및 대규모 머신러닝 모델 검증의 핵심 기술 기반으로 자리 잡고 있다.
Web3 심층 보도에 집중하고 흐름을 통찰
