52.14비트 격차, 이더리움 보안 검증 시험대

이더리움(ETH) 영지식 이더리움 가상머신(zkEVM) 연구가 2026년 12월 초 보안 검증 일정을 앞두고 공개 증명 경쟁으로 옮겨갔다. 쟁점은 현재 네트워크 취약점이 아니라 향후 레이어1 검증 구조에 쓰일 수학적 보안 근거를 어디까지 기계적으로 확인할 수 있느냐다. 이더리움재단(Ethereum Foundation)은 2026년 2월 11일 공개한 zkEVM 보안 스프린트 업데이트에서 M3 기준 시점을 2026년 12월 초로 옮겼다고 밝혔다. M3에는 128비트 증명 가능 보안, 300KiB 이하 증명 크기, 아키텍처 보안 증명이 포함된다. 같은 문서는 W3 백서 마감일을 12월 1일로 제시했다. 공개 연구 챌린지 better.codes는 이 목표와 맞물린 형식 검증 실험이다…