Share this article
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.
By Nikhilesh De
Updated Sep 13, 2021, 8:27 a.m. Published Oct 8, 2018, 11:00 a.m.
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.
STORY CONTINUES BELOW
Don't miss another story.Subscribe to the Crypto Daybook Americas Newsletter today. See all newsletters
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
More For You
What to know:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
More For You
Bitcoin Faces Japan Rate Hike: Debunking The Yen Carry Trade Unwind Alarms, Real Risk Elsewhere
Speculators maintain net bullish positions in the yen, limiting scope for sudden JPY strength and mass carry unwind.
What to know:
- Impending BOJ rate hike largely priced in; Japanese bond yields near multi-decade highs.
- Speculators maintain net bullish positions in the yen, limiting scope for sudden yen strength.
- BOJ tightening may contribute to sustained upward pressure on global yields, impacting risk sentiment.
Top Stories
