이더리움(ETH) 블록 검증 프로그램의 최악 실행 단계 수를 증명하는 공개 과제 evm.fast의 기준 점수는 3일 현재 무한대(∞)다. 공개 순위표에는 유한한 상한을 제시해 승격된 제출물이 없다.
evm.fast 과제 페이지는 고정된 Pancake EVM 프로그램을 64비트 RISC-V Flapjack 모델에서 실행할 때 필요한 단계 수의 상한 K를 점수로 삼는다. 프로그램의 초기 구동 단계도 계산에 포함된다.
대상 입력은 선언된 가스 한도가 2억 이하인 경우다. 프로그램은 128MiB 프로그램 창 안에 들어가야 한다.
참가자는 고정 프로그램과 대응하는 결과를 내는 RISC-V 바이트코드와 Lean 증명을 제출해야 한다. 실행 시험을 통과하는 것만으로는 제출 요건을…  더보기