哥大和IBM丟擲首輪種子基金 這三家區塊鏈專案入選

——顧榮輝，哥倫比亞大學計算機科學系助理教授，CertiK聯合創始人

美國哥倫比亞大學和科技巨頭IBM公司於2018年聯合建立了“哥倫比亞—IBM區塊鏈創新中心”，旨在為區塊鏈科技領域的創新、教育和科研提供資源支援。該中心的成立是IBM與哥倫比亞大學在70多年科研合作歷史上的另一重要里程碑 。

近日，哥倫比亞大學科研負責人Garud Lyengar宣佈了三個獲得哥倫比亞-IBM區塊鏈中心的種子基金專案，分別為：機器學習和經濟局勢、激勵機制和區塊鏈、DeepSEA。這三個專案在當今區塊鏈科技的學術研究和實用領域都有著舉足輕重的價值。其中，DeepSEA專案是由哥倫比亞大學計算機科學系助理教授顧榮輝主導，以DeepSEA-Blockchain框架構建可驗證的智慧合約，著眼於區塊鏈安全，計劃設計並開發針對超級賬本（Hyperledger）的函式式智慧合約程式語言，通過引入形式化驗證技術，實現對智慧合約安全性的證明。

形式化驗證也是顧榮輝教授所聯合創始的美國軟體公司CertiK的核心技術。CertiK使用數學模型來驗證軟體的可靠性與安全性 。這種技術之前常被應用在航空航天等高安全需求的領域。區塊鏈的繁榮推動了自主執行的智慧合約的發展 。這些智慧合約可以自主操作使用者的數字資產，因而成為黑客惡意攻擊的焦點。

據統計，2018年共發生了價值約10億美元的數字貨幣被盜事件。對此，顧榮輝教授指出，區塊鏈專案如今迫切需要更加可靠的安全防禦手段。CertiK公司為區塊鏈企業提供包括智慧合約審計、定製化安全防禦、滲透測試等的一站式安全解決方案，迄今已成功防護了超過12億美元的數字資產，驗證了所有主要協議中的150多個知名專案。此次DeepSEA科研專案將探索如何把形式化驗證技術應用於區塊鏈領域，確保使用者的數字資產安全。哥倫比亞-IBM創新中心的科研基金將助力DeepSEA專案的開發和推廣，該專案將計劃與IBM的研發部門進行深度合作，進一步整合DeepSEA語言和超級賬本生態 。

顧教授最後補充道，“DeepSEA-Blockchain平臺將允許軟體開發者定義合約的行為約束。比如，可以新增‘我的賬戶餘額不會消失’之類的安全約束。感謝IBM的支援，我們會用行動踐行我們保護區塊鏈安全的堅定承諾。”