🏆 Conflux Ecosystem Grant Winner: DeepSEA by CertiK

DeepSEA was selected as a winner of the Conflux Ecosystem Grant. The grants program is focused on building the Conflux Network’s decentralized future through DApps and infrastructure on their fast, secure, and permissionless next-generation blockchain. Their aim is to fund entrepreneurs, engineers, and evangelists who have the vision to catapult innovations in software development, research, education, and community building for the Conflux Network ecosystem.

Why DeepSEA?

DeepSEA is committed to building a cross-platform and reliable smart contract framework, which provides a bug-free program compiler for various smart contract platforms such as Ethereum, Hyperledger, and now the Conflux Blockchain. This ensures that no new bugs and errors are introduced during the compilation process. Conflux aims to integrate DeepSEA with the Conflux system to provide developers with a development environment that leverages the Coq proof assistant, in order to provide strong security guarantees and greatly reduce the possibility of hacker attacks when the smart contracts are deployed on the Conflux Network.

How can DeepSEA benefit the Conflux Network ecosystem/technology?

The DeepSEA language provides a way to write high-assurance secure smart contracts. The fact that it connects to an interactive proof assistant (rather than an inherently limited automatic prover) means that it is possible to prove arbitrarily complex security and correctness properties about the contracts during the development process.

At the same time, the compilation to bytecode is formally proven to be correct, too. Such a combination is unmatched in the blockchain world, which means DeepSEA smart contracts are trustworthy. Such kind of trustworthiness, when combined with the inherent PoW trustworthiness of the Conflux Network, forms the ultimate secure smart contract ecosystem.

As part of this project, we propose to demonstrate DeepSEA’s power by building and fully verifying a sample DeFi contract in DeepSEA. This will be a dramatic achievement that showcases the possibility of “fundamentally secure” contracts and argues that the Conflux Network should be one of the most secure places to deploy DeFi.

Additionally, the DeepSEA compiler backend can be used by anyone who wants to write a smart contract language for the Conflux Network. It is easy to use and the intermediate language is much higher-level than EVM bytecode, so even for programming languages not formally verified, using our backend will still reduce the risks of compiler bugs substantially.

âś… Follow us on Telegram: https://t.me/certikfoundation
âś… Follow us on Twitter: https://twitter.com/certikorg

--

--

--

Guardian of the Blockchain

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

STACK OVERFLOW

OS Design: I/O optimizations

Micro-partitions in Snowflake

Is There Any Free API To Get Metal Rates In Swiss Franc?

OSA / RTOS — Quick Intro — Part 2/3

Programming in Cython:

READ/DOWNLOAD$ Asterisk: The Definitive Guide: Ope

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Shentu Foundation

Shentu Foundation

Guardian of the Blockchain

More from Medium

THE TOKENOMICS AND UNIQUENESS OF DOAIBU

The Baby Doge Coin Perpetual Futures on Deri Protocol

A basic intro to kyve network

Interchain Communication