您的位置:首页>新闻中心
以太坊基金会资助哥伦比亚,耶鲁大学研究人员的智能合同语言工作
时间:2019-03-07 浏览次数:11

以太坊基金会已向哥伦比亚大学和耶鲁大学的研究人员颁发赠款,用于将新的智能合约编程语言编入以太坊虚拟机(EVM)。该发展是在3月6日与Cointelegraph分享的新闻稿中宣布的。


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


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


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


虽然该语言最初是为实现系统软件而设计的,但新闻稿指出,围绕智能合约漏洞的高风险为将DeepSea的“保护功能”扩展到该领域提供了新的动力。顾教授概述了:


“因为[智能]合同是可自行执行的并且是永久性的,所以这些合同的履行至关重要。 DeepSEA语言将允许程序员添加安全措施,以确保代码完全符合其规范,使用形式验证。“


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


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

据12月报道,开源区块链项目Qtum此前曾向Gu教授的实验室授予40万美元的资金,用于资助DeepSea的开发。




文稿来源:cointelegraph

交易平台:https://koin-exchange.com/home                                                              Email:info@koinexchange.net
  
犀牛云提供企业云服务