Smart Contract Security Glossary

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

All 163 Vulnerabilities 24 EVM 17 Solidity 36 DeFi 32 Testing 5 Audit Tools 9 Standards 40

All glossary terms.

Clear filters

Testing

5

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.

Differential Testing

Differential testing compares two implementations, versions, configurations, or execution paths and flags unexpected differences.

Formal Verification

Formal verification uses mathematical methods to prove that code satisfies specified properties under stated assumptions.