CertiK
CertiK audits smart contracts and monitors live protocols using formal verification and AI. A blockchain security firm for audits and monitoring. CertiK audits smart contracts and monitors live protocols using formal verification and AI.Resource details
- Organization: CertiK
- Category: Security
- Difficulty: intermediate
- Official: Yes
- Editorial label: Solid Reference
Official resource
Visit CertiKRelated knowledge
- Immunefi — resource
- Immunefi — related-resource
- OpenZeppelin Security — resource
- OpenZeppelin Security — related-resource
Canonical knowledge ID:
resource:certik