CertiK

Privacy & Cyber Security
CertiK header

CertiK

Privacy & Cyber Security

Blockchain cybersecurity start-up

United States, New York
2017
Year of establishment
Active
Status

About

Hi we’re CertiK!


CertiK is a pioneering blockchain cybersecurity start-up founded by Computer Science professors from Yale University and Columbia University. By applying the rigor of proprietary Formal Verification technology on smart contracts and blockchain protocols, CertiK has been able to secure over $1.2B in assets, including many of the world’s top blockchain projects. The research efforts of CertiK have received grants from IBM and the Ethereum Foundation, and some notable investors include Binance Labs, Lightspeed Venture Partners, Matrix Partners, and NEO Global Capital, among others.

Key objective

To realize a transparent, fair, and secure blockchain ecosystem around the world.

Use cases

Security Services
Identity Management & Verification

Team

Team members

Daryl Hok Chief Operations Officer

Responsibilities

Daryl Hok spearheaded Corporate Development at FiscalNote, a global machine-learning legal tech company, where he accelerated growth by completing 3 acquisitions in 12 months, including a $180M purchase from The Economist Group. He was also the Product Manager responsible for ideation and release of SaaS products, along with the development of the core data infrastructure. He obtained a dual BA in Economics and Psychology from Yale University, with concentrations centered around behavioral economics

Zhong Shao Co-Founder

Responsibilities

Thomas L. Kempner Professor and Chair of Computer Science Department at Yale University. Ph.D. in Computer Science from Princeton University. Leading figure in research fields such as cybersecurity, operating systems, and certified software. Shao and his Yale FLINT group have developed the world’s first hacker-resistant and concurrent operating system – CertiKOS.

Muhan Zou Chief Strategy Officer

Responsibilities

Muhan Zou serves as the founding member of CertiK from company inception, where he contributes with both his engineering abilities and team leadership. Muhan has years of experience in designing and developing enterprise level SaaS products. Prior to joining, he worked as the engineering lead at Comcast to monetize large-scale ads and set top-box/linear raw data into business insights deliverable. He also worked at Oracle where he built the social cloud platform as a Full Stack Engineer after graduation at Yale University.

Ronghui Gu Co-Founder

Responsibilities

Assistant Professor of Computer Science, Columbia University. Ph.D. in Computer Science from Yale University and Bachelor’s degree from Tsinghua University Distinction Dissertation Award at Yale University in 2016 and was nominated for ACM Dissertation. Expert in Formal Verification of system software and the primary developer of CertiKOS.

Customers / Partners

Funding

Received funding
N/A
Total amount raised
6
Rounds
9
Total amount of investors
Amount Raised
Funding type
Funding round closing
Investors
N/A
Venture
Binance Labs
Consensus Lab
N/A
ICO/Token Sale
Kenetic Capital
N/A
Venture
Chainfund Capital
N/A
Venture
Kosmos Capital
N/A
Seed
DHVC
NEO Global Capital (NGC)
Nirvana Capital
N/A
Seed
8 Decimal Capital

News

The Universal Protocol Alliance unveils tradable carbon token

The Universal Protocol Alliance (UPA), a coalition of leading blockchain companies including Bittrex Global, Ledger, CertiK, InfiniGold and Uphold, today launches Universal Carbon [UPCO2], the world’s first tradable carbon token on a public blockchain that can be bought and held as an investment, or burnt to offset an individual’s carbon footprint.


5 months ago


Product update/release
Partnership
Bittrex Global
Ledger
CertiK
Uphold

CertiK deploys automated smart contract auditing tool

An automated tool can help pick the low-hanging fruit vulnerabilities.


6 months ago


Product update/release
CertiK

CertiK dissects the Axion Network incident and subsequent price crash

Auditors see foul play in the deployment of the smart contract, resulting in a classic scam.


6 months ago


General news
CertiK

CertiK releases blockchain with real-time smart contract auditing

The security company wants to build a formally secure blockchain for DeFi


7 months ago


Product update/release
CertiK

DeFi and security not mutually exclusive, say CertiK and Binance Smart Chain Reps

The crypto space continues to build frameworks to supplement DeFi's rising star.


8 months ago


General news
CertiK