在今天的RobertoFest上，庆祝Roberto Tamassia对认证数据结构（以及更多！）的40年贡献 更新即将到来！👇

迈克尔·古德里奇，向我们展示人们对他和罗伯托的算法书籍的看法：

在此之前，@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法规（可怕）以及匿名凭证将如何帮助为初始的、严重缺陷的欧盟提案提供急需的隐私！

@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-元前缀 Merkle 树的 Verkle 范式，其中哈希函数是一个向量承诺，首次出现在 [LY10; Sec. 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 好了：够了，来自那些痴迷于树木的人们的讨论。 是时候听听罗伯托的总结发言了！ 他开始解释他是如何利用对抗性机器学习（投毒攻击）来逃避母亲的监督，逃向开放的道路，骑上他的🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi 这个技巧是让他的母亲“（误）习惯”相信，每当他在家门前的小路上骑自行车时，他总是会在视线内迅速返回。 直到有一天，他找到了机会，直接朝着 🛣️ 走去。

@chbpap @ethereum @motiyung @ElaineRShi 罗伯托的第一辆车，实际上上面写着“Brown”，尽管你在这张照片中看不到它，几乎预示着罗伯托将会在布朗大学度过他大部分的学术生涯。

@chbpap @ethereum @motiyung @ElaineRShi 晚上的活动以晚餐结束，人们继续讲笑话和故事。

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich 告诉我们罗伯托的关键教导是：“始终优化旅行，”

@chbpap @ethereum @motiyung @ElaineRShi 这是多么美妙的夜晚啊！❤️