ALG:Algorand團隊背后：最年輕的圖靈獎得主Shafi Goldwasser_RAN

人在鏈圈，遵從本心、順其自然地“鏈賺”。我有“4PAI”計劃：實在參與的“行動派”系列、興致研討的“隨心Pie”系列、全球引智的“薏米Pie”系列、學習進階的“學緣Pie”系列。本文是“薏米Pie”系列第16篇，敬請指正。

Algorand是由密碼學先驅、圖靈獎得主、麻省理工學院教授西爾維奧·米卡利創建的科技公司，旨在解決“區塊鏈不可能三角問題”，以去中心化、可延展性和安全性的特色技術，賦能“無摩擦金融”，支持“無國界經濟”。作為基于純粹的權益證明、無需許可、即時交易終結、沒有分叉的明星公鏈，Algorand于2019年6月主網上線、同年11月推出Algorand2.0協議，顯示了強大的技術實力和卓越的網絡性能。

“謀定后動，知止有得”。得益于創始人米卡利教授的個人魅力和學術聲譽、Algorand公鏈的技術實力與卓越性能，Algorand成功邀請了13位多領域、多學科的學術與實踐大師級專家作為顧問，借力外腦共謀事業發展。按Algorand分類，其中顧問5人、科學顧問4人、數字代幣顧問4人。筆者撰寫《Algorand顧問們》系列文章，介紹與Algorand結緣、為新興區塊鏈領域貢獻才智的大師們。

作為《Algorand顧問們》系列第2篇，本文介紹Algorand科學顧問莎菲·戈德瓦瑟教授，美國國家科學院、美國國家工程院、美國藝術與科學院“三院”院士。她與MIT同事、伯克利博士同學、Algorand創始人米卡利教授因合作發明的成就，共同獲得了2012年圖靈獎。戈德瓦瑟教授成為歷史上第三位獲得計算機學術領域最高獎項的女性，也是迄今為止最年輕的圖靈獎獲得者。

Borderless Capital將啟動5億美元ALGO Fund II，幫助開發基于Algorand區塊鏈的項目:12月1日，Borderless Capital宣布將啟動5億美元的ALGOFundII，以幫助開發基于Algorand區塊鏈的項目。該基金將投資于一系列基于Algorand區塊鏈網絡的DeFi和NFT項目。

據了解，總部位于邁阿密的 Borderless Capital 是 Algorand 生態系統的主要投資者之一。2019 年 6 月，它推出了 2 億美元的 ALGO Fund I。Borderless 表示，目前正在通過不同的基金重點投資 4 億美元的 Algorand 項目。昨日，前花旗集團高管 Matt Zhang 的投資公司 Hivemind Capital Partners 推出的15億美元的風險投資基金也選擇了Algorand作為戰略合作伙伴。[2021/12/1 12:43:01]

榮譽等身的頂級計算機科學家

戈德瓦瑟教授是以色列裔美國計算機科學家，國際密碼協會(IACR)會士、美國國家工程院院士、美國國家科學院院士、美國文學與科學院院士。她目前是麻省理工學院機電工程與計算機科學系RSA教授，麻省理工密碼和信息安全小組共同領導人，也是計算理論小組和計算機科學與人工智能實驗室復雜性理論小組成員。同時，她還是世界領先的多學科研究機構-以色列魏茨曼科學研究所的計算機科學與應用數學教授，此外，還曾經受聘美國普林斯頓大學客座教授、以色列希伯來大學客座教授等。

戈德瓦瑟教授自述學術興趣是密碼學、計算數理論、復雜性理論、容錯分布式計算、概率證明系統和近似算法。她在密碼學、計算復雜性、計算數論和概率算法方面做出了重要貢獻，是上述領域的世界領先者。她發布了許多里程碑式論文，開創了計算機科學的整個分支領域。其中包括建立現代密碼學的理論基礎，引入零知識交互證明，引入多證明者證明，發現概率可檢驗證明與近似問題的棘手性之間的聯系，介紹了如何利用橢圓曲線理論區分素數和復合材料，并進行了組合性能測試。

Algorand公布StakerDAO等10家入選亞洲加速器的項目名單:10月19日，Algorand公布了10家入選亞洲加速器的項目。這個為期12周的加速器項目，將從2020年10月19日正式開始，一直持續到2021年1月。

據了解，Algorand亞洲加速器將為10家入選項目提供15,000美元的種子基金，并提供端到端的支持，包括戰略制定、營銷執行、以及包含技術導師、通證經濟、市場營銷和融資等各方面在內的主題指導。[2020/10/19]

