EIP-1051은 EVM에서 정수 오버플로우를 자동으로 감지하고 예외를 발생시키는 새로운 산술 옵코드를 추가하자는 제안입니다. 스마트 컨트랙트의 대표적인 보안 취약점인 오버플로우를 프로토콜 수준에서 방지하려 했습니다.
문제점
EVM의 기본 산술 연산은 오버플로우 시 조용히 값이 잘려 예상치 못한 동작을 일으킵니다. 이는 SafeMath 라이브러리 없이 작성된 컨트랙트에서 취약점으로 악용될 수 있습니다.
제안된 해결책
오버플로우 발생 시 즉시 예외를 던지는 새로운 산술 옵코드(ADD, SUB, MUL의 변형)를 추가하자고 제안합니다. 개발자들이 별도 라이브러리 없이 안전한 산술 연산을 사용할 수 있게 됩니다.
정체 이유
Solidity 0.8.0이 기본적으로 오버플로우 검사를 내장하여 언어 수준에서 문제가 해결되었습니다. 프로토콜 수준의 변경 없이도 충분한 보안이 제공됨에 따라 논의가 중단되었습니다.