人在鏈圈，遵從本心、順其自然地“鏈賺”。我有“4PAI”計劃：實在參與的“行動派”系列、興致研討的“隨心 Pie”系列、全球引智的“薏米 Pie”系列、學習進階的“學緣 Pie”系列。本文是“薏米 Pie”系列第 16 篇，敬請指正。
Algorand 是由密碼學先驅、圖靈獎得主、麻省理工學院教授西爾維奧·米卡利（Silvio Micali）創建的科技公司，旨在解決“區塊鏈不可能三角問題”，以去中心化、可延展性和安全性的特色技術， 賦能 “無摩擦金融”，支持“無 國 界經濟 ”。作爲基於純粹的權益證明（PPoS）、無需許可、即時交易終結、沒有分叉的明星公鏈，Algorand 於 2019 年 6 月主網上線、同年 11 月推出 Algorand 2.0 協議，顯示了強大的技術實力和卓越的網絡性能。
“謀定後動，知止有得”。 得益於創始人米卡利教授的個人魅力和學術聲譽、Algorand 公鏈的技術實力與卓越性能，Algorand 成功邀請了 13 位多領域、多學科的學術與實踐大師級專家作爲顧問，借力外腦共謀事業發展。按 Algorand 分類，其中顧問 5 人、科學顧問 4 人、數字代幣顧問 4 人。 筆者撰寫《 Algorand 顧問們 》系列文章， 介紹與 Algorand 結緣、爲新興區塊鏈領域貢獻才智的大師們。
作爲《Algorand 顧問們》系列第 2 篇， 本文介紹 Algorand 科學顧問莎菲·戈德瓦瑟（Shafi Goldwasser） 教授 ，美國國家科學院、美國國家工程院、美國藝術與科學院 “三院”院士 。 她與 MIT 同事、伯克利博士同學、Algorand 創始人米卡利教授因合作發明的成就，共同獲得了 2012 年圖靈獎。 戈德瓦瑟 教授 成爲歷史上第三位獲得計算機學術領域最高獎項的女性，也是迄今爲止最年輕的圖靈獎獲得者。
榮譽等身的頂級計算機科學家
戈德瓦瑟教授是以色列裔美國計算機科學家，國際密碼協會 (IACR) 會士（2007 年）、美國國家工程院院士（2005 年）、美國國家科學院院士（2004 年）、美國文學與科學院院士（2001 年）。她目前是麻省理工學院機電工程與計算機科學系 RSA 教授，麻省理工密碼和信息安全小組共同領導人，也是計算理論小組和計算機科學與人工智能實驗室複雜性理論小組成員。同時，她還是世界領先的多學科研究機構-以色列魏茨曼科學研究所的計算機科學與應用數學教授，此外，還曾經受聘美國普林斯頓大學客座教授、以色列希伯來大學客座教授等。
戈德瓦瑟教授自述學術興趣是密碼學、計算數理論、複雜性理論、容錯分佈式計算、概率證明系統和近似算法。 她在密碼學、計算複雜性、計算數論和概率算法方面做出了重要貢獻，是上述領域的世界領先者。 她發佈了許多里程碑式論文，開創了計算機科學的整個分支領域。其中包括建立現代密碼學的理論基礎，引入零知識交互證明，引入多證明者證明（後稱概率檢驗證明），發現概率可檢驗證明與近似問題的棘手性之間的聯繫，介紹瞭如何利用橢圓曲線理論區分素數和複合材料，並進行了組合性能測試。
作爲世界頂級科學家， 戈德瓦瑟 教授 迄今最輝煌的成就，是與同學兼同事米卡利教授，因在線交易安全性方面的開拓性成果， “爲密碼學奠定了複雜性理論基礎的變革性工作，並在此過程中開創了複雜性理論中有效驗證數學證明的新方法”（獲獎評語），獲得了 2012 年圖靈獎，也獲得了由 Intel 和 Google 資助的 25 萬美元現金獎勵。
戈德瓦瑟和米卡利奠定了現代理論密碼學的基礎，把它從啓發式領域帶到了數學科學中，將密碼學從藝術變成科學。他們的研究結果與其他人一起，爲加密和數字簽名的基本原語建立了如今標準的安全定義，並提供了滿足所述安全目標的示例性實現。更重要的是，他們的工作有助於確立現代密碼研究的基調和特點。他們與其他人聯合併合作，在隨機函數、交互式證明和零知識協議等形式上提供了驚人的創新，其影響超出了密碼學，上升到一般意義的理論計算機科學。
戈德瓦瑟教授的另外榮耀是先後在 1993 年和 2001 年兩次獲得哥德爾理論計算機科學獎，這是計算機領域僅次於圖靈獎的獎項。目前共有 6 位學者兩次獲獎。必須一提的是，戈德瓦瑟是首屆哥德爾獎的得主。此外， 她的丈夫尼爾 ·沙維特（ Nir Shavit ）教授在 2004 年 贏得了哥德爾獎，她一家獲得三次哥德爾獎，也創下了紀錄。
美國計算機協會（ACM） 2017 年表彰了在數字時代做出變革性貢獻和推動技術進步的 54 名研究員，戈德瓦瑟理所當然入選其中。此外，她還獲得諸多榮譽：西蒙斯基金會的西蒙斯調查員獎（2012 年），IEEE 的 Emanuel R.Piore 獎（2011 年），富蘭克林學院計算機和認知科學的本傑明·富蘭克林勳章（2010），ACM 女性計算機委員會的雅典娜講師（2008 年），加州大學伯克利分校計算機科學與工程分部傑出校友獎（2006 年），魏茨曼研究所 Levenson 數學獎（1999 年），RSA 數學獎（1998 年），ACM 的 Grace Murray Hopper 獎（1996 年），國家科學基金會科學領域婦女獎（1991-1996），IBM 青年教師發展獎（1983-1985）等。
理性與機緣的 學術之路
戈德瓦瑟 1959 年出生於紐約市。她的父母是以色列人，她在特拉維夫上小學和中學，高中時對物理、數學和文學特別感興趣。高中畢業後回到美國，進入 卡內基梅隆大學數學系，於 1979 年獲得學士學位。不過，在當時計算機科學已經成爲超強學科的卡內基梅隆，她很快就對編程和計算機科學產生了興趣。她還參與了 CMU 的 CM*項目，這是一個 50 處理器的多處理器系統。
戈德瓦瑟選擇了進入加州大學伯克利分校攻讀計算機科學的碩士和博士學位。她日後評價自己的選擇：“ 對數學好的女性來說，計算機是 門 絕妙的學科！ 這個領域相對年輕，十分開放，並無成規限制。絕大多數高校計算機系都有很強的女性，正如我在卡內基梅隆、MIT 和伯克利遇見了一些密碼學領域的頂尖女性科學家。”她認爲，無論是在學術界還是產業界，計算機科學都是“完美的領域”，只要具備強有力的分析和技術能力，編程經驗並非必需，“關鍵還是數學。女性也許編程起步要晚一些，但數學一點都不比男性差。”
不過，戈德瓦瑟進入伯克利分校時，也曾經苦惱自己具體該學什麼。碩士階段，她與 Michael Powell 和 David Patterson 一起研究過 RISC 體系結構的最佳指令集。但她很快就遇到了一羣熱情的年輕理論計算機科學家，包括埃裏克·巴赫、費思·艾倫、邁克·魯比、傑夫·沙利特、維傑伊·瓦齊拉尼和 她的圖靈獎共同獲得者米卡利 ，她開始發現自己的興趣在於理論領域。
促使她徹底固定學術興趣的，是另一位 圖靈獎獲得者曼努埃爾 ·布魯姆（Manuel Blum）的數論課程，讓她倍感興奮，後來布魯姆 成爲她的博士導師。 她還收穫滿滿地參加了在聖巴巴拉舉行的第一屆密碼學會議，會見了 RSA 密碼系統的三位作者，他們後來都獲得了圖靈獎：羅恩·裏維斯、阿迪·沙米爾和萊恩·阿德爾曼。
戈德瓦瑟先後在 1981 年和 1983 年獲得了加州大學伯克利分校的計算機科學碩士和博士學位。 自 1980 年研究生同學以來，她就與米卡利開始了幾十年之久的學術合作。據麻省理工所述，兩人的合作始於一場撲克遊戲：當時兩人思考如何通過電話，“安全地”玩一場撲克遊戲，他們設計的解決方案本質上是一種完美的加密單個比特的方法，他們發明了一種“混合”技術，表明獨立加密單個比特可以使整個消息安全，第一個對公鑰加密系統的語義安全給出了嚴格的定義。從那時起，兩人證明了他們的算法可以擴大到解決更復雜的問題，比如通訊協議和網絡交易。
1983 年，戈德瓦瑟獲得班特雷爾博士後獎學金來到麻省理工學院，之後做了一名教師。當她來到麻省理工學院時，那是一個令人興奮的時刻。她加入了一個有着相似研究興趣的小組：米卡利已經到了，本尼·喬、奧德戈德里奇、羅恩·裏維斯特和邁克·西普瑟也在那裏。
戈德瓦瑟在麻省理工學院歷經助理教授（1983-1987 年）、副教授（1987-1992 年），在 1992 年至今任電氣工程與計算機科學教授，1997 年開始任 RSA 電氣工程和計算機科學教授。1993 年至今，她在以色列魏茨曼科學研究所擔任計算機科學和應用數學教授。
戈德瓦瑟的丈夫尼爾 ·沙維特從 1992 年起至今，是以色列特拉維夫大學計算機科學教授，2011 年起任麻省理工學院 電子工程和計算機科學系教授 。於是，夫妻兩人與兩個兒子，在美國和以色列兩家頂級學術機構平衡分配時間，每次在每個國家要工作三年左右。
量子計算威脅不到密碼學
近年來，無論學術界還是實業界，總有擔心新興的量子計算機會挑戰現有的密碼體系。作爲密碼學大師，戈德瓦瑟教授對此持謹慎態度。
2019 年世界頂尖科學家論壇（上海·滴水湖），中國科學技術大學常務副校長、世界首顆量子通信試驗衛星“墨子號”之父潘建偉院士在演講中提到，理論上所有密碼都可以被經典計算機甚至量子計算機破解。 與會的 戈德瓦瑟 教授當場就 提出了 質疑： “ 謝謝您精彩的演講 ！ 您開頭提到沒有計算機解決不了的計算問題，我覺得不對 ！ ”
戈德瓦瑟教授會後接受採訪時，解釋了自己的觀點：“如果理論上你能獲得世界上所有的計算時間，那理論上它們都會被破解。但事實上，這是有計算時間限制的。如果用漸進語句產生足夠的密碼數，目前尚無有效的經典算法可以破解。還有四種基於幾何學和格問題的新加密系統，即使是量子計算機也沒有相對應的破解算法。總的來說，就目前所知的量子計算機而言，我們有安全的加密系統。”
她還認爲，量子計算機是很美妙的理論，就現在主流的公開密鑰密碼體制 RSA 而言，破解密碼的難度取決於對極大整數做因數分解的能力。“據我所知，目前量子計算機最大能對 143 進行因數分解，即 11 乘以 13。所以距離量子計算機真的能跑因數分解算法還很遙遠，不清楚有生之年能否親見。”
戈德瓦瑟 教授很關注 大數據時代的隱私安全問題。 她在世界頂尖科學家論壇（上海·滴水湖）的演講題目就是《密碼學和機器學習》。與諸多計算機學術領域的大師們一樣，戈德瓦瑟也涉足產業界。 除了作爲區塊鏈企業 Algorand 的顧問外，她還是 二元技術（ Duality Technology） 公司的聯合創始人兼首席科學家。
Duality Technology 是以色列計算神經科學博士、原 RSA 數據科學和創新全球總監 Alon Kaufman 博士在 2016 年發起的，戈德瓦瑟教授等 5 人是積極支持的聯合創始人。該公司以“最大化利用數據，最小化降低風險”爲願景，以突破性創新技術保護有價值的分析模型，對加密數據進行安全分析和人工智能，而不會暴露原始數據本身，進而賦予了安全的數字協作能力。目前已經獲得了由 Intel Capital 領投、Hearst Ventures 和 Team8 跟投的 1600 萬美元融資。
戈德瓦瑟教授對自己身體力行參與的創業，充滿了期待： “ 我對將密碼理論的進步應用於實踐的前景充滿熱情，以充分發揮數據驅動算法的潛力——未來的內燃機。我堅信，合作的同時保護目前由不同利益相關者持有的數據是一條出路。”
與 Facebook 打官司的丈夫
前文提到，戈德瓦瑟教授的丈夫尼爾·沙維特也是哥德爾獎得主，麻省理工學院電子工程和計算機科學系教授。同時，他還是麻省理工學院計算機科學和人工智能實驗室（CSAIL）成員，多處理器算法組和計算連接組的主要研究員；ACM 分佈式計算原理研討會（PODC）和 ACM 算法與架構並行研討會（SPAA）項目主席。
沙維特教授於 1984 年和 1986 年獲得以色列理工學院計算機科學理學學士和理學碩士學位，1990 年在耶路撒冷希伯來大學獲得計算機科學博士學位。主要學術興趣是設計、實現和推理多處理器算法的技術，特別是多核機器的併發數據結構以及控制其行爲的計算模型的數學基礎。
不過， 作爲世界級的計算機科學家，沙維特教授最近大火的是把 Facebook 告上了法庭 。 2020 年 3 月初，有一條大新聞：麻省理工學院兩位教授設立的創業公司“神經魔法”（Neural Magic, Inc.）， 指控 Facebook 侵犯了他們的商業機密 ， 還將其核心算法放在 GitHub 開源，而開源的恰恰是深度學習框架 PyTorch 的一個關鍵庫。同時被告的還有“神經魔法”前員工亞歷山大·茲拉特斯基，如今他是 Facebook 人工智能研究院的研究科學家，被指控違反了保密和競業禁止協議。
“神經魔法”公司，就是由沙維特教授和麻省理工計算機科學與人工智能實驗室研究科學家亞歷克斯·馬特維耶夫（Alex Matveev）在 2017 年創立的。沙維特教授 2018 年起任公司 CEO。
沙維特教授 2016 年開始開發人工智能系統來重建大腦中神經組織的連通性，被稱爲“提取大腦的連接圖”。他和馬特維耶夫教授合作研究發現，在大量神經生物學數據的基礎上，使用正確的算法，可以僅使用標準計算機在這些大型神經生物學數據集上運行神經網絡，而不需要專門的硬件，而且能夠實現非凡的速度。這意味着 數據科學家可以通過 CPU 運行神經網絡和推理引擎，大大降低了機器學習項目的硬件成本 ， 可以讓人工智能應用更加普及。 這促成了神經魔法公司的誕生，Comcast、NEA 等投資機構看好發展前景，已經投資了 2000 萬美元。
茲拉特斯基是麻省理工博士後，也是“神經魔法”的第一位正式員工。2018 年 3 月，他成爲公司技術總監，有權限獲得公司所有的商業機密、專有信息和商業計劃，而且能夠接觸到同時也協助編寫了編譯器核心算法的源代碼。2019 年 7 月，茲拉特斯基離開“神經魔法”，加入 Facebook，並表示不會涉及到此前參與的編譯器工作。
2019 年 12 月，Facebook 在 Github 向世界宣佈並開源了一個編譯器，這其中包括了和“神經魔法”相同的專有算法。一個月後，在西雅圖的 TVM AI 開發者大會上，Facebook 公佈算法開源，可以支持神經網絡在 CPU 上高效運行。 Facebook 甚至還在公告裏向第一個代碼審查人茲拉特斯基表示感謝。
2020 年 1 月 22 日，“神經魔法”書面要求 Facebook 刪除 Github 上的侵權內容，但是 Facebook 拒絕接受。“神經魔法”隨後起訴，2020 年 3 月 4 日，美國麻省地區法院公佈了編號爲”第 20-10444 號民事訴訟“的起訴書披露，“神經魔法”要求獲得三倍的實際損害賠償，以及律師費和禁止進一步使用其商業祕密的禁令。
世界頂級計算機學者大戰世界頂級的 IT 公司，結果如何？拭目以待吧！
（本文圖片來自公開網絡）
（ END）
（敬請關注 “赫美茲區塊鏈”公衆號、Hameiz- 赫美茲 微博 ）
感謝 順手點擊右下角“在看”！
歡迎支持 Algorand 生態研究！
ALGO 地址：
HQVIHV6LW4PRTSM3CFBCE37YZ4QQO4JVOY2SVRHQGD3M2HR2OQGTD2BXEM
繁體中文
简体中文
English
日本語
Español