安徽11选5彩票平台:以太坊基金会资助智能合约方面的研究人员

安徽25选5最新开奖结果 www.r9xk.cn 2019-3-7 21:48


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

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

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

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

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

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

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

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

“因为智能合同是可自我执行的,而且是永久的,所以关键是这些合同只能按照它们的确切意图来执行。DeepSea语言将允许程序员使用正式验证来添加安全措施,以确保代码完全符合规范?!?br>
正式验证指的是“利用数学证明来验证代码实现正确性的过程”,据报道最初是在NASA火星探测器和其他硬件系统中实现的,新闻稿将其描述为“关键任务”。

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

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

相关新闻
  • 噩耗!权健大将开场受伤被担架抬下场 亚冠也凉凉? 2019-02-17
  • 李鹏国的行为是对善良的一种打击,暴露了资本主义的道貌岸然的虚伪本质,女白领的同情心是值得赞扬的,只有不够,没有毛病 2019-02-17
  • 陈飞宇出席Vogue Film时装电影展 潮酷少年初长成 2018-11-18
  • 一日禅:当下不虚度 人生可无悔 2018-11-18
  • 世青赛:连扳5球完成超级大逆转,英格兰5 2018-08-23
  • 炎炎夏日要怎么养生? 这些妙招不错! 2018-08-23
  • 高清:2016中法男篮对抗赛 中国队75 2018-08-22
  • 回复@看着就想笑:真有点赞机,还不点个百八十个赞 2018-08-22
  • 中共山西省委组织部公示 2018-08-14
  • 俄海军有70至100艘军舰常年在各大洋航行 2018-08-14
  • 喀喇昆仑深处的壮美 中国国家地理网 2018-07-31
  • 在线教育不可“高枕无忧” 2018-07-31
  • 全国“非遗”保护工作先进名单公布 2018-07-29
  • 新疆维吾尔自治区关心下一代工作委员会 2018-07-29
  • 【亲爱的同学,去相信,去仰视,向着梦想的方向。祝愿你收获最满意的高考结果,我们期待着,当八月荷塘花开,与你在清华园再次相遇】。。。【话外音;”理想“没有了,你就 2018-07-18
  • 542| 505| 671| 932| 470| 178| 199| 352| 298| 734|