CertiK发行DeepSEA编程语言手册

专注于区块链安全的公司CertiK为其以智能合约为中心的DeepSEA编程语言发布了原型和语言参考手册。

CertiK及其相关的R＆D研究企业都已从Binance Labs，Qtum和Ethereum Foundation等公司获得了融资。

本周初发布的DeepSEA演示，语言和编译器参考手册旨在为开发人员提供对语言结构的详细且面向解决方案的理解。

DeepSEA是一种智能合约功能编程语言，最初是由耶鲁大学计算机科学系主任Certik的共同创始人Zhong Shao教授和哥伦比亚大学计算机科学助理教授Ronghui Gu的研究实验室开发的。

尽管DeepSEA最初是为部署系统软件而构建的，但核心团队后来对其进行了修改，以用于智能合约和区块链契约的官方验证和审核。

他们的观点是，主流语言不适合用于准确防御与可能的智能合约违规相关的威胁所需的标准验证过程。

这些谚语说，这些威胁与智能合约的自动且不可更改的功能有关。“代码就是法律，”顾教授在过去的几年中通过强调其先前在关键业务硬件系统（例如NASA火星漫游者）中的安装，为DeepSEA奠定了基础。

学者们批评诸如Solidity and Move（Facebook）之类的编程语言，并争辩说DeepSEA更加安全并且更易于实现意图。他们声称通过利用数学证据（官方验证）可以保证区块链框架“无错误且不受黑客攻击。”

在去年11月开始测试后，该公司即将于2020年春季推出CertiK Chain Mainnet 1.0的开始之前就已经推出了该产品。

主网与以太坊完全互通，为流行的Solidity智能合约在没有争议的情况下运行铺平了道路，并为Cosmos生态系统铺平了道路，其目的是利用分散的资金和抵押等众多应用。

顾教授表示，程序员打算在2020年晚些时候将DeepSEA与CertiK Chain合并。韩国主要的加密货币交易所Coinone还与CertiK合作，共同审计企业，并采取保护措施来应对违反代码安全性的行为。

—-

原文链接：https://www.cointrust.com/market-news/certik-publishes-deepsea-programming-language-handbook

原文作者：Kelly Cromley

编译者/作者：wanbizu AI

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