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

新疆福彩35选7开奖时间 www.lo8y.cn Image [3].png

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

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

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

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

尽管该语言最初是为系统软件的实现而设计的,但新闻稿指出,围绕智能合约漏洞的高风险为将DeepSea的“?;すδ堋崩┱沟礁昧煊蛱峁┝诵碌亩?。正如顾教授所概述的:

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

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

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

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

译者:价值区块链SallyQi
原文链接:https://cointelegraph.com/news/ETHereum-foundation-funds-columbia-yale-researchers-work-on-smart-contract-language


发表评论

◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。

分享:

新疆福彩35选7开奖时间

支付宝

微信

  • 自然型社会和规则性社会,是会随着科技的改变而发生改变的,当然只有规矩也就是制度才能规范人的行为,所以国家是不会灭亡的,但国家的形式是会发生改变的。 2019-03-14
  • 外媒炒作中国对发展中国家设置"债务陷阱" 2019-03-14
  • 穿越千年 感受秦风全国百家重点网媒记者漫步酉阳桃花源 2019-01-02
  • 中文观潮:等待萨拉赫出场 2019-01-02
  • 719| 277| 677| 337| 577| 220| 113| 796| 183| 321|