EIP-4200은 EOF(EVM Object Format)의 일환으로 EVM에 정적 상대 점프 명령어를 추가하는 Stagnant 상태의 Core EIP입니다. 현재 동적 점프의 단점을 보완하고 정적 분석을 용이하게 하는 것이 목표였습니다.
제안 배경
현재 EVM의 JUMP 및 JUMPI 명령어는 런타임에 점프 대상이 결정되는 동적 점프로, 정적 분석과 검증을 매우 어렵게 만듭니다. 정적 상대 점프는 컴파일 타임에 점프 대상을 고정하여 이러한 문제를 해결합니다.
새 명령어
RJUMP, RJUMPI, RJUMPV 세 가지 새 명령어를 추가합니다. 이 명령어들은 현재 명령 포인터에서의 상대적 오프셋을 사용하여 점프 대상을 정적으로 인코딩합니다.
정체 이유
EOF 프레임워크 전체의 복잡성과 설계 논쟁으로 인해 개별 구성 요소인 이 EIP도 함께 정체되었습니다. EOF 관련 EIP들이 재설계 과정을 거치면서 이 EIP의 최종 형태도 불확실한 상태입니다.