Tech/EIPs/#7921
EIP 7921카테고리 · 코어유형 · 표준 트랙상태 · 정체

Skip `JUMPDEST` immediate argument check

EIP-7921은 EOF(EVM Object Format)에서 JUMPDEST 옵코드의 즉시 인자 확인을 건너뛰도록 제안한 코어 표준이었으나 현재 정체 상태입니다. 이 제안은 EOF 전환 시 레거시 코드 검증 오버헤드를 줄이려 했습니다.

제안 배경

EVM에서 JUMPDEST 명령어는 유효한 점프 목적지를 표시하며, 실행 전 전체 바이트코드를 스캔해야 합니다. EOF 형식에서는 이미 코드 구조가 정적으로 분석 가능하므로 이 확인이 중복될 수 있습니다. EIP-7921은 이 불필요한 검사를 제거하여 성능을 개선하려 했습니다.

기술적 접근

EOF 컨테이너에서는 점프 목적지가 컴파일 시점에 검증되므로 런타임 JUMPDEST 확인이 필요하지 않습니다. 즉시 인자 확인을 건너뜀으로써 바이트코드 배포 및 실행 비용을 낮출 수 있었습니다.

정체 이유

EOF 표준 자체의 진행이 지연되면서 이 제안도 함께 정체되었습니다. JUMPDEST 관련 변경이 EOF 사양의 다른 부분과 상충될 수 있다는 우려가 제기되었습니다. 커뮤니티는 더 포괄적인 EOF 검토를 우선시하기로 했습니다.

공식 EIP 문서open_in_new