以太坊基金会资助智能合约研究人员

广告人工智能培训一般学什么？

X

以太坊基金会向哥伦比亚大学和耶鲁大学的研究人员拨款，以在以太坊虚拟机 (EVM) 中编写一种新的智能合约编程语言。 Cointelegraph 于 3 月 6 日爆料。

这笔赠款的受益者是一个名为 DeepSea 的智能合约研发项目，该项目由哥伦比亚大学计算机科学助理教授顾荣辉教授与耶鲁大学的研究人员合作发起。 Gu 还是区块链安全公司 CertiK 的联合创始人，该公司也是该项目的参与者以太坊美元价格以太坊美元价格，该项目在去年 10 月由 Binance Labs 牵头的一轮融资中筹集了“数百万”资金。

新的赠款是基金会第五轮融资的一部分——根据以太坊基金会赠款计划——致力于支持以太坊 2.0 和第 2 层扩展工作。

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

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

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

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

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

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