网赚论坛

标题: Ethereum基金会资助哥伦比亚大学、耶鲁大学研究人员在智能合同语言方面的工作 ... [打印本页]

作者: ncgt28 时间: 2020-6-12 12:33
标题: Ethereum基金会资助哥伦比亚大学、耶鲁大学研究人员在智能合同语言方面的工作 ...

Ethereum基金会向哥伦比亚大学和耶鲁大学的研究人员提供了一笔赠款，用于在Ethereum虚拟机(EVM)中编写一种新的智能合同编程语言。3月6日，Cointelegraph发布了这一消息。
该赠款的受益者是一个名为DeepSea的智能合约研发项目，由哥伦比亚计算机科学助理教授Ronghui Gu教授与耶鲁大学的研究人员合作发起。Gu还是区块链安全公司CertiK的联合创始人，该公司也是该项目的参与者之一，该项目在去年10月由Binance Labs领导的一轮融资中筹集了“数百万”。
新的补助金是基金会第五次融资的一部分——在Ethereum基金会赠款计划的支持下——致力于支持Ethereum 2.0和第2层的扩展工作。
DeepSea是以一种新的智能合同编程语言命名的，这种语言最初是由耶鲁大学计算机科学系系主任、Gu在CertiK的共同创始人Shao教授的研究实验室发明的。
虽然该语言最初是为实现系统软件而设计的，但新闻稿指出，围绕智能合约漏洞的高风险为将DeepSea的“保护功能”扩展到该领域提供了新的动力。正如Gu教授所概述的:
“因为智能合同是可自我执行的，而且是永久的，所以关键是这些合同只能按照它们的确切意图来执行。DeepSea语言将允许程序员使用正式验证来添加安全措施，以确保代码完全符合规范。”
正式验证指的是“利用数学证明来验证代码实现正确性的过程”，据报道最初是在NASA火星探测器和其他硬件系统中实现的，新闻稿将其描述为“关键任务”。
据报道，这个过程现在正在被扩展到软件系统中使用，比如CertiK对智能合同和区块链协议的审计，它可以用于在将DeepSea编译到EVM时防止可能引入的错误。
据去年12月的报道，开源的区块链项目Qtum曾向Gu教授的实验室拨款40万美元，资助DeepSea的开发。

英文来源：https://cointelegraph.com/news/ethereum-foundation-funds-columbia-yale-researchers-work-on-smart-contract-language
编译：Toxic
稿源（译）：比特币之家
备注：比特币之家稿源文章，未经授权谢绝转载。本文为作者个人观点，不代表本站立场！

欢迎光临网赚论坛 (http://www.caifuba.net/)