以太坊基金會資助哥倫比亞耶魯大學研究人員

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

在复仇基金会授与的赠款，以研究在哥伦比亚大学和耶鲁大学的一个新的编译智能合同编程语言为复仇虚拟机（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以太坊今日价格

宝宝喝奶粉上火怎么办

孩子不爱吃饭

婴儿感冒咳嗽吃什么药