以太坊基金会携手哥伦比亚大学与耶鲁大学，共推智能合约开发研究_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

以太坊基金会携手哥伦比亚大学与耶鲁大学，共推智能合约开发研究

2019-03-08 01:51:00

以太坊基金会支持哥伦比亚大学与耶鲁大学开发智能合约技术

据6日（当地时间）报道，以太坊基金会决定对开发新型智能合约编程语言的项目"DeepSea"提供资助。该项目旨在为以太坊虚拟机（EVM）开发新的编程语言。

自去年年初以来，以太坊基金会一直通过资助计划为以太坊2.0和Layer2扩展研究提供财政支持。DeepSea项目被选为第五轮资助对象。该项目由哥伦比亚大学计算机科学副教授Ronghui Gu领导，耶鲁大学研究团队也参与其中。

DeepSea项目背景与技术特点

Gu教授是区块链安全公司CertiK的联合创始人，该公司在去年10月由Binance Labs主导的融资轮中筹集了数百万美元。DeepSea项目的名称源自耶鲁大学计算机科学系Xiao教授团队开发的智能合约编程语言。

DeepSea编程语言最初是为系统软件执行而开发的，针对智能合约的漏洞和相关风险，特别加强了保护功能。Gu副教授表示："智能合约具有自主执行和持久性的特点，因此确保其按预期准确执行至关重要。DeepSea通过采用形式化验证（formal verification）这一数学方法，为代码的准确执行增加了安全保障。"

以太坊基金会的资助计划

以太坊基金会通过资助计划持续投资于对生态系统具有长期影响的社区资源。去年10月，基金会通过第四轮资助计划提供了286万美元的资金支持。12月，以太坊创始人Vitalik Buterin又为有前景的项目提供了约30万美元，切实推动了以太坊网络的发展。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文