在今天的RobertoFest上，慶祝Roberto Tamassia對認證數據結構（以及更多！）的40年貢獻 即將有更新！👇

Michael Goodrich，向我們展示人們對他和Roberto的算法書籍的感受：

在此之前，@chbpap 展示了羅伯托的經典作品如何在持久身份驗證字典上推動現代區塊鏈，如 @ethereum。 （等我告訴你 Verkle 樹的來源……）

@chbpap @ethereum 朱塞佩·迪·巴蒂斯塔，告訴大家他們是如何使用這個叫做「互聯網」的新東西來提交學術論文的，因為寄送印刷副本已經太晚了。 （HotCRP 還沒有被發明 😄）

@chbpap @ethereum Ioannis Tollis，提醒我們1986年的簡報長什麼樣子 👌 觀眾提問：“那是什麼字體？” 😅

@chbpap @ethereum 研究最美好的地方就是人們！❤️

@chbpap @ethereum @chbpap，作為一名年輕的博士生！

@chbpap @ethereum 設定你的學術生活優先順序是很重要的！

@chbpap @ethereum 我從未聽說過的樹…

@chbpap @ethereum

@chbpap @ethereum 抓住夜晚（致力於圖算法和認證數據結構）

@chbpap @ethereum 羅伯托的前博士生小組。

@chbpap @ethereum @motiyung 正在告訴我們他那奇特的研究習慣…

@chbpap @ethereum @motiyung …以及他遇見羅伯托的時候：當兩人必須將他們的兩份提交合併成一份時。

@chbpap @ethereum @motiyung 顯然，他們的共同作者之一，Jeff Westbrook，是《辛普森家庭》的編劇之一！🤯 這就是為什麼你在這個節目中看到這麼多數學（例如 P != NP）

@chbpap @ethereum @motiyung Anna Lysyanskaya，告訴我們有關 EUDI 規範（可怕）以及匿名憑證如何幫助為初步的、存在重大缺陷的 EU 提案提供急需的隱私！

@chbpap @ethereum @motiyung （我不得不暫時停止發文：討論非常引人入勝。而且空氣中有一種特別的感覺：每位發言者都是發自內心地講述回憶，展示照片，有時還偷偷加入一些技術內容。）

@chbpap @ethereum @motiyung @ElaineRShi，開始她的演講。

@chbpap @ethereum @motiyung @ElaineRShi Elaine 告訴我們 Roberto 在 ORAMs 上的工作。 （這個外部記憶體模型在整個演講中不斷出現。可能想要了解一下！）

@chbpap @ethereum @motiyung @ElaineRShi 1. Papamanthou-Shi-Tamassia (PST) 承諾：第一個（據我所知）_多變量_多項式承諾方案！

@chbpap @ethereum @motiyung @ElaineRShi 我最喜歡這個計劃的一個方面是它的分解引理如何產生一個 PCS 開放證明。

@chbpap @ethereum @motiyung @ElaineRShi （了解更多資訊，將很快更新！）

@chbpap @ethereum @motiyung @ElaineRShi 2. 累積樹（又稱 Verkle 樹）

@chbpap @ethereum @motiyung @ElaineRShi 累積樹只是 k-元 Merkle 樹，其中哈希函數是加密累加器（例如，RSA 或雙線性） 它們的設計是為了驗證集合。 Verkle 樹是 [Kusz18] 中引入的一個小變體。

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle 樹，John Kuszmaul，2018， 但實際上，k-ary 前綴 Merkle 樹的 Verkle 範式，其中哈希函數是一個向量承諾，首次出現在 [LY10; 第 4 節]，儘管是在構建 ZK 集合的背景下。

@chbpap @ethereum @motiyung @ElaineRShi [LY10] 簡明的水銀向量承諾和獨立的零知識集合，附短證明；作者：Libert, Benoît 和 Yung, Moti；發表於 TCC'10；2010

@chbpap @ethereum @motiyung @ElaineRShi 3. 一般化哈希樹（或稱為赫克爾樹：） 一種具有良好「同態」特性的梅克爾樹，非常適合無狀態驗證。

@chbpap @ethereum @motiyung @ElaineRShi 在 [PSTY13] 中，Roberto 和他的合著者們提供了一個基於格的 Herkle 樹，來自 Ajtai 哈希函數。 (⚠️ 下圖是過於簡化的！)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] 流式身份驗證數據結構；作者：Papamanthou, Charalampos 和 Shi, Elaine 及 Tamassia, Roberto 和 Yi, Ke；發表於 EUROCRYPT 2013； 不幸的是，這個 [PSTY13] Herkle 有一些可擴展性變更：雖然樹的深度是無界的，但同態性是有界的。

@chbpap @ethereum @motiyung @ElaineRShi 這意味著同態操作只能應用固定次數，這個次數在方案設置時確定。 而且，您想要的操作越多，方案的效率就越低。 這有點煩人：我們希望有*高效*、無限制的同態性！

@chbpap @ethereum @motiyung @ElaineRShi （還有其他的Herkle樹，比如AMTs和Hyperpoofs，它們只是將問題轉換了一下：它們有無界同態但深度有限。這仍然很煩人。） 這是一個很棒的研究問題！我敦促大家嘗試解決它。

@chbpap @ethereum @motiyung @ElaineRShi （還有其他的Herkle樹：AMTs和Hyperpoofs。但它們只是轉移了問題：它們具有無界同態但有界深度。仍然令人煩惱。） 這是一個很棒的研究問題！我敦促每個人嘗試解決它。

@chbpap @ethereum @motiyung @ElaineRShi 好了：夠了，來自那些對樹木著迷的人的話題。 是時候聽聽Roberto的結語了！ 這些話是從他如何利用對抗性機器學習（毒化攻擊）來逃避母親的監督，並騎著他的🚲逃向開放的道路開始的 😆

@chbpap @ethereum @motiyung @ElaineRShi 這個技巧是要讓他的母親“(誤)習慣”相信，無論他在家前的小路上騎自行車時，他總是會快速回來，並且始終在視線內。 直到有一天，他找到了一個機會，然後他直接朝著 🛣️ 走去。

@chbpap @ethereum @motiyung @ElaineRShi 羅伯托的第一輛車，實際上上面寫著「Brown」，儘管你在這張照片中看不見，幾乎預示著羅伯托將會在布朗大學度過他大部分的學術生涯。

@chbpap @ethereum @motiyung @ElaineRShi 晚上的結束是一頓晚餐，人們繼續講笑話和故事。

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich 告訴我們 Roberto 的關鍵教學是： “永遠優化旅行，”

@chbpap @ethereum @motiyung @ElaineRShi 這真是個美妙的夜晚！❤️