Certik Launches Demo for Language That Aims to Make Blockchain ‘Hacker-Resistant’

Published at: Feb. 27, 2020

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

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 more secure and fit for purpose. By using mathematical proofs (formal verification), they claim 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 last November. 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. 

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

Major South Korean cryptocurrency exchange Coinone has also partnered with CertiK to audit projects and take preventative measure against code security exploits.

Tags
Technology
Blockchain
Smart Contracts
Security
Related Posts
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
Ethereum advances with standards for smart contract security audits
The Ethereum ecosystem continues to witness a flurry of activity that has individuals and organizations deploying token contracts, adding liquidity to pools and deploying smart contracts to support a wide range of business models. While notable, this growth has also been riddled with security exploits, leaving decentralized finance (DeFi) protocols vulnerable to hacks and scams. For instance, recent findings from crypto intelligence firm Chainalysis show that crypto-related hacks have increased by 58.3% from the beginning of the year through July 2022. The report further notes that $1.9 billion has been lost to hacks during this timeframe — a figure that …
Adoption / Aug. 22, 2022
Crypto companies aim to build trust within future products and services
The cryptocurrency ecosystem underwent a turbulent year in 2022. Criticism inside and outside of the crypto industry was fueled following the collapse of FTX, Celsius, Three Arrows Capital and the Terra ecosystem. A number of losses have been recorded from these events. Blockchain analytics firm Chainalysis released a report in December of last year, which noted that the depegging of Terra’s stablecoin, Terra USD Classic (USTC), saw weekly-realized losses peak at $20.5 billion. Findings further show that the subsequent collapse of Three Arrows Capital and Celsius in June 2022 saw weekly-realized losses reach $33 billion. While these events may have …
Decentralization / Jan. 6, 2023
Top 7 blockchain courses and certifications for beginners
Blockchain courses and certifications can play an important role in helping individuals gain a comprehensive understanding of blockchain technology and its applications. By completing these courses, individuals can develop technical skills, stay current with industry developments, enhance their career opportunities and increase their earning potential. Here are seven blockchain courses and certifications for beginners. INE’s Blockchain Security INE’s Blockchain Security course is an online course offered by Internetwork Expert (INE) that provides a comprehensive overview of the security aspects of blockchain technology. The course covers various topics such as consensus algorithms, cryptography, network security, smart contract security, and blockchain attacks …
Decentralization / Feb. 2, 2023
Wear-to-earn NFTs target the billion-dollar fashion industry
The rise of the Metaverse and Web 3.0 are set to disrupt multiple sectors including the billion-dollar global fashion industry. As the world moves from physical to digital, traditional fashion design can transform into virtual wearables that can be leveraged in both augmented reality (AR) and in real life. Megan Kaspar, managing director at Magnetic Capital and member of Red DAO — a fashion-focused decentralized autonomous organization — told Cointelegraph she believes that digital fashion nonfungible tokens, or NFTs, will be the largest NFT category of Web 3.0: “Digital fashion NFTs include clothing, shoes, jewelry, accessories and more that can …
Adoption / Dec. 1, 2021