1년간의 노력 끝에 zkEVM 생태계는 성능 면에서 비약적인 발전을 이루었습니다. 이더리움 블록 증명 시간이 16분에서 16초로 단축되었고, 비용은 45배 감소했습니다. 이제 참여하는 zkVM은 목표 하드웨어에서 메인넷 블록 증명의 99%를 10초 이내에 완료할 수 있습니다.
12월 18일, 이더리움 재단(EF)은 실시간 증명 메커니즘 구현과 성능 병목 현상 해소를 발표했지만, 진정한 과제는 신뢰성 확보에 있다고 강조했습니다. 보안이 뒷받침되지 않는 속도만으로는 오히려 부담이 될 수 있으며, 최근 몇 달 동안 STARK 알고리즘 기반의 zkEVM이 의존하는 여러 수학적 가설이 반증되면서 보안 수준이 저하되고 있다는 것입니다.
EF는 지난 7월 지연 시간, 하드웨어, 보안 등 여러 측면을 포괄하는 실시간 증명에 대한 종합적인 목표를 설정했으며, 이제 EthProofs 벤치마크 테스트를 통과했습니다.
핵심적인 변화는 처리량 추구에서 입증 가능한 보안으로의 전환에 있습니다. L1 레벨 zkEVM은 128비트 보안 표준을 충족하고 주류 암호화 사양에 부합해야 한다는 것은 분명합니다. 증명 위조는 토큰 위조 및 L1 상태 변조와 같은 치명적인 위험으로 이어질 수 있으므로 보안 마진은 타협할 수 없는 부분입니다.
EF는 동시에 3단계 보안 로드맵을 발표했습니다.
- 2026년 2월 말까지 모든 zkEVM 팀은 보안 계산 표준을 통일하기 위해 자체 증명 시스템을 EF의 soundcalc 보안 평가 도구와 통합해야 합니다.
- 글램스터담 표준은 5월 말까지 달성될 예정이며, 100비트 증명 가능한 보안과 같은 과도기적 목표를 실현할 것입니다.
- H-star의 최종 목표는 12월 말까지 완료하여 128비트 수준의 증명 가능한 보안을 달성하고 재귀적 토폴로지에 대한 공식적인 보안 검증을 제공하는 것입니다.
EF는 목표 달성을 위해 WHIR 및 JaggedPCS와 같은 핵심 기술 도구를 언급했는데, 이러한 도구는 증명 생성 최적화 및 컴퓨팅 파워 낭비 방지를 통해 효율성을 향상시키는 동시에 재귀적 토폴로지와 같은 기술을 사용하여 증명의 크기를 줄일 수 있습니다.
하지만 여전히 여러 가지 과제가 남아 있습니다. 블록체인 상에서 실시간 증명은 아직 구현되지 않았고, 검증자의 실제 효율성도 의문스럽습니다. 수학적 가설이 반증될 경우 보안 매개변수를 동적으로 조정해야 하며, 일부 팀이 목표를 예정대로 달성할 수 있을지도 불확실합니다. 재귀적 아키텍처를 사용하는 형식 검증 프로젝트는 아직 초기 단계에 머물러 있고, 생태계 발전 또한 고르지 못합니다.
zkEVM이 요구 사항을 충족하면 이더리움의 가스 한도 증가를 지원하여 블록 용량을 늘리는 동시에 스테이킹의 실현 가능성을 보장하고, L1을 신뢰할 수 있는 결제 계층으로 발전시키며, L2와 L1 실행 간의 경계를 모호하게 만들 수 있다는 점에 주목할 필요가 있습니다.
이제 성능 경쟁이 끝났으므로, zkEVM 생태계의 핵심 과제는 취약성 추측에 의존하지 않고 수천억 달러 규모의 자산을 보호할 수 있는 충분히 신뢰할 수 있는 보안 증명을 확보하는 것으로 바뀌었습니다. 보안 경쟁이 공식적으로 시작되었으며, 이는 2026년 이더리움의 주요 화두가 될 것입니다.
