EIP-3779는 EVM의 제어 흐름을 정적으로 검증하여 잘못된 점프와 스택 언더플로우를 방지하는 안전한 제어 흐름 구조를 제안했습니다. EOF(EVM Object Format)의 일부로 논의되었으나 최종적으로 Withdrawn 되었습니다.
제안 내용
이 EIP는 EVM 바이트코드가 배포 전에 유효한 제어 흐름을 가지고 있는지 정적으로 검증할 수 있는 규칙을 정의했습니다. 유효하지 않은 점프 대상, 스택 언더플로우, 스택 오버플로우를 컴파일 타임에 감지하는 것이 목표였습니다.
역사적 맥락
EOF 프레임워크의 일환으로 EIP-3540, EIP-3670과 함께 제안되었으며, EVM 바이트코드의 구조적 안전성을 높이려는 시도였습니다. 그러나 복잡성과 기존 코드와의 호환성 문제로 인해 논의가 어려워졌습니다.
철회 이유
EOF 표준이 발전하면서 제어 흐름 검증 방식이 재설계되었고, 이 EIP의 접근 방식은 더 이상 적합하지 않다고 판단되어 철회되었습니다. 관련 기능은 이후 EIP-4200(정적 상대 점프)을 포함한 다른 EOF EIP로 분리되어 계속 발전했습니다.