以太坊基金會資助哥倫比亞，耶魯大學研究人員的智慧合同語言工作

在復仇基金會授予的贈款，以研究在哥倫比亞大學和耶魯大學的一個新的編譯智慧合同程式語言為復仇虛擬機器（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撥款資助深海的發展。