EIP-3670은 EOF(EVM Object Format) 코드 검증 표준을 정의하며, EOF 형식으로 배포된 컨트랙트 코드에 대해 배포 시점에 추가적인 유효성 검사를 수행하는 제안입니다. EIP-3540의 후속 EIP로 현재 정체 상태입니다.
코드 검증의 필요성
기존 EVM은 컨트랙트 코드의 구조적 유효성을 배포 시점에 검증하지 않아, 유효하지 않은 옵코드나 잘못된 코드 구조가 런타임에야 발견됩니다. EIP-3670은 EOF 포맷 컨트랙트에 대해 이를 사전에 검사하도록 합니다.
검증 범위
유효하지 않은 옵코드, 잘려진 PUSH 데이터, JUMPDEST 위반 등을 배포 시점에 감지하는 정적 분석 규칙들이 도입됩니다. 이를 통해 배포된 컨트랙트의 코드 품질을 보장하고 예측 가능한 실행을 지원합니다.
정체 현황
EIP-3540과 마찬가지로 EOF 전체 스펙의 일부로 개발 중이며, EOF 프레임워크 전체가 이더리움 하드포크에 포함되지 못하면서 함께 정체 상태에 놓이게 되었습니다. 지속적인 개발은 이루어지고 있으나 활성화 일정이 불확실합니다.