CertiK is a blockchain and smart contract security company that provides formal verification services for securing blockchain ecosystems. The company leverages mathematical proofs to ensure the correctness of smart contracts and blockchain protocols, aiming to eliminate vulnerabilities and enhance the security of decentralized applications.

CertiK

CertiK is a pioneer in blockchain security, leveraging best-in-class AI technology to protect and monitor blockchain protocols and smart contracts. Founded in 2018 by professors from Yale University and Columbia University, CertiK’s mission is to secure the web3 world. CertiK applies cutting-edge innovations from academia to enterprise, enabling mission-critical applications to scale with safety and correctness.One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with nearly 4,000 Enterprise clients, secured over $360 billion worth of digital assets, and has detected nearly 70,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz. ​​CertiK is backed by Insight, Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Coinbase Ventures, Binance, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital and other investors. 

NGC Ventures

DHVC

Eden Block

Tiger Global Management

GL Ventures

Sequoia Capital

Advent International

Lightspeed Venture Partners

Goldman Sachs

Insight Partners

Shunwei Capital

Coatue

Coinbase Ventures

ZMT Capital

SoftBank Vision Fund

Sequoia Capital China

Hillhouse Capital Group

Hillhouse Investment

AU21 Capital

Binance

Consensus Lab

Fundamental Labs

Kenzi Wang

COM:CERTIK

CertiK