BlockSec combines crypto compliance and security tools for screening illicit fund flows, auditing contracts, and monitoring DeFi protocols.
CertiK
CertiK combines formal verification, security audits, and monitoring tools to assess smart contracts and blockchain protocols.
About CertiK
CertiK provides security assessments for smart contracts and blockchain protocols using code audits, formal verification, and monitoring.
It also offers penetration testing, proof-of-reserves verification, and compliance support including AML and risk management and advisory for Dubai VASP licensing and EU CASP requirements under DORA and MiCA.
Key features
- Smart contract security assessment through code audits
- Formal verification of protocol components and circuits
- Penetration testing using attack simulation
- Independent proof-of-reserves verification for asset platforms
- Compliance, AML and risk management through SkyInsights
- Advisory for Dubai VARA and EU DORA and MiCA requirements
Best for: Enterprises, Web3 projects, exchanges, custodians, and regulators that need smart contract audits and compliance support.
Good for
- Combines audits, formal verification, penetration testing, and compliance support
- Lists SOC 2 Type II and ISO 27001 certifications
- Reports regulatory engagement in the United States, Singapore, Hong Kong, Japan, Abu Dhabi, and Korea
CertiK at a glance
- Website
- certik.com
- Type
- Website
- Pricing
- Not confirmed. Check the site
- Platforms
- iOS, Web
- Open source
- Not stated
- Language
- English
- Last checked
- Oct 5, 2026 · Online when checked
- Listed
- Oct 5, 2026
CertiK alternatives
Tools and sites you could use instead, ranked by how closely they match.
Quantstamp audits smart contracts, layer-one networks, and web infrastructure, and reports blockchain security work dating back to 2017.
Sherlock offers Web3 security audits, contests, AI analysis, and bug bounties for smart contract projects.
Web3 Antivirus offers browser and wallet security tools, a security API, wallet risk analysis, and monitoring for phishing and poisoning attacks.
Blockaid provides real-time Web3 security tools for preventing scams, fraud, exploits, and compliance risks across on-chain finance.
Hexens audits blockchain systems and offers continuous threat exposure monitoring, alongside research on smart contract platform vulnerabilities.
Popular in Portfolio & Security Tools
Well-known listings from the same topic.
DeFiSafetydefisafety.comChainalysischainalysis.comNexus Mutualnexusmutual.ioThree Sigmathreesigma.xyzfomofomo.familySigma Primesigmaprime.io
CertiK FAQ
What types of assessments does CertiK provide?
Code audits for smart contracts, penetration testing through attack simulation, and formal verification of protocol components.
Does CertiK offer compliance support?
Yes, including SkyInsights for compliance, AML and risk management, proof-of-reserves audits, and advisory for Dubai VARA and EU DORA and MiCA.
Who is CertiK intended for?
Enterprises, Web3 projects, exchanges and custodians, regulators, and security researchers.
Is something wrong or out of date?
Tell us and an editor will check it.
Own this website?
Claim this listing
Claim the listing and suggest updates yourself. An editor checks every claim first.