What services does CertiK offer?

According to its public information, CertiK offers: Audit and Penetration testing.

Which blockchains does CertiK work with?

CertiK works with Ethereum, BNB Chain, Polygon, TON, and Cosmos.

Where is CertiK based?

CertiK is headquartered in United States.

Is CertiK verified on smart-contract.com?

Not yet. This listing was compiled from public information and CertiK has not claimed it or gone through the vetting process of smart-contract.com.

How can I get a quote from CertiK?

Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.

Vendor

CertiK

Web3 security firm offering manual smart contract audits, formal verification and pentests

Public information

About

CertiK is a Web3 security company whose terms of use name CERTIFIED KERNEL TECH LLC, registered in Delaware with its primary office in New York, United States; its about page describes it as New York-based and born from research at Columbia and Yale. This profile covers its audit services. Every smart contract audit involves a manual review of the code by its security experts, complemented by an AI-assisted automated review, with formal verification available as an optional further step that checks contract behaviour against custom function specifications. Audit reports classify vulnerabilities by severity from critical to informational, give remediation advice for each finding and record whether issues were resolved or acknowledged. CertiK states that it audits projects on Ethereum, BNB Chain, Polygon and other layer 1 blockchains, and its formal verification work includes TON consensus contracts and the Cosmos SDK bank module. It also sells Web3 penetration testing covering web, mobile and desktop applications and their APIs, networks including blockchain RPC, cloud infrastructure, AI-integrated dApps, SDKs and source code.

At a glance

Every smart contract audit includes a manual code review by security experts
Offers formal verification as an optional step of an audit
Reports classify findings by severity and record their resolution status
Sells Web3 penetration testing of applications, networks, cloud and SDKs
Formal verification work includes TON consensus contracts and the Cosmos SDK bank module

Services: Audit
Penetration testing
Blockchains: Ethereum
BNB Chain
Polygon
TON
Cosmos
Headquarters: United States
Website: certik.com(opens in a new tab)

CertiK: frequently asked questions

What services does CertiK offer?: According to its public information, CertiK offers: Audit and Penetration testing.
Which blockchains does CertiK work with?: CertiK works with Ethereum, BNB Chain, Polygon, TON, and Cosmos.
Where is CertiK based?: CertiK is headquartered in United States.
Is CertiK verified on smart-contract.com?: Not yet. This listing was compiled from public information and CertiK has not claimed it or gone through the vetting process of smart-contract.com.
How can I get a quote from CertiK?: Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.

Where this information comes from

This listing was compiled from the public pages below and last reviewed on September 24, 2026. The company has not claimed it yet, is not a partner of smart-contract.com and has not been vetted.

Describe your project once. Compare with confidence.

Get comparable quotes from vetted developers, then secure your code with an independent auditor.

Get quotes

Free for clients. No commitment.