OpenZeppelin
A leading smart-contract security firm and the maintainer of OpenZeppelin Contracts — the most-used Solidity library.
OpenZeppelin Contracts ship the audited reference implementations of ERC-20 / ERC-721 / Ownable / Proxy patterns most DeFi protocols build on. Their Defender platform also handles automated security monitoring + incident response.
Related terms
- Audit reportA security firm's written review of smart-contract code, classifying findings by severity and tracking issuer responses.
- Trail of BitsA leading security firm that audits high-value smart contracts — best known for their depth on cryptographic primitives.
- CertoraA formal-verification firm that produces machine-checked proofs of smart-contract invariants.