CertiKDeepSEA编译器现已全面支持Conflux生态系统

2020年末，区块链底层网络Conflux宣布启动生态系统孵化与扶持计划。

近日，DeepSEA编译器1.1版本正式发布。

作为CertiK自主开发的可用于编写可验证智能合约的新语言，DeepSEA被选为Conflux生态系统扶持项目的其中之一。

继DeepSEA编译器支持以太坊、蚂蚁链，目前DeepSEA编译器也已全面支持Conflux生态系统！

现在，任何人都可以使用DeepSEA编译器在Conflux网络上直接编写智能合约。

Conflux鼓励区块链项目使用其公链或增加支持，加入Conflux生态。旨在吸引参与者在快速、安全、无需许可的 Conflux 网络上构建DApp及其他基础设施。

Conflux致力于通过资助那些有远见的企业家、工程师和各类项目及团队，以推动Conflux网络生态系统的软件开发、研究、教育和社区建设方面的创新。

DeepSEA与Conflux系统集成

DeepSEA致力于建立一个跨平台的可靠智能合约框架。

该框架为各种智能合约平台（如以太坊，超级账本和Conflux）提供无错误的程序编译器，这确保了在编译过程中不会引入新的漏洞和错误。

Conflux旨在将DeepSEA与Conflux系统集成，为开发人员提供一个利用Coq证明助手的开发环境。

即使是未经正式验证的编程语言，在使用DeepSEA编译器后端之后也可大大降低产生编译错误的风险。

因此，当运用DeepSEA的智能合约成功被部署在Conflux网络上时，其被黑客攻击的可能性也将减少，这意味着它将拥有更多的安全保障。

DeepSEA如何使Conflux网络生态系统和技术受益？

DeepSEA语言提供了一种编写安全智能合约的方法。

它连接到交互式证明助手（而不是那些受限制的自动证明器），这意味着工程师可以在开发过程中证明合约的安全性和正确性。

同时，DeepSEA对字节码的编译也被证明是正确的。

这种性能在区块链领域是前所未有的，这也意味着DeepSEA所编译的智能合约将完全值得信赖。

当此种信任度与Conflux网络固有的PoW信任度相结合，就形成了最终的安全智能合约生态系统。

CertiK建议通过在DeepSEA中构建并完全验证一个DeFi合约样本来证明DeepSEA的功能。而这一行为的结果不仅证明了“基本安全”合约的可能性，还证明了Conflux网络是部署DeFi的最安全的场所之一。

DeepSEA不仅使用简单，并且中间语言比EVM字节码更加高级。

区块链生态系统必须要建立在信任的基础上。

DeepSEA项目为攻克所有可能出现的问题与隐患而诞生，这将极大的支持区块链生态。

复制链接：

【https://certik.org/research/deepsea/】至浏览器即可查看DeepSEA最新信息。

—-

编译者/作者：CertiK中文社区

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。