Trail of Bits
A leading security firm that audits high-value smart contracts — best known for their depth on cryptographic primitives.
Trail of Bits has audited Compound, MakerDAO, Uniswap, Yearn, and many of the foundational DeFi protocols. Reports are public and detailed; the firm also publishes open-source security tools (Echidna, Manticore, Slither).
Related terms
- Audit reportA security firm's written review of smart-contract code, classifying findings by severity and tracking issuer responses.
- OpenZeppelinA leading smart-contract security firm and the maintainer of OpenZeppelin Contracts — the most-used Solidity library.
- CertoraA formal-verification firm that produces machine-checked proofs of smart-contract invariants.