Deel dit artikel
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.
Door Nikhilesh De
Make us preferred on Google
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
Mis geen enkel verhaal.Abonneer je vandaag nog op de Crypto Daybook Americas Nieuwsbrief. Bekijk Alle Nieuwsbrieven
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
Pudgy Penguins is building a multi-vertical consumer IP platform — combining phygital products, games, NFTs and PENGU to monetize culture at scale.
What to know:
Pudgy Penguins is emerging as one of the strongest NFT-native brands of this cycle, shifting from speculative “digital luxury goods” into a multi-vertical consumer IP platform. Its strategy is to acquire users through mainstream channels first; toys, retail partnerships and viral media, then onboard them into Web3 through games, NFTs and the PENGU token.
The ecosystem now spans phygital products (> $13M retail sales and >1M units sold), games and experiences (Pudgy Party surpassed 500k downloads in two weeks), and a widely distributed token (airdropped to 6M+ wallets). While the market is currently pricing Pudgy at a premium relative to traditional IP peers, sustained success depends on execution across retail expansion, gaming adoption and deeper token utility.
More For You
Bitcoin tumbles to 2026 low of $85,200 as gold reverses big gains, Microsoft leads Nasdaq lower
Soaring to $5,600 at one point earlier on Thursday, gold quickly pulled back to below the $5,200 level in U.S. morning trade.
What to know:
- Already sitting on overnight losses, bitcoin's decline accelerated in U.S. morning trade, with the price falling back to $85,200, a new low for 2026.
- The quick selloff came amid a reversal in gold’s breathtaking rally, which had sent the yellow metal soaring above $5,600 at one point Thursday before quickly falling back to $5,200.
- The Nasdaq was also sharply lower, falling 1.5%, as Microsoft declined more than 11% following its fourth-quarter earnings report.
