Both CertiK and its affiliated R&D academic projects have received funding from the likes of Binance Labs, the Ethereum Foundation and Qtum. The firm shared details of the new release with Cointelegraph on Feb. 21.
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.
A language fit for purpose
DeepSEA is a smart contract functional programming language that was originally created at the research lab of Professor Zhong Shao, 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 system software, DeepSEA’s developers later re-oriented toward its use for the formal verification and audit of smart contracts and blockchain protocols.
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.
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.
The researchers have critiqued languages such as Solidity and Facebook’s Move, arguing that DeepSEA is significantly