首页
 > 

移动应用

 > 正文

以太坊基金会资助哥伦比亚大学和耶鲁大学研究新的智能合约编程语言

  • 编辑时间: 2020-05-12

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

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

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

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

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

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

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

据报道,这个过∨程现在正在被扩展到软件系统×中使用,比如Ce○rti☆K对智能合♀约和区块链协议的审计,它可以用▁▂▃▄于在将…DeиepSea编译到EVM时防止可能引入的错误。┐

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

译者:┙价值区块链SallyQi
原文链接:https://cointelegraph.com/new◈s/ETHereu※m-fo☉undation-funds-columbia-yale-researchers-work-on-smart-contract-language


&↘#۞xf012f; 分享