Block
Security
Crytic Properties
Reusable property test library from Trail of Bits for common token standards and protocol behaviors across Solidity security test suites.
Supported Chains
EthereumBest For
Crytic Properties is useful for builders evaluating Security across Ethereum.