[ETH] 이더리움 블록 검증 과제, 상한 점수 '무한대' 유지

요약

이더리움(ETH) 블록 검증 프로그램의 기술적 과제인 evm.fast의 기준 점수는 현재 '무한대(∞)'로 책정되어 있습니다. 이 과제는 고정된 Pancake EVM 프로그램을 64비트 RISC-V Flapjack 모델에서 실행할 때 필요한 단계 수의 상한 K를 점수로 삼습니다. 참가자는 RISC-V 바이트코드와 Lean 증명을 제출해야 합니다. 점수 '무한대'는 프로그램이 끝나지 않는다는 의미가 아니라, 모든 입력에 공통으로 적용할 유한한 단계 수를 증명하지 못했다는 뜻입니다. 이 기술은 영지식 증명(zkEVM)을 통해 검증자가 거래를 재실행하는 대신 간결한 증명만 확인하는 구조를 목표로 합니다. 이더리움재단은 2025년과 2026년 로드맵에서 zkEVM 연구 방향을 제시하며 기술적 진전을 보여주고 있습니다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다. 투자 판단의 근거로 삼기 전에 원문을 확인하세요.