Posted 2 years ago | by Ben Armstrong

CertiK Launches DeepSEA to Protect Blockchains from Hackers

CertiK, a blockchain security company, has launched a demo for its DeepSEA programming language. The group has also supplied a language reference manual for the language, which is aimed at making smart contracts more secure.

Both CertiK and its affiliated R&D-focused academic projects have been funded by Binance Labs, Qtum and the Ethereum Foundation. The details of the new release were made public last week. This week, the DeepSEA demo, compiler, and language reference manual were released to give developers a feel for what is coming out of the group.

DeepSEA is a smart contract programming language. In the beginning, it was designed for the implementation of the system software. DeepSEA’s developers are directed toward using the tech for the formal verification and audit of smart contracts and blockchain protocols.

DeepSEA is Well Supported

DeepSEA was created by Professor Zhong Shao and Ronghui Gu. Zhong Shao is a department chair of computer science at Yale as well as the co-founder of CertiK. Ronghui Gu is an assistant professor of computer science at Columbia University.

The pair feel that that existing languages are unsuited for the formal verification procedures needed to properly protect blockchains against the high risks associated with potential smart contract vulnerabilities.

These risks are tied to smart contracts’ self-executing and immutable character as the “code is law.” In the past, Professor Gu made the case for DeepSEA by pointing to its earlier implementations in mission-critical hardware systems like the NASA Mars Rover.

The researchers have critiqued languages, like Solidity and Facebook’s Move, and argue that DeepSEA is significantly more secure and fit for purpose. They claim it can ensure blockchain infrastructure is “bug-free and hacker-resistant” by using mathematical proofs (formal verification).

More Coming from CertiK

DeepSEA is just beginning for CertiK. The group plans to release CertiK Chain as well, after DeepSEA has been made fully avaialable.

After the DeepSEA beta was launched last November, mainnet 1.0 will launch this spring. The mainnet is interoperable with Ethereum to allow the existing Solidity smart contracts to run without issues. It will also work on the Cosmos network, and is designed for use with multiple real-world applications, such as decentralized finance and staking.

Professor Gu has said the developers are planning to integrate DeepSEA with the CertiK Chain later this year. CertiK has also partnered with the major South Korean cryptocurrency exchange, Coinone, to audit projects and take preventative measures against code security exploits.

About Ben Armstrong

ef4f73e9ddeb61becab57469962fa946?s=90&d=blank&r=g CertiK Launches DeepSEA to Protect Blockchains from HackersBen Armstrong is a YouTuber, podcaster, crypto enthusiast, & creator of Better known as BitBoy Crypto, he works hard to educate and inform the crypto community.

Ben has been involved with the world of cryptocurrency since 2012 when he first invested in Bitcoin. He used Charlie Shrem's BitInstant & lost Bitcoin in the Mt. Gox hack.

In 2018, Ben decided to go "full-time crypto" and focus all of his time and energy into expanding the reach of crypto.

If you have any questions or comments please feel free to email him at or contact him on Twitter @BitBoy_Crypto.