Certik推出了旨在使区块链“防黑客”的语言演示

 
区块链安全公司CertiK已发布了针对其智能合约的DeepSEA编程语言的演示和语言参考手册。
CertiK及其附属的R&D学术项目均已从Binance Labs，以太坊基金会和Qtum等公司获得资助。该公司于2月21日与Cointelegraph分享了新版本的细节。
本周发布的DeepSEA演示，编译器和语言参考手册旨在为开发人员提供对该语言设计的深入而实际的见解。
适合目的的语言
DeepSEA是一种智能合约功能编程语言，最初是由耶鲁大学计算机科学系系主任钟绍教授和Certik的共同创始人，哥伦比亚大学计算机科学助理教授顾荣辉教授的研究实验室创建的。
在最初为实现系统软件而设计时，DeepSEA的开发人员后来将其重新定位为用于智能合约和区块链协议的正式验证和审核。
他们认为，现有的语言不适合用于适当防御与潜在智能合约漏洞相关的高风险所需的正式验证程序。
这些风险与智能合约的自我执行和不变特性相关联(正如“代码就是法律”的格言所具有的那样)，顾教授过去通过指出其在关键任务硬件中的较早实现来为DeepSEA辩护。系统，例如NASA火星探测器。
研究人员对诸如Solidity和Facebook的Move之类的语言提出了批评，认为DeepSEA的安全性和适用性明显更高。他们声称，通过使用数学证明(形式验证)，可以确保区块链基础设施“无错误且不受黑客攻击”。
该版本的发布是在该公司即将于2020年春季发布的CertiK Chain Mainnet 1.0之前的，该版本于去年11月发布。主网可与以太坊完全互操作，从而使现有的Solidity智能合约可以无摩擦地运行，并且可以与Cosmos网络配合使用，并且旨在用于分散式金融和抵押等多种应用。
顾教授表示，开发人员计划在今年晚些时候将DeepSEA与CertiK Chain集成。
韩国主要的加密货币交易所Coinone还与CertiK合作，对项目进行审计并针对代码安全漏洞采取预防措施。