EIP-7960은 EOF(EVM Object Format)에 확장된 타입 섹션을 추가하는 Draft Core 제안입니다. 기존 EOF 타입 섹션을 확장하여 더 풍부한 타입 정보와 함수 시그니처를 지원하도록 합니다.
현재 EOF 타입 섹션
현재 EOF 명세의 타입 섹션은 함수의 입출력 스택 높이 정보만 담습니다. 이는 기본적인 스택 검증에는 충분하지만, 더 상세한 타입 시스템이나 정적 분석에는 부족합니다.
확장 제안 내용
타입 섹션에 반환 타입, 매개변수 타입 메타데이터 등의 추가 정보를 포함시키는 방안을 제안합니다. 이를 통해 정적 분석 도구와 컴파일러가 더 강력한 최적화 및 검증을 수행할 수 있습니다.
생태계 이점
확장된 타입 정보는 포멀 베리피케이션, 더 나은 컴파일러 최적화, 향상된 개발자 도구 지원을 가능하게 합니다. 장기적으로 EVM 스마트 컨트랙트의 안전성 향상에 기여할 것입니다.