Vitalik은 ZK-EVM 및 zk-ML과 같은 빠른 증명을 실현할 수 있는 GKR 프로토콜을 소개하는 기사를 발표했습니다.
2025-10-20 00:57
Odaily Planet Daily에 따르면, 이더리움 창시자 비탈릭 부테린은 오늘 아침 GKR 프로토콜을 소개하는 기사를 게시했습니다. GKR은 ZK-EVM 및 zk-ML과 같은 고속 증명을 구현하는 핵심 프로토콜입니다. "다층 저수준 처리 + 광범위한 반복 함수 응용 프로그램"(해싱 및 신경망 등)을 포함하는 계산에 적합합니다. 중간 계층에 대한 커밋(commitment) 필요성을 없애고 입력 및 출력에 대한 커밋만 수행하므로 효율성이 크게 향상됩니다. 라운드당 합계 확인(sumcheck) 계산량(예: 그루엔의 트릭)을 줄이고 포세이돈2 일괄 처리를 최적화함으로써,
이론적으로 포세이돈 해싱 오버헤드는 15배에 불과하며(기존 STARK의 경우 100배), 실제로는 10배 미만으로 감소할 수 있습니다. 데이터 양이 많을수록 오버헤드는 0에 가까워집니다.
추천 기사
