이미지 불러오는 중이더리움 재단, 블록 한도 검증을 위한 evm.fast 챌린지 시작

다도 루빅 2

이더리움 블록 검증이 RISC-V 모델에서 유한한 최악의 경우 단계 한계를 가짐을 증명하도록 기여자들에게 요청하는 공개 챌린지

2026년 11월 2일 월요일 · 23:34 EST · 3분 읽기

기술 분야에서

공유

이더리움 재단이 evm.fast에서 색다른 목표를 내건 기술 챌린지를 개설했다. 현재 최고 점수는 무한대다.

이더리움 블록을 검증하는 데 필요한 최악의 경우 연산량 한도를 증명하는 것이 과제입니다. 기계 검증된 증명으로 뒷받침되는 유한한 답이라면 무엇이든 기존 기록을 능가합니다.

점수 산정 방식

이 챌린지는 K라는 숫자를 측정한다. K는 64비트 RISC-V 모델에 대해 챌린지가 다루는 모든 입력에 적용되는, 인증된 실행 단계의 상한이다. 시작 단계도 총계에 포함되므로, 참가자들은 몰래 워밍업을 건너뛸 수 없다.

이 모델은 Flapjack을 통해 실행됩니다. Flapjack은 64비트 RISC-V 아키텍처를 위해 구축된 Pancake 컴파일러의 Lean 4 적응판입니다. Lean 4는 증명 보조 도구로, 수학적 증명을 한 줄씩 검사하는 소프트웨어입니다. RISC-V는 프로세서가 이해하는 기본 어휘인 개방형 명령어 집합입니다.

검증된 Flapjack 컴파일러로 컴파일된 기준 프로그램은 이미 블록 검증이 결국 중단된다는 것을 증명합니다. 그러나 그것이 증명하지 못하는 것은 모든 입력에 걸쳐 성립하는 하나의 고정된 상한인 균일한 경계입니다. 따라서 기준 프로그램은 점수를 ∞로 주장합니다.

이 챌린지는 기여자에게 열려 있는 것으로 설정되어 있다. 금전적 상금, 마감 기한 또는 제출 플랫폼은 아직 발표되지 않았다.

zk 증명에서 최악의 경우 한계가 중요한 이유

이 노력은 재단의 광범위한 영지식 증명 의제에 속한다. 영지식 증명은 한 당사자가 검증자가 전체를 다시 수행하지 않고도 계산이 올바르게 수행되었음을 입증할 수 있게 해준다. 일반 프로그램에 대해 이러한 증명을 생성하는 시스템을 zkVM이라고 한다. 그중 많은 시스템은 코드를 RISC-V로 컴파일한다.

재단의 2025~2026년 목표에는 증명 가능한 보안, 재귀 건전성, 예측 가능한 증명 비용이 포함된다. 재귀 건전성은 다른 증명을 검증하는 증명을 뜻하며, 이러한 증명이 중첩될수록 정확성을 유지해야 한다. 예측 가능한 증명 비용은 이 챌린지가 가장 직접적으로 연결되는 부분이다.

이 영역에서는 속도가 이미 크게 향상되었습니다. 전체 이더리움 블록에 대한 실시간 증명 맥락에서, 대상 하드웨어상 메인넷 블록의 99%에 대해 지연 시간이 약 16분에서 10초 미만으로 감소했습니다.

이더리움에서의 형식 검증 배경

이 챌린지는 보안 추정, 게스트 프로그램 검증, 그리고 이더리움 실행에서의 RISC-V 시맨틱스에 관한 재단의 다른 진행 중인 작업과 함께 진행됩니다. 게스트 프로그램은 zkVM이 실행하고 증명하는 코드로, 이 경우 이더리움 블록을 검사하는 로직입니다.

이것이 의미하는 바

전체 블록의 실시간 증명은 증명자가 일반적인 블록이 아니라 가능한 가장 어려운 블록까지 예산에 반영할 수 있을 때만 작동한다. 증명된 K는 그 예산에 경험적 추측 대신 수학적 토대를 제공한다.

서비스 거부 공격 측면도 있습니다. 공격자가 예상보다 훨씬 많은 단계를 거쳐야 검증되는 블록을 만들 수 있다면, 증명자들은 뒤처질 수 있습니다. 인증된 상한이 있으면 최악의 경우가 이미 알려져 있고 문서화되어 있기 때문에 그런 종류의 기습을 설계하기가 훨씬 어려워집니다.

베이스라인이 무한대에 있기 때문에, 느슨한 경계라도 첫 번째 유효한 항목이 기본적으로 승리합니다. 그 이후에는 실제 경쟁이 증명자들이 실제로 계획할 수 있는 수치를 향해 K를 좁히는 것이 됩니다.

공개: 이 기사는 Estefano Gomez가 편집했습니다. 콘텐츠 제작 및 검토 방식에 대한 자세한 내용은 편집 정책을 참조하세요.