Pre-built security properties for common Ethereum operations - View it on GitHub