EIP-8013은 EVM에 정적 상대 점프(static relative jumps) 및 호출 명령어를 추가하여 바이트코드 분석과 최적화를 개선하는 방안을 제안합니다.
개요
정적 상대 점프는 현재의 동적 JUMP/JUMPI 명령어를 보완하는 새로운 opcode로, 점프 대상이 런타임이 아닌 컴파일 시점에 결정됩니다. 이를 통해 정적 분석과 최적화가 크게 쉬워집니다.
기존 JUMP와의 차이
현행 JUMP는 런타임에 스택에서 대상 주소를 읽기 때문에 정적 분석이 어렵습니다. 상대 점프는 명령어 자체에 오프셋이 인코딩되어 있어 분석 도구가 제어 흐름을 명확히 파악할 수 있습니다.
EOF와의 관계
EVM Object Format(EOF)과 함께 사용될 경우 시너지가 극대화됩니다. EOF와 결합하면 바이트코드 검증 시 모든 점프 대상을 사전 검증할 수 있습니다.
현황
현재 Draft 상태로 EOF 개발 트랙과 병행하여 논의되고 있습니다.