3d走势图带连线:以太坊基金会资助哥伦比亚大学和耶鲁大学研究新的智能合约编程语言

新疆福彩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-05-11
  • 爷爷幼儿园接错孙子还带他去打针 家长老师都懵了 2019-05-11
  • 展开美丽中国的时代画卷——十九大代表聚焦生态文明建设 2019-04-24
  • 人民网评:医疗服务应该回归患者本位 2019-04-24
  • 紫光阁中共中央国家机关工作委员会 2019-04-17
  • 阿依果孜矿洞、三号矿坑让参观者为之震撼 2019-04-10
  • 24岁6个月!法国队首战11人自1930年后最年轻 2019-04-10
  • 琼结·强钦青稞酒文化节明日开幕 精彩内容抢先看! 2019-04-09
  • 西藏积极开展防沙治沙宣传 建设美丽西藏 2019-04-09
  • 也门国防部说打死250名胡塞武装人员 2019-04-08
  • 中国泛海控股集团收购Genworth公司通过美国外国投资委员会交易审查 2019-04-08
  • “一带一路”大家谈观点精选 2019-04-07
  • 调皮!野象强行冲关“出境游” 玩了两小时自己回家来 2019-04-06
  • 性格能预测寿命?4种性格有助长寿 2019-04-03
  • 波波将亲自出面游说詹姆斯?但詹皇儿子已先去洛杉矶 2019-03-30
  • 725| 337| 631| 49| 315| 576| 377| 529| 350| 392|