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.
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.
Thus, Professor Gu has said that the developers plan to integrate DeepSEA with the CertiK Chain later this year.
Source: certik.org | cointelegraph.com