憑借575萬(wàn)美元的贈(zèng)款耶魯大學(xué)領(lǐng)導(dǎo)多學(xué)科區(qū)塊鏈中心

在Algorand基金會(huì)的資助下，耶魯大學(xué)的研究人員正在領(lǐng)導(dǎo)一個(gè)跨學(xué)科的專(zhuān)家團(tuán)隊(duì)，致力于推進(jìn)區(qū)塊鏈系統(tǒng)，同時(shí)探索它們與經(jīng)濟(jì)和法律的聯(lián)系。

這項(xiàng)為期575萬(wàn)美元的5年期贈(zèng)款將資助PAVE：區(qū)塊鏈系統(tǒng)的隱私，問(wèn)責(zé)，驗(yàn)證和經(jīng)濟(jì)中心。該中心將由耶魯大學(xué)計(jì)算機(jī)科學(xué)副教授查拉蘭波斯·帕帕曼圖領(lǐng)導(dǎo)。

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

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

該團(tuán)隊(duì)是10個(gè)名為Algorand卓越中心的團(tuán)隊(duì)之一，每個(gè)中心都旨在建立和運(yùn)行多學(xué)科中心，目的是推進(jìn)區(qū)塊鏈和加密貨幣的研究并支持應(yīng)用教育。推廣區(qū)塊鏈技術(shù)和加密貨幣的Algorand基金會(huì)今天宣布了獲獎(jiǎng)?wù)摺?/p>

“PAVE的成立推進(jìn)了我們的目標(biāo)，即通過(guò)廣泛的合作來(lái)增強(qiáng)我們?cè)诰W(wǎng)絡(luò)安全方面的優(yōu)勢(shì)。它將耶魯大學(xué)的CS部門(mén)定位為該領(lǐng)域的明顯領(lǐng)導(dǎo)者，“SEAS院長(zhǎng)杰弗里布洛克說(shuō)。“該中心的跨學(xué)科方法也使CS成為整個(gè)大學(xué)研究人員的寶貴合作伙伴。

耶魯領(lǐng)導(dǎo)的項(xiàng)目的總體目標(biāo)是采用多方面的方法，旨在加速區(qū)塊鏈的部署和采用，區(qū)塊鏈?zhǔn)且粋€(gè)分散的，社區(qū)維護(hù)的數(shù)據(jù)庫(kù)，旨在可靠地存儲(chǔ)數(shù)字信息。PAVE的成員將在五個(gè)領(lǐng)域開(kāi)展工作，將區(qū)塊鏈領(lǐng)域很少合作的領(lǐng)域聚集在一起。這種方法將解決區(qū)塊鏈的復(fù)雜性質(zhì)。例如，在 PAVE 提出的隱私部署技術(shù)中，有一些法律問(wèn)題需要考慮。同樣，該中心在證明系統(tǒng)和共識(shí)技術(shù)方面的工作將涉及某些經(jīng)濟(jì)方面。這五個(gè)方面是：

區(qū)塊鏈設(shè)計(jì)。區(qū)塊鏈在近15年前出現(xiàn)，但PAVE成員表示，關(guān)于它們?nèi)绾蝿?chuàng)建的研究只是觸及了表面。在區(qū)塊鏈技術(shù)和密碼學(xué)專(zhuān)家的帶領(lǐng)下，PAVE將開(kāi)發(fā)最先進(jìn)的區(qū)塊鏈設(shè)計(jì)和協(xié)議，具有隱私性，公平性和可擴(kuò)展性。

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

區(qū)塊鏈與經(jīng)濟(jì)學(xué)的相互作用。在哥倫比亞大學(xué)商學(xué)院的PAVE研究人員的領(lǐng)導(dǎo)下，PAVE將與計(jì)算機(jī)科學(xué)主要研究人員合作，研究區(qū)塊鏈系統(tǒng)幾個(gè)基礎(chǔ)組件的經(jīng)濟(jì)方面。

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

區(qū)塊鏈教育，外展和更廣泛的影響。作為該項(xiàng)目的一部分，PAVE研究人員將在各級(jí)教學(xué)中開(kāi)發(fā)區(qū)塊鏈和加密貨幣領(lǐng)域的新課程，以促進(jìn)區(qū)塊鏈技術(shù)的使用，造福社會(huì)。

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