人工智能的应用带来便利网络

以太坊基金会资助哥伦比亚，耶鲁大学研究人员的智能合同语言工作

在复仇基金会授予的赠款，以研究在哥伦比亚大学和耶鲁大学的一个新的编译智能合同编程语言为复仇虚拟机（EVM）。该发展是在3月6日与Cointelegraph分享的稿中宣布的。

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

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

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

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

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

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

据报道

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

正如报道中月，开源blockchain项目Qtum先前授予顾教授实验室的$ 400,000拨款资助深海的发展。

以太坊浏览器耶鲁大学宣传片区块链技术耶鲁大学校训耶鲁大学美术馆区块链应用区块链游戏区块链是什么耶鲁大学公开课耶鲁大学申请书英文版以太坊官查询耶鲁大学图片以太坊最新行情耶鲁大学排名以太坊钱包以太坊行情耶鲁大学骷髅会区块链投资骗局区块链dapp区块链的中国骗局耶鲁大学学费以太坊价格以太坊钱包版下载区块链是什么意思耶鲁大学音乐学院以太坊价格走势区块链怎么赚钱区块链是什么通俗解释以太坊钱包imtoken以太坊今日价格

小孩不爱吃饭怎么回事小孩脸色发黄丁桂薏芽健脾凝胶价格风寒和病毒性感冒的区别

孩子晚上睡觉出汗

玉林湿毒清胶囊有什么功效