Proof-of-Verified-Security Blockchain Based on DeepSEA Language Goes Live

Published at: July 22, 2019

Blockchain cybersecurity company CertiK, which had received an investment from Binance Labs in 2018, has launched its native CertiK Chain blockchain. The CertiK Foundation announced its new release in an official blog post on July 22.

In January of this year, CertiK and major crypto exchange Binance had also announced a partnership that would allow the cybersecurity company to audit Binance’s smart contracts to ensure there are no critical vulnerabilities.

Smart contracts on CertiK Chain can be developed in the functional programming language DeepSEA, which reportedly guarantees security by means of the code. Additionally, any on-chain smart contracts will reportedly have cryptographic certificates that serve as proof of verified security; however, smart contracts without such certificates could reportedly be run with additional fees.

As previously reported by Cointelegraph, the Ethereum Foundation provided the DeepSEA project with funding in March. Open source blockchain project Qtum also provided DeepSEA with $400,000 in funding back in December. 

The DeepSEA project was led by Professor Ronghui Gu at Columbia, who is also the co-founder of CertiK.

The full nodes of the blockchain will reportedly run on CertiKOS, which they say is a “fully verified hypervisor / concurrent OS kernel” that provides purportedly military-grade security against hacking attempts. Additionally, the announcement states that the blockchain is underpinned by the CertiK Virtual Machine, which uses the company’s Formal Verification platform to make sure it is implemented correctly. 

According to its website, CertiK currently offers blockchain-focused cybersecurity services through security auditing, penetration testing and platform customization.

Tags
Blockchain
Hackers
Smart Contracts
Security
Related Posts
Immunefi partners with Binance Smart Chain on bug bounties to secure BSC projects
Immunefi, a security service outfit that specialized in decentralized finance (DeFi) projects, has inked a collaboration with the Binance Smart Chain. According to a release issued on Friday, Immunefi will work in collaboration with BSC to improve the security of projects on the Binance chain. As part of the partnership, ethical hackers who take part in a campaign to discover vulnerabilities in BSC-based projects will earn rewards. As a security outfit, Immunefi has reportedly paid more than $3 million in bug bounties to ethical hackers. Major BSC protocols such as PancakeSwap, DODO, and Zapper among others are already deploying the …
Blockchain / July 9, 2021
Smart contract exploits are more ethical than hacking... or not?
There has been a lot of talk about the recent “hacks” in the decentralized finance realm, particularly in the cases of Harvest FInance and Pickle Finance. That talk is more than necessary, considering hackers stole more than $100 million from DeFi projects in 2020, accounting for 50% of all hacks this year, according to a CipherTrace report. Related: Roundup of crypto hacks, exploits and heists in 2020 Some point out that the occurrences were merely exploits that shined a light on the vulnerabilities of the respective smart contracts. The thieves didn’t really break into anything, they just happened to casually …
Technology / April 18, 2021
Smart contract standards: Making DeFi transactions on Ethereum more secure
Decentralized finance continues to make its impact on the crypto market, and with over $13 billion of total value of assets locked, DeFi projects are clearly resonating with eager crypto investors. Yet while the DeFi space has been progressing over the last year, a number of illegitimate projects have come to fruition, reminding some of the 2017 ICO boom and its subsequent bust. For example, Harvest Finance, a major decentralized protocol, was recently hacked. The attacker made away with $24 million from Harvest Finance pools. Most recently, Value DeFi, the decentralized finance protocol, fell victim to a $6-million flash loan …
Blockchain / Nov. 21, 2020
Tron Discloses Critical Vulnerability Which Could Have Crashed Its Blockchain
The Tron Foundation disclosed a fixed critical vulnerability which could have crashed its blockchain on vulnerability disclosure platform HackerOne on May 2. The disclosure explains that with enough malicious requests, an attacker could have filled up all the available memory and effectively perform a Distributed Denial of Service attack on the TRX network by employing malicious code in a smart contract. The disclosure further explains the impact of such an attack: “Using a single machine an attacker could send DDOS attack to all or 51% of the SR node and render Tron network unusable or make it unavailable.” The cybersecurity …
Blockchain / May 6, 2019
Finance Redefined: Two DeFi hacks top $120M, and $500M Algo Fund launches, Nov. 26–Dec. 3
Welcome to the latest edition of Cointelegraph’s decentralized finance newsletter. A week packed with positive advancements in the DeFi space including nine-figure fund raises, successful product launches and soaring token prices was somewhat tarnished by the news of two severe security exploits. Read on to get the full scope of developments across the week. What you’re about to read is the smaller version of this newsletter designed for brevity. For the full version of DeFi’s developments over the last week, drop your email below. Borderless Capital launches $500M fund to support Algorand ecosystem Capital venture firm Borderless Capital announced the …
Decentralization / Dec. 3, 2021