作為世界頂級科學家，戈德瓦瑟教授迄今最輝煌的成就，是與同學兼同事米卡利教授，因在線交易安全性方面的開拓性成果，“為密碼學奠定了復雜性理論基礎的變革性工作，并在此過程中開創了復雜性理論中有效驗證數學證明的新方法”，獲得了2012年圖靈獎，也獲得了由Intel和Google資助的25萬美元現金獎勵。

戈德瓦瑟和米卡利奠定了現代理論密碼學的基礎，把它從啟發式領域帶到了數學科學中，將密碼學從藝術變成科學。他們的研究結果與其他人一起，為加密和數字簽名的基本原語建立了如今標準的安全定義，并提供了滿足所述安全目標的示例性實現。更重要的是，他們的工作有助于確立現代密碼研究的基調和特點。他們與其他人聯合并合作，在隨機函數、交互式證明和零知識協議等形式上提供了驚人的創新，其影響超出了密碼學，上升到一般意義的理論計算機科學。

戈德瓦瑟教授的另外榮耀是先后在1993年和2001年兩次獲得哥德爾理論計算機科學獎，這是計算機領域僅次于圖靈獎的獎項。目前共有6位學者兩次獲獎。必須一提的是，戈德瓦瑟是首屆哥德爾獎的得主。此外，她的丈夫尼爾·沙維特教授在2004年贏得了哥德爾獎，她一家獲得三次哥德爾獎，也創下了紀錄。

美國計算機協會2017年表彰了在數字時代做出變革性貢獻和推動技術進步的54名研究員，戈德瓦瑟理所當然入選其中。此外，她還獲得諸多榮譽：西蒙斯基金會的西蒙斯調查員獎，IEEE的EmanuelR.Piore獎，富蘭克林學院計算機和認知科學的本杰明·富蘭克林勛章，ACM女性計算機委員會的雅典娜講師，加州大學伯克利分校計算機科學與工程分部杰出校友獎，魏茨曼研究所Levenson數學獎，RSA數學獎，ACM的GraceMurrayHopper獎，國家科學基金會科學領域婦女獎，IBM青年教師發展獎等。

Algorand基金會與Chainalysis達成合作，加強反洗錢合規解決方案:6月11日，Algorand基金會宣布與區塊鏈分析公司Chainalysis達成合作。Algorand基金會將集成Chainalysis的KYT（了解你的交易）功能來進行交易監控和合規流程，并使用Chainalysis Reactor調查工具來加強對Algorand代幣ALGO的詳盡調查。[2020/6/12]

理性與機緣的學術之路

戈德瓦瑟1959年出生于紐約市。她的父母是以色列人，她在特拉維夫上小學和中學，高中時對物理、數學和文學特別感興趣。高中畢業后回到美國，進入卡內基梅隆大學數學系，于1979年獲得學士學位。不過，在當時計算機科學已經成為超強學科的卡內基梅隆，她很快就對編程和計算機科學產生了興趣。她還參與了CMU的CM*項目，這是一個50處理器的多處理器系統。

戈德瓦瑟選擇了進入加州大學伯克利分校攻讀計算機科學的碩士和博士學位。她日后評價自己的選擇：“對數學好的女性來說，計算機是門絕妙的學科！這個領域相對年輕，十分開放，并無成規限制。絕大多數高校計算機系都有很強的女性，正如我在卡內基梅隆、MIT和伯克利遇見了一些密碼學領域的頂尖女性科學家。”她認為，無論是在學術界還是產業界，計算機科學都是“完美的領域”，只要具備強有力的分析和技術能力，編程經驗并非必需，“關鍵還是數學。女性也許編程起步要晚一些，但數學一點都不比男性差。”

不過，戈德瓦瑟進入伯克利分校時，也曾經苦惱自己具體該學什么。碩士階段，她與MichaelPowell和DavidPatterson一起研究過RISC體系結構的最佳指令集。但她很快就遇到了一群熱情的年輕理論計算機科學家，包括埃里克·巴赫、費思·艾倫、邁克·魯比、杰夫·沙利特、維杰伊·瓦齊拉尼和她的圖靈獎共同獲得者米卡利，她開始發現自己的興趣在于理論領域。

促使她徹底固定學術興趣的，是另一位圖靈獎獲得者曼努埃爾·布魯姆的數論課程，讓她倍感興奮，后來布魯姆成為她的博士導師。她還收獲滿滿地參加了在圣巴巴拉舉行的第一屆密碼學會議，會見了RSA密碼系統的三位作者，他們后來都獲得了圖靈獎：羅恩·里維斯、阿迪·沙米爾和萊恩·阿德爾曼。

