15选5开奖结果今天:以太坊基金会资助哥伦比亚大学和耶鲁大学研究人员编写新智能合约

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



以太坊基金会资助哥伦比亚大学和耶鲁大学研究人员编写新智能合约

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

这笔资金的受益者是一个名为Deepsea的智能合同研发项目,由哥伦比亚大学计算机科学助理教授Ronghui与耶鲁大学的研究员合作。Ronghui也是区块链安全公司CertiK的联合创始人,CertiK也是该项目的参与者之一,该项目去年10月在由Binance实验室牵头的融资中筹集了几百万。

这笔投资是Ethereum基金会赠款计划第五波融资的一部分,将致力于支持Ethereum 2.0和第2层的扩展工作。

Deepsea是以一种新的智能合同编程语言命名的,这种语言最初是由耶鲁大学计算机科学系系主任、CertiK的联合创始人Ronghui发明的。

该语言最初是为了系统软件的实现而设计的,因为智能合同是可以自我执行的,而且是永久性的,所以这些合同只能按照它们的意图来执行。但新闻稿指出,围绕智能合同漏洞的风险很高,为扩展Deepsea的?;ぬ匦蕴峁┝诵碌亩?。该言将允许程序员使用正式验证来添加安全措施,以确保代码完全符合规范。

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

据报道,该过程现在被扩展用于软件系统,如CertiK对智能合同和区块链协议的审计,并且可以用来防止在编写Deepsea时可能引入的bug。

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

相关新闻
  • OPPO宣布新人事任命:副总裁吴强全面负责海外市场 2019-05-14
  • “香会”,中国代表团驳斥美防长言论 2019-05-14
  • 广东省全国第二次污染源普查 2019-05-07
  • 中国三大球备战里约奥运 2019-04-26
  • 由于人们“不同经济地位和政治地位所构成的等级差别”,只能说是阶层。阶级是相互对立统一的二类人群。统治阶级与被统治阶级、剥削和压迫阶级与被剥削被压迫阶级,是... 2019-04-26
  • 美国依据“301”调查发布对中国产品征收关税清单 2019-04-16
  • “糖+胖”危害大,医生教你避风险 2019-04-16
  • 长治市争创全国禁毒示范城市 2019-04-12
  • 事实告诉中国,与外界有限交流,是保障国民经济安全的不二法门。换句话说,必须独立自主、自力更生、艰苦奋斗、勤俭建国。那种疯狂消耗型需求经济不适合中国。 2019-04-12
  • 脆皮-热门标签-华商生活 2019-04-05
  • 谜一般的楼市,需要更脚踏实地的你 ——凤凰网房产广州 2019-04-05
  • 超200种常用处方药有致抑郁可能 2019-03-27
  • 噩耗!权健大将开场受伤被担架抬下场 亚冠也凉凉? 2019-02-17
  • 李鹏国的行为是对善良的一种打击,暴露了资本主义的道貌岸然的虚伪本质,女白领的同情心是值得赞扬的,只有不够,没有毛病 2019-02-17
  • 陈飞宇出席Vogue Film时装电影展 潮酷少年初长成 2018-11-18
  • 213| 877| 953| 962| 451| 453| 654| 794| 612| 408|