CertiK Releases A Demo And Language Reference Manual For DeepSEA Programming Language
CertiK Releases A Demo And Language Reference Manual For DeepSEA Programming Language
February 28, 2020
CertiK Releases A Demo And Language Reference Manual For DeepSEA Programming Language
CertiK Releases A Demo And Language Reference Manual For DeepSEA Programming Language
February 28, 2020

CertiK, a blockchain security firm, has released a demo and language reference manual for its smart contract-focused DeepSEA programming language.

It has been reported that both CertiK and its affiliated R&D academic projects have received funding from the likes of Binance Labs, the Ethereum Foundation and Qtum.

However, the DeepSEA demo, compiler, and language reference manual released this week aims to give developers an in-depth and hands-on insight into the language’s design. 


DeepSEA is a smart contract functional programming language that was originally created at the research lab of Professor Zhong Shao, the Department Chair of Computer Science at Yale and the Co-founder of CertiK together with Ronghui Gu, an Assistant Professor of Computer Science at Columbia University.

While initially designed for the implementation of the system software, DeepSEA’s developers later re-oriented toward its use for the formal verification and audit of smart contracts and blockchain protocols. 

ALSO READ :  RUSI-ACAMS Collaborates With YouGov

Likewise, they have argued that existing languages are ill-suited to the formal verification procedures needed to properly safeguard against the high risks associated with potential smart contract vulnerabilities.

However, these risks are tied to smart contracts’ self-executing and immutable character, as the “code is law” adage would have it, and Professor Gu has in the past made the case for DeepSEA by pointing to its earlier implementations in mission-critical hardware systems such as the NASA Mars Rover.

It has been analyzed that the researchers have critiqued languages such as Solidity and Facebook’s Move, arguing that DeepSEA is significantly more secure and fit for purpose.

By using mathematical proofs (formal verification), they claim that it can ensure blockchain infrastructure is “bug-free and hacker-resistant.”

Its release comes ahead of the company’s forthcoming CertiK Chain Mainnet 1.0 launch in spring 2020, after its beta launch in November 2019. The mainnet is fully interoperable with Ethereum, allowing existing Solidity smart contracts to run without friction, and the Cosmos network, and is intended for the use of multiple applications such as decentralized finance and staking. 

ALSO READ :  Korea Expressway Corporation To Bring Blockchain-Based Toll Payments System Across The Nation’s Highways

Thus, Professor Gu has said that the developers plan to integrate DeepSEA with the CertiK Chain later this year. 

Source: certik.org | cointelegraph.com


Crypto News Point a news platform of Digital Notice Media Labs is primarily a regular publication of information, commentary and articles focused extensively on fintech, blockchain technology, cryptocurrency, blockchain-based tokens, cryptocurrency market trends, and trading strategies. We do not provide individually tailored investment advice and does not take a subscriber’s or anyone’s circumstances into consideration when discussing investments, nor is Crypto News Point registered as an investment adviser or broker-dealer in any jurisdiction. Information contained herein is not an offer or solicitation to buy, hold, or sell any digital assets.

Affiliate Disclosure: To help support the work we do here at CNP, we often link to products and deals from around the web. Should you buy some of these, we may get a portion of the sale.

We in generally gather content from the major websites. In every article there is always a clear link and attribution to the source publication. If you have any issue with any of our published content taken from your site, kindly let us know so that we can take appropriate action. In any case, the content of the pages of this website is for your general information and use only. It is subject to change without notice.

You May Also like

Ishita Bora

Ishita Bora is a Senior Content Creator at Digital Notice Media Labs with an experience of 1 year. She has completed her Master's Degree in Language and Linguistics in 2019 from Gauhati University, India. Her interest lies in blockchain technology and cryptocurrency space, as she loves writing about blockchain and other blockchain-related articles. Currently, she is working on blockchain-based news, reviews, featured articles, and guides.