This research introduces SemanticType, a novel type-based framework that integrates semantic typing annotations to address security vulnerabilities and gas optimization challenges in smart contract development on platforms like Ethereum. It introduces three core type categories: Effect Types for tracking external calls and reentrancy risk, Resource Types for modeling gas consumption bounds, and Security Types for enforcing access control and state consistency. The framework aims to detect reentrancy vulnerabilities with high precision and provide actionable gas optimization recommendations.
Key findings
SemanticType integrates semantic typing annotations to address security and gas optimization.
Introduces Effect Types, Resource Types, and Security Types for enhanced smart contract development.
Aims to detect reentrancy vulnerabilities with a precision targeting less than 5% false positive rate.
Provides gas optimization recommendations to reduce costs by up to 30%.
Limitations & open questions
The framework's effectiveness in diverse real-world scenarios needs further validation.
The integration of SemanticType with existing smart contract development tools presents a challenge.