EIP-3690은 EOF 포맷에서 JUMPDEST 테이블을 별도 섹션으로 분리하여 관리하는 방법을 제안하며, 점프 목적지 분석을 더 효율적으로 만들기 위한 EOF 관련 EIP입니다. 현재 정체 상태입니다.
기존 JUMPDEST 분석 문제
현재 EVM에서 런타임 점프 검증을 위해 전체 바이트코드에서 JUMPDEST 위치를 찾아야 합니다. 이 분석은 컨트랙트 실행마다 수행되거나 클라이언트별로 캐싱되어야 하는 비효율적인 과정입니다.
JUMPDEST 테이블 설계
EOF 컨테이너에 유효한 점프 목적지 위치를 나열하는 별도의 JUMPDEST 테이블 섹션을 두어 런타임 분석 없이 O(1)로 점프 유효성을 확인할 수 있도록 합니다. 이는 클라이언트 구현을 단순화하고 실행 효율성을 높입니다.
정체 사유와 전망
EIP-4200(정적 상대 점프)이 도입되면 동적 점프 자체가 크게 줄어들어 JUMPDEST 테이블의 필요성이 감소할 수 있다는 논의가 있었습니다. EOF 전체 스펙 논의와 함께 진전이 멈춘 상태이며 향후 EOF 활성화 시 재검토될 수 있습니다.