Smart Contract Security Glossary

Definitions, examples, and audit checks for Solidity, EVM, and DeFi security terms.

All 63 Vulnerabilities 7 EVM 7 Solidity 23 DeFi 15 Testing 3 Audit Tools 1 Standards 7

All glossary terms.

Clear filters

Testing

3

Fuzz 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.