무슨 일이 있었나
ZKsync가 2026년 10월 17일 이더리움용 영지식 증명기 '에어벤더 프라임(Airbender Prime)'을 공개했다고 우 블록체인(Wu Blockchain)이 전했다. 테스트에서 엔비디아 RTX PRO 6000 블랙웰(Blackwell) GPU 1개만으로 이더리움 메인넷 블록 7,200개를 연속으로 증명하는 데 성공했다. 전체 블록의 99%가 10초 이내에 증명을 마쳤고, 증인(witness) 준비 시간을 포함해도 모든 블록이 12초 안에 완료됐다. 이 증명기는 개방형 RISC-V 표준 위에서 작동하며, 포스트 양자 보안을 염두에 둔 해시 기반 STARK 증명 기술을 사용한다. 독립적인 검증이 가능하도록 별도의 검증기도 함께 제공된다. 이더리움 공동창립자 비탈릭 부테린(Vitalik Buterin)은 에어벤더 팀을 축하하며 zkEVM 증명 속도 경쟁이 결정적인 성과에 도달했다고 평가했다. 그는 이제 우선순위를 전적으로 보안으로 옮겨야 한다고 말했다.
여기까지 오게 된 배경
영지식 증명은 모든 연산을 다시 실행하지 않고도 롤업이 이더리움 트랜잭션의 유효성을 증명할 수 있게 해줘, 비용과 최종 확정 시간을 줄여준다. 수년간 zkEVM 팀들은 주로 증명 속도를 두고 경쟁해왔는데, 증명이 느리면 출금이 지연되고 비용이 올라가기 때문이다. 에어벤더 프라임이 일반 소비자급 GPU 1개로 블록의 99%를 10초 이내에 증명했다는 결과는 이더리움 동등 증명기 중 가장 빠른 공개 벤치마크 중 하나로 꼽힌다. 부테린은 형식 검증을 위해 아직 해결되지 않은 세 가지 과제를 제시했다. 증명 시스템의 연산이 이더리움 프로토콜 규칙과 정확히 일치하는지 확인하는 것, 블록 가스 사용량에 맞춘 확고한 비용 한도를 설정하는 것, 그리고 영지식 시스템 자체의 건전성을 검증하는 것이다. 이로써 zkEVM 경쟁은 성능 대결에서 보안 감사 문제로 전환됐다.
당신에게 중요한 이유
ZKsync 입장에서는 증명 속도가 빨라지면 자사 롤업에서 브리지나 거래를 하는 사용자들에게 더 저렴한 수수료와 더 빠른 최종 확정을 제공할 수 있다. 다른 zkEVM 팀들에게 부테린의 발언은 새로운 기준을 제시한다. 단순한 속도만으로는 더 이상 논쟁에서 이길 수 없으며, 형식적인 보안 보증이 필요하다는 것이다. 이더리움 확장성을 연구하는 개발자들은 이제 벤치마크 경쟁보다 감사와 정확성에 대한 수학적 증명을 우선시할 수 있다. zk-롤업 자산 보유자들은 경쟁사들이 자원을 형식 검증으로 돌리는지 지켜봐야 한다. 이는 일부 로드맵을 늦출 수 있지만, 증명기 버그로 인한 자금 손실 위험은 줄여준다. 결국 사용자들은 빠르면서도 안전한 체인의 혜택을 누리게 된다.
더 큰 질문
증명 속도가 더 이상 결정적 요소가 아니라면, 경쟁하는 zkEVM들을 구분할 새로운 기준은 무엇일까? 형식 검증은 시스템이 자체 사양과 일치하는지는 확인해줄 수 있지만, 그 사양이 실제 모든 공격을 다 포괄하는지는 보장하지 못한다. 수십억 달러 규모의 자산을 지킬 만큼 증명기가 충분히 안전하다고 누가 판단할 것인가?
주목할 점
ZKsync는 아직 에어벤더 프라임의 메인넷 통합 일정을 발표하지 않았다. 앞으로 몇 주간 이더리움 핵심 개발자들이 부테린의 형식 검증 로드맵에 어떻게 반응하는지 지켜볼 필요가 있다. 다른 zkEVM 프로젝트들도 보안 감사로 초점이 옮겨가면서 자체 벤치마크 비교 자료를 공개할 수 있다. Bonuz는 이 논쟁이 스마트 글래스처럼 빠르고 저렴한 엣지 검증에 의존하는 경량·상시 가동 기기를 지원할 증명 인프라에 어떤 영향을 미치는지 계속 추적할 것이다.
