EIP-6206은 EVM Object Format(EOF)의 일부로 JUMPF 명령어와 비반환 함수 개념을 도입하는 Core 제안입니다. 꼬리 호출 최적화(tail call optimization)를 EVM에서 지원하여 컨트랙트 실행 효율을 높이는 것이 목적입니다.
EOF와 JUMPF
EOF는 EVM 바이트코드 형식을 구조화하여 코드 섹션을 분리하는 프레임워크입니다. JUMPF는 현재 함수에서 다른 함수로 점프하면서 스택 프레임을 새로 만들지 않는 꼬리 호출 명령어입니다.
비반환 함수
비반환 함수는 호출 스택에 반환 주소를 푸시하지 않습니다. JUMPF를 사용하면 재귀적 꼬리 호출도 스택 오버플로우 없이 처리할 수 있어 함수형 프로그래밍 패턴에 적합합니다.
가스 및 스택 최적화
JUMPF는 함수 호출 오버헤드를 줄여 반복적인 코드 실행 패턴에서 가스를 절감합니다. 호출 스택 깊이 제한도 완화되어 더 복잡한 실행 패턴을 지원할 수 있습니다.
Stagnant 사유
EOF 전체 프레임워크가 여러 번의 재설계를 거치면서 이 EIP도 Stagnant 상태가 되었습니다. EOF 관련 EIP들은 통합적으로 검토되고 있으며 향후 업그레이드에 포함될 가능성이 있습니다.