憑借575萬美元的贈款耶魯大學領導多學科區(qū)塊鏈中心

在Algorand基金會的資助下，耶魯大學的研究人員正在領導一個跨學科的專家團隊，致力于推進區(qū)塊鏈系統(tǒng)，同時探索它們與經濟和法律的聯系。

這項為期575萬美元的5年期贈款將資助PAVE：區(qū)塊鏈系統(tǒng)的隱私，問責，驗證和經濟中心。該中心將由耶魯大學計算機科學副教授查拉蘭波斯·帕帕曼圖領導。

該中心包括來自耶魯大學，哥倫比亞大學，紐約城市學院(CCNY)和瑞士洛桑聯邦理工學院(EPFL)的計算機科學家;耶魯大學的法律和經濟學專家;以及來自哥倫比亞大學的行為金融學教授。由托馬斯·肯普納計算機科學教授兼系主任鐘紹和哥倫比亞大學計算機科學教授顧榮輝共同創(chuàng)立的專注于區(qū)塊鏈安全的公司CertiK也將參加該中心。

“我很高興開始與來自耶魯，哥倫比亞，CCNY，EPFL和CertiK的才華橫溢的同事合作，推進耶魯大學阿爾戈蘭卓越中心PAVE的目標，”Papamanthou說。“PAVE的顯著特征是使用密碼學，分布式系統(tǒng)和形式驗證推進區(qū)塊鏈系統(tǒng)的基礎，同時探索這些基礎與經濟和法律的具體聯系。我們感謝Algorand基金會為為期5年的研究，教育和推廣計劃提供支持，并期待與他們合作。

該團隊是10個名為Algorand卓越中心的團隊之一，每個中心都旨在建立和運行多學科中心，目的是推進區(qū)塊鏈和加密貨幣的研究并支持應用教育。推廣區(qū)塊鏈技術和加密貨幣的Algorand基金會今天宣布了獲獎者。

“PAVE的成立推進了我們的目標，即通過廣泛的合作來增強我們在網絡安全方面的優(yōu)勢。它將耶魯大學的CS部門定位為該領域的明顯領導者，“SEAS院長杰弗里布洛克說。“該中心的跨學科方法也使CS成為整個大學研究人員的寶貴合作伙伴。

耶魯領導的項目的總體目標是采用多方面的方法，旨在加速區(qū)塊鏈的部署和采用，區(qū)塊鏈是一個分散的，社區(qū)維護的數據庫，旨在可靠地存儲數字信息。PAVE的成員將在五個領域開展工作，將區(qū)塊鏈領域很少合作的領域聚集在一起。這種方法將解決區(qū)塊鏈的復雜性質。例如，在 PAVE 提出的隱私部署技術中，有一些法律問題需要考慮。同樣，該中心在證明系統(tǒng)和共識技術方面的工作將涉及某些經濟方面。這五個方面是：

區(qū)塊鏈設計。區(qū)塊鏈在近15年前出現，但PAVE成員表示，關于它們如何創(chuàng)建的研究只是觸及了表面。在區(qū)塊鏈技術和密碼學專家的帶領下，PAVE將開發(fā)最先進的區(qū)塊鏈設計和協(xié)議，具有隱私性，公平性和可擴展性。

區(qū)塊鏈的形式驗證。為了提高區(qū)塊鏈架構(包括Algorand的架構)的安全性，具有編程語言專業(yè)知識的PAVE研究人員將研究共識協(xié)議和智能合約的形式驗證(一種在數學上確保系統(tǒng)按預期運行的方法)。

區(qū)塊鏈與經濟學的相互作用。在哥倫比亞大學商學院的PAVE研究人員的領導下，PAVE將與計算機科學主要研究人員合作，研究區(qū)塊鏈系統(tǒng)幾個基礎組件的經濟方面。

區(qū)塊鏈和法律的相互作用。在計算機科學和法律的相互作用中工作的PAVE研究人員將帶領中心參與者進行雙管齊下的研究議程。他們將探討諸如智能合約執(zhí)行，軟件開發(fā)人員和共識參與者的責任以及隱私和監(jiān)管的相互作用等主題。

區(qū)塊鏈教育，外展和更廣泛的影響。作為該項目的一部分，PAVE研究人員將在各級教學中開發(fā)區(qū)塊鏈和加密貨幣領域的新課程，以促進區(qū)塊鏈技術的使用，造福社會。

除帕帕曼索外，該中心的成員還包括耶魯大學、鐘紹、瓊·費根鮑姆和本·菲施。來自哥倫比亞大學，塔爾·馬爾金，埃蘭·特羅默和古爾·胡伯曼;羅薩里奧·熱納羅，來自紐約城市學院(CCNY);來自瑞士洛桑聯邦理工學院(EPFL)的布萊恩·福特;以及 CertiK 的正式驗證團隊。