이더리움의 zk-EVM 보안 검증 프로젝트 '베터닷코드스'에서 고정 파라미터 프로필 코알라IRS12에 대한 건전성 하한 인증(63.99비트)과 공격 상한 인증(116.13비트) 사이에 52.14비트의 미해결 구간이 남아 있다. 이는 이더리움이 목표로 하는 128비트 시스템 전체 보증에 크게 못 미치는 수준이다. 연구자들은 건전성 트랙에서 하한을 끌어올리고 공격 트랙에서 상한을 낮추는 두 방향에서 이 간극을 좁히고 있으며, 재단은 올해 12월 초 zkEVM 보안 로드맵(M3) 마감 전까지 컴포넌트별 증거를 시스템 전체 논증으로 연결해야 한다고 강조했다. 프로덕션 적용까지는 증명 크기 규정 준수, 재귀 구조 문서화, 구현 충실도 검증 등 추가 과제가 남아 있다.
- •건전성 하한 인증 63.99비트, 공격 상한 인증 116.13비트, 미해결 구간 52.14비트
- •이더리움 목표는 128비트 시스템 전체 보안 수준
- •로드맵 M3 마감은 2026년 12월 초, 증명 크기 300KiB 이하 목표
- •코알라 IRS12는 인터리브드 리드-솔로몬 축소 연구용 고정 파라미터 프로필
- •현재 zkEVM 증명은 비필수적 보조 역할, 합의 검증 경로는 변경되지 않음
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Ethereum researchers are racing to close a zkEVM security gap before December
- 1.better.codes 리더보드, koalaIRS12 하한인증 63.99비트·상한인증 116.13비트로 52.14비트 격차 미해결
- 2.이더리움 M3 목표는 128비트 시스템 보안·증명크기 300KiB 이하, 마감 2026년 12월초로 연기
- 3.7개 팀이 9건 제출로 인증 갱신, Lean 커널이 각 제출 증명을 자동 검증
- 4.Arnon·Boneh·Fenzi 논문, 리스트디코딩·RS근접공석등 미해결 이론 문제 제기
왜 중요한가?
zkEVM의 실전 채택은 128비트 증명가능 보안 확보에 달려 있는데, 검증된 하한과 공격 상한 사이 52비트 간극이 남아 12월 마감 전 얼마나 좁혀지는지가 이더리움 확장성 로드맵의 핵심 리스크로 남는다.
본문 미리보기
The better.codes contest puts Ethereum’s abstract security target against live certificates, but its score covers only koalaIRS12. The post Ethereum researchers are racing to close a zkEVM security gap before December appeared first on CryptoSlate.
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:53AI 초안
