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 team's methods include "a layer-based decomposition approach, pluggable proof engines, machine-checkable proof objects, certified 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.
"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.
The leader in blockchain news, 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.
Binance Labs Invests Millions in Blockchain Auditing Platform CertiK
Published on Oct 8, 2018
by Coindesk | Published on Coinage
Coinage
Recent News
View All
Blockchain Bites: Bitcoin's Run, Uniswap's Hemorrhaging Value, Anchorage's Banking Bid
Bitcoin is nearing all-time highs in price and market cap last set three years ago.
Japan's megabanks to lead experiment with digital yen
We have, in order, Cheese Bank with a $3.3 million theft, Akropolis with its $2 million loss, Value DeFi with a whopping $6 million exploit and finally Origin Protocol's loss of $7 million.
Number of new Bitcoin addresses spikes amid growing FOMO
Japan's three largest banks, as part of a group of 30 private sector actors, are set to collaborate on an experiment with a digital yen.
Not just Wall Street: Quant trader explains why Bitcoin price is going up
Sam Trabucco, a quantitative trader at Alameda Research, believes four general factors are pushing up the price of Bitcoin.