Skip to content
Reusable properties for Ethereum contracts
blog.trailofbits.com | blog | #web3 | #smart-contracts | #fuzzing | #smart-contract | #blockchain-security | #ethereum | #echidna | #invariants | #erc-20 | #erc-4626 | #invariant | #property-based-testing
Summary
Trail of Bits released 168 pre-built properties for its Echidna smart contract fuzzer, covering ERC-20, ERC-4626 vaults, and ABDKMath64x64 fixed-point math to raise assurance beyond unit tests.
- Published
- Collected