EIP-5450은 EOF(EVM Object Format) 컨테이너 내에서 스택 유효성을 정적으로 검증하는 메커니즘을 제안하는 Core EIP입니다. 배포 시점에 스택 언더플로우/오버플로우를 사전 방지합니다.
제안 배경
EVM 바이트코드는 런타임에 스택 오류가 발생할 수 있었습니다. EOF 형식 도입과 함께 코드 배포 시 정적 분석으로 스택 상태를 사전 검증함으로써 런타임 오류를 줄이고자 했습니다.
검증 알고리즘
각 명령어가 스택에서 소비하고 생산하는 항목 수를 정적으로 추적합니다. 모든 코드 경로에서 스택 깊이가 유효 범위 내에 있음을 보장하는 데이터 흐름 분석을 수행합니다.
EOF와의 연관성
EIP-3540(EOF)과 EIP-4200(정적 점프) 등 EOF 관련 EIP들과 밀접하게 연관되어 있습니다. EOF 생태계 전체의 진행 상황에 따라 이 EIP의 운명도 함께 결정됩니다.
정체 이유
EOF 관련 EIP들의 전체 패키지가 여러 번 지연되면서 함께 Stagnant 상태가 되었습니다. EVM 변경의 복잡성과 기존 도구와의 호환성 문제가 진행을 어렵게 만들었습니다.