Security Official · CertiK
CertiK
A blockchain security firm for audits and monitoring.
Solid Referenceintermediate
Overview
CertiK audits smart contracts and monitors live protocols using formal verification and AI.
Topics
securityauditformal-verification
Knowledge Graph
How CertiK connects to the rest of The Blockchain Library.
Related Glossary Terms
5Related Articles
3Related Books
5Related Research
5- ERC-7512: On-chain Representation of Audit Reports
- ERC-1967: Proxy Storage Slots
- IEEE 2418.1-2024 - Standard for Framework of Blockchain Use in Internet of Things (IoT)
- ISO 23257:2022 - Blockchain and distributed ledger technologies — Reference architecture
- ERC-712: Typed structured data hashing and signing