以太坊基金会资助哥伦比亚及耶鲁大学研究人员的智能合约语言开发工作

暴走时评：以太坊基金会已向哥伦比亚大学和耶鲁大学的研究人员捐赠了一笔款项，该赠款的受益方是一个名为DeepSea的智能合约研发项目，由哥伦比亚计算机科学助理教授顾荣辉教授与耶鲁大学的研究人员合作发起。DeepSea以一种新的智能合约编程语言命名，允许程序员利用形式化验证添加安全措施，以确保代码完全符合其规范。

翻译：Maya

以太坊基金会已向哥伦比亚大学和耶鲁大学的研究人员捐赠了一笔款项，用于将新的智能合约编程语言编入以太坊虚拟机（EVM）。Cointelegraph在3月6日发布的新闻稿中获悉该消息。

该赠款的受益方是一个名为DeepSea的智能合约研发项目，由哥伦比亚计算机科学助理教授顾荣辉教授与耶鲁大学的研究人员合作发起。顾教授还是区块链安全公司CertiK的联合创始人，也是去年10月获得由Binance Labs领投的数百万资金的项目参与方之一。

新的赠款是基金会第五次融资的一部分—在以太坊基金会资助项目的支持下—致力于支持以太坊2.0和第2层扩容解决方案。

DeepSea以一种新的智能合约编程语言命名，最初由邵教授的研究实验室创建，他是耶鲁大学计算机科学系主任和CertiK联合创始人。

虽然该语言最初是为实现系统软件而设计的，但新闻稿指出，对围绕智能合约漏洞的高风险的考虑为将DeepSea的“保护功能”扩展到该领域提供了新的动力。顾教授总结称：

“因为智能合约是可以自动执行且永久性的，所以确保合约准确按照计划执行是至关重要的。DeepSEA语言将允许程序员利用形式化验证添加安全措施，以确保代码完全符合其规范。”

形式化验证是指“利用数学证明来验证代码实现的正确性的过程”，并且据报道最初在NASA Mars Rover和其他硬件系统中实施，新闻稿将其描述为“关键任务”。

据报道，该过程现在被扩展到软件系统，如CertiK对智能合约和区块链协议的审计，可用于防止在将DeepSea编译到EVM时可能带来的错误。

据12月报道，开源区块链项目Qtum此前曾向顾教授的实验室授予40万美元的资金，用于资助DeepSea的开发。

作者：Marie Huillet | 编译者：Maya | 来源：cointelegraph