CertiK

CertiK, the largest Web3 security service provider, uses AI and formal verification to protect and monitor smart contracts and protocols, securing the Web3 ecosystem.

Category: Security & Risk
Used for: Audit Tools · Protocol Security
Pricing: Contact Sales

Visit website →

What it does

Used for

Protocol Security
Audit Tools

Data

Security

Who it is for

Audiences

Protocol Team
Enterprise

Kind of tool

Security Tool

Platforms

Pricing

Contact Sales

Verification and freshness

Not verified yet.
Last updated on October 27, 2026.

Other tools for Audit Tools

Sherlock
The leading web3 audit platform — private audits, contests, AI analysis, and bug bounties. 1000+ audits, $250B+ TVL protected and 11,000+ security researchers.
CertiK
Access advanced tools, blockchain data, security and social insights to perform due diligence across Web3 projects, and NFTs.
OpenZeppelin
OpenZeppelin is the security standard for onchain finance: the smart contracts, standards, and security services behind the industry's most critical systems.
Secure3
Secure3 is a leading Web3 security audit platform that leverages a decentralized approach to deliver comprehensive auditing services for the smart contract, blockchain protocol, dApp, bridge and codebase, protecting crypto projects from bugs and vulnerabilities and ensuring a secure and reliable decentralized future.

CertiK

What it does

Used for

Data

Who it is for

Audiences

Kind of tool

Platforms

Pricing

Links

Verification and freshness

Other tools for Audit Tools

Sherlock

CertiK

OpenZeppelin

Secure3

Report a problem