動態 | Algorand錢包功能升級，新增多項功能:Algorand 宣布 Algorand 錢包功能全新升級，新增多項功能，用戶一旦創建 Algorand 標準資產（ASA），便可以立即在錢包中訪問該資產。此外，該錢包用戶可看到其他所有用戶的資產，任何資產交易在 4 秒左右即可完成。這款錢包對資產提供免費支持和整合，向區塊鏈寫入任何信息僅需千分之一枚 Algo，此外，用戶可通過錢包在 5 分鐘內輕松創建并分發資產。同時，該錢包也改善了一系列用戶體驗，包括無需切換賬戶用戶便可輕松瀏覽持有的所有資產，通過錢包自帶計算功能用戶可查看錢包中所持 Algo 的精確美元價值，用戶可直接查看通過持有 Algo 所獲得的獎勵。[2020/1/31]

戈德瓦瑟先后在1981年和1983年獲得了加州大學伯克利分校的計算機科學碩士和博士學位。自1980年研究生同學以來，她就與米卡利開始了幾十年之久的學術合作。據麻省理工所述，兩人的合作始于一場撲克游戲：當時兩人思考如何通過電話，“安全地”玩一場撲克游戲，他們設計的解決方案本質上是一種完美的加密單個比特的方法，他們發明了一種“混合”技術，表明獨立加密單個比特可以使整個消息安全，第一個對公鑰加密系統的語義安全給出了嚴格的定義。從那時起，兩人證明了他們的算法可以擴大到解決更復雜的問題，比如通訊協議和網絡交易。

1983年，戈德瓦瑟獲得班特雷爾博士后獎學金來到麻省理工學院，之后做了一名教師。當她來到麻省理工學院時，那是一個令人興奮的時刻。她加入了一個有著相似研究興趣的小組：米卡利已經到了，本尼·喬、奧德戈德里奇、羅恩·里維斯特和邁克·西普瑟也在那里。

戈德瓦瑟在麻省理工學院歷經助理教授、副教授，在1992年至今任電氣工程與計算機科學教授，1997年開始任RSA電氣工程和計算機科學教授。1993年至今，她在以色列魏茨曼科學研究所擔任計算機科學和應用數學教授。

公告 | Algorand官方：Runtime Verification正式驗證Algorand區塊鏈永不分叉:Algorand官方博客發文稱：為了更好地保證Algorand協議，并使未來的協議設計和驗證更容易，Algorand選擇通過機器驗證來增強數學上的理論證明。為此，Algorand聘請了具有深入驗證能力的專業公司通過運行環境驗證來驗證Algorand共識協議的正確性。我們很高興地報告了這項工作的一個重要里程碑：使用Coq定理證明，團隊已經開發了一個精確的協議數學模型，并正式驗證了其安全保證（區塊鏈從不分叉）。在今年早些時候，Algorand用Runtime Verification（運行時驗證）來驗證其共識協議。Algorand宣布已經完成該工作的第一部分，即協議建模和證明其安全定理。具體來說，我們使用了一個證明助手（Coq）來系統地確定協議在數學上保證不會分叉的假設。[2019/6/26]

戈德瓦瑟的丈夫尼爾·沙維特從1992年起至今，是以色列特拉維夫大學計算機科學教授，2011年起任麻省理工學院電子工程和計算機科學系教授。于是，夫妻兩人與兩個兒子，在美國和以色列兩家頂級學術機構平衡分配時間，每次在每個國家要工作三年左右。

量子計算威脅不到密碼學

近年來，無論學術界還是實業界，總有擔心新興的量子計算機會挑戰現有的密碼體系。作為密碼學大師，戈德瓦瑟教授對此持謹慎態度。

2019年世界頂尖科學家論壇，中國科學技術大學常務副校長、世界首顆量子通信試驗衛星“墨子號”之父潘建偉院士在演講中提到，理論上所有密碼都可以被經典計算機甚至量子計算機破解。與會的戈德瓦瑟教授當場就提出了質疑：“謝謝您精彩的演講！您開頭提到沒有計算機解決不了的計算問題，我覺得不對！”

戈德瓦瑟教授會后接受采訪時，解釋了自己的觀點：“如果理論上你能獲得世界上所有的計算時間，那理論上它們都會被破解。但事實上，這是有計算時間限制的。如果用漸進語句產生足夠的密碼數，目前尚無有效的經典算法可以破解。還有四種基于幾何學和格問題的新加密系統，即使是量子計算機也沒有相對應的破解算法。總的來說，就目前所知的量子計算機而言，我們有安全的加密系統。”

她還認為，量子計算機是很美妙的理論，就現在主流的公開密鑰密碼體制RSA而言，破解密碼的難度取決于對極大整數做因數分解的能力。“據我所知，目前量子計算機最大能對143進行因數分解，即11乘以13。所以距離量子計算機真的能跑因數分解算法還很遙遠，不清楚有生之年能否親見。”

