玩币族移动版

　　译者：玩币族Sally

　　以太坊基金会向哥伦比亚大学和耶鲁大学的研究人员提供了一笔赠款，用于在以太坊虚拟机(EVM)中编写一种新的智能合约编程语言。3月6日，Cointelegraph发布了这一消息。

　　这笔资金的受益者是一个名为“深海”(DeepSea)的智能合约研发项目，由哥伦比亚大学计算机科学助理教授顾荣辉(Ronghui Gu)教授牵头，与耶鲁大学的研究人员合作。顾还是区块链安全公司CertiK的联合创始人，该公司也是去年10月在币安实验室牵头的一轮融资中融资“数百万”的项目的参与者之一。

　　新的捐款是基金会第五次融资浪潮的一部分—在以太坊基金会赠款计划的支持下—致力于支持以太坊 2.0的扩展工作。

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

　　尽管该语言最初是为系统软件的实现而设计的，但新闻稿指出，围绕智能合约漏洞的高风险为将DeepSea的“保护功能”扩展到该领域提供了新的动力。正如顾教授所概述的:

　　“因为智能合约是可以自我执行的，而且是永久性的，所以关键是这些合约只能按照它们的确切意图来执行。”DeepSea语言将允许程序员使用正式的验证来添加安全措施，以确保代码完全符合规范。

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

　　据报道，这个过程现在正在被扩展到软件系统中使用，比如CertiK对智能合约和区块链协议的审计，它可以用于在将DeepSea编译到EVM时防止可能引入的错误。

　　据去年12月的报道称，开源的区块链项目Qtum曾向顾教授的实验室拨款40万美元，资助DeepSea的开发。