Soliduzz: 단언 기반 동등성 오라클을 이용한 스마트 계약 컴파일러의 오컴파일레이션 탐지

요약

Soliduzz는 단언 기반 동등성 오라클을 활용하여 EVM 스마트 계약 컴파일러의 오컴파일레이션을 탐지하는 새로운 접근 방식을 제시합니다. 이 방법은 제품 프로그램을 통해 의미론적 동등성을 실행 가능한 단언으로 인코딩하며, 기존 퍼저보다 강력한 검증 능력을 보여줍니다. Soliduzz는 여러 분석 도구를 사용해 3개 컴파일러에서 총 29개의 버그를 발견했습니다.

핵심 포인트

• 단언 기반 오라클을 이용해 스마트 계약의 의미론적 동등성을 검사합니다.
• 제품 프로그램을 통해 의미론적 동등성을 실행 가능한 단언으로 변환합니다.
• Soliduzz는 solc, solx, vyper 등 3개 컴파일러에서 총 29개의 버그를 발견했습니다.
• 오컴파일레이션 탐지에 특화되어 스마트 계약의 신뢰성을 높입니다.