戈德瓦瑟教授很關注大數據時代的隱私安全問題。她在世界頂尖科學家論壇的演講題目就是《密碼學和機器學習》。與諸多計算機學術領域的大師們一樣，戈德瓦瑟也涉足產業界。除了作為區塊鏈企業Algorand的顧問外，她還是二元技術公司的聯合創始人兼首席科學家。

DualityTechnology是以色列計算神經科學博士、原RSA數據科學和創新全球總監AlonKaufman博士在2016年發起的，戈德瓦瑟教授等5人是積極支持的聯合創始人。該公司以“最大化利用數據，最小化降低風險”為愿景，以突破性創新技術保護有價值的分析模型，對加密數據進行安全分析和人工智能，而不會暴露原始數據本身，進而賦予了安全的數字協作能力。目前已經獲得了由IntelCapital領投、HearstVentures和Team8跟投的1600萬美元融資。

戈德瓦瑟教授對自己身體力行參與的創業，充滿了期待：“我對將密碼理論的進步應用于實踐的前景充滿熱情，以充分發揮數據驅動算法的潛力——未來的內燃機。我堅信，合作的同時保護目前由不同利益相關者持有的數據是一條出路。”

與Facebook打官司的丈夫

前文提到，戈德瓦瑟教授的丈夫尼爾·沙維特也是哥德爾獎得主，麻省理工學院電子工程和計算機科學系教授。同時，他還是麻省理工學院計算機科學和人工智能實驗室成員，多處理器算法組和計算連接組的主要研究員；ACM分布式計算原理研討會和ACM算法與架構并行研討會項目主席。

沙維特教授于1984年和1986年獲得以色列理工學院計算機科學理學學士和理學碩士學位，1990年在耶路撒冷希伯來大學獲得計算機科學博士學位。主要學術興趣是設計、實現和推理多處理器算法的技術，特別是多核機器的并發數據結構以及控制其行為的計算模型的數學基礎。

不過，作為世界級的計算機科學家，沙維特教授最近大火的是把Facebook告上了法庭。2020年3月初，有一條大新聞：麻省理工學院兩位教授設立的創業公司“神經魔法”，指控Facebook侵犯了他們的商業機密，還將其核心算法放在GitHub開源，而開源的恰恰是深度學習框架PyTorch的一個關鍵庫。同時被告的還有“神經魔法”前員工亞歷山大·茲拉特斯基，如今他是Facebook人工智能研究院的研究科學家，被指控違反了保密和競業禁止協議。

“神經魔法”公司，就是由沙維特教授和麻省理工計算機科學與人工智能實驗室研究科學家亞歷克斯·馬特維耶夫在2017年創立的。沙維特教授2018年起任公司CEO。

沙維特教授2016年開始開發人工智能系統來重建大腦中神經組織的連通性，被稱為“提取大腦的連接圖”。他和馬特維耶夫教授合作研究發現，在大量神經生物學數據的基礎上，使用正確的算法，可以僅使用標準計算機在這些大型神經生物學數據集上運行神經網絡，而不需要專門的硬件，而且能夠實現非凡的速度。這意味著數據科學家可以通過CPU運行神經網絡和推理引擎，大大降低了機器學習項目的硬件成本，可以讓人工智能應用更加普及。這促成了神經魔法公司的誕生，Comcast、NEA等投資機構看好發展前景，已經投資了2000萬美元。

茲拉特斯基是麻省理工博士后，也是“神經魔法”的第一位正式員工。2018年3月，他成為公司技術總監，有權限獲得公司所有的商業機密、專有信息和商業計劃，而且能夠接觸到同時也協助編寫了編譯器核心算法的源代碼。2019年7月，茲拉特斯基離開“神經魔法”，加入Facebook，并表示不會涉及到此前參與的編譯器工作。

2019年12月，Facebook在Github向世界宣布并開源了一個編譯器，這其中包括了和“神經魔法”相同的專有算法。一個月后，在西雅圖的TVMAI開發者大會上，Facebook公布算法開源，可以支持神經網絡在CPU上高效運行。Facebook甚至還在公告里向第一個代碼審查人茲拉特斯基表示感謝。

2020年1月22日，“神經魔法”書面要求Facebook刪除Github上的侵權內容，但是Facebook拒絕接受。“神經魔法”隨后起訴，2020年3月4日，美國麻省地區法院公布了編號為”第20-10444號民事訴訟“的起訴書披露，“神經魔法”要求獲得三倍的實際損害賠償，以及律師費和禁止進一步使用其商業秘密的禁令。

世界頂級計算機學者大戰世界頂級的IT公司，結果如何？拭目以待吧！

Tags：ALGALGOLGORANalgo幣還有救嗎0xAlgoalgorand幣價格GRANC

萊特幣