Smart Contract Security Glossary
Definitions, examples, and audit checks for Solidity, EVM, and DeFi security terms.
Browse by topic.
All glossary terms.
Testing
3Fuzz Testing
Fuzz testing sends many generated inputs through smart contract code to find edge cases, unexpected reverts, broken assumptions, and state transitions that normal unit tests miss.
Invariant Testing
Invariant testing checks that important smart contract properties stay true across many generated call sequences, actors, and state transitions.
Echidna
Echidna is a property-based smart contract fuzzer that generates call sequences to try to falsify user-defined properties and assertions.