Binance Labs Invests Millions in Blockchain Auditing Platform CertiK

Binance Labs, the crypto exchange's incubator wing, says it has has invested millions in smart contract and blockchain auditing platform CertiK.

AccessTimeIconOct 8, 2018 at 11:00 a.m. UTC
Updated Sep 13, 2021 at 8:27 a.m. UTC

Binance Labs, the incubator wing of the Binance cryptocurrency exchange, has invested in a smart contract and blockchain audit startup, the company announced Monday.

Called CertiK, the firm seeks to help secure smart contract and blockchain platforms through a formal verification process. The team has already begun working on ensuring existing blockchain platforms do not contain bugs that could lead to a loss of funds or other vulnerabilities, according to a press release.

The company was founded last year, in part by Yale professor Zhong Shao, who is known for developing a "certified operating system" called CertiKOS, and Columbia University assistant professor Ronghui Gu.

CertiK's team operates by applying mathematical proofs to networks to determine whether hackers can breach the systems.

The team's methods include "a layer-based decomposition approach, pluggable proof engines, machine-checkable proof objects, certified [decentralized application] libraries and smart labeling," according to the release. By using these approaches, the researchers claim they can then confirm a blockchain platform's security in an objective manner.

While Binance Labs did not disclose the total amount of the investment, a spokesperson told CoinDesk that its stake accounted for "multiple millions" of dollars.

The incubator's CEO, Ella Zhang, said in the release that CertiK's platform addresses at least one outstanding need in the blockchain space, explaining:

"CertiK mathematically validates the security of smart contracts, which is a critical pain point we are facing in the blockchain ecosystem, bypassing the limitations of manual detection."

The investment "signals the recognition of the importance of formal verification in the blockchain industry," the statement went on to say. CertiK in particular comes with a "unique advantage" in the field given its history and proven technology.

This technology includes CertiKOS, which has already been used in both enterprise and military programs, and is one of the tools used by the U.S. Defense Advanced Research Projects Agency (DARPA), the release notes.

Business miniatures image via Shutterstock


Please note that our privacy policy, terms of use, cookies, and do not sell my personal information has been updated.

The leader in news and information on cryptocurrency, digital assets and the future of money, CoinDesk is a media outlet that strives for the highest journalistic standards and abides by a strict set of editorial policies. CoinDesk is an independent operating subsidiary of Digital Currency Group, which invests in cryptocurrencies and blockchain startups. As part of their compensation, certain CoinDesk employees, including editorial employees, may receive exposure to DCG equity in the form of stock appreciation rights, which vest over a multi-year period. CoinDesk journalists are not allowed to purchase stock outright in DCG.


CoinDesk - Unknown
Brutal Month for Bitcoin as June Ends With Biggest Drop in 11 Years

Crypto markets saw heavy losses with investors increasingly worried about high inflation and Federal Reserve rate increases. Some analysts say the bitcoin price could go even lower.

CoinDesk - Unknown
CoinDesk - Unknown
Ignite CEO Peng Zhong Announces Departure Shortly After Re-Organization

Zhong’s exit comes weeks after the company’s former CEO, Jae Kwon, said he is re-joining the company as the CEO of spinoff New Tendermint.

CoinDesk - Unknown
CoinDesk - Unknown
DAOs Are the New Way of Impact Work

"Impact DAOs" are at the forefront of new culture of work that asks us to move towards aligning our values with our actions, says the co-founder of Gitcoin.

CoinDesk - Unknown
CoinDesk - Unknown
Sun Token
CoinDesk - Unknown