在复仇基金会授予的赠款，以研究在哥伦比亚大学和耶鲁大学的一个新的编译智能合同编程语言为复仇虚拟机（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拨款资助深海的发展。
（来源： bandahai）
