Heute beim RobertoFest, das 40 Jahre Beiträge von Roberto Tamassia zu authentifizierten Datenstrukturen (und mehr!) feiert. Updates kommen!👇

Michael Goodrich, der uns zeigt, wie die Leute über seine und Robertos Algorithmenbücher dachten:

Davor hat @chbpap gezeigt, wie Robertos klassisches Werk über persistente authentifizierte Wörterbücher moderne Blockchains wie @ethereum antreibt. (Warte, bis ich dir von Verkle-Bäumen erzähle, die daraus entstanden sind…)

@chbpap @ethereum Giuseppe Di Battista erzählt allen, wie sie dieses neue Ding namens „Internet“ genutzt haben, um ein akademisches Papier einzureichen, weil es zu spät war, die gedruckte Kopie zu versenden. (HotCRP war noch nicht erfunden 😄)

@chbpap @ethereum Ioannis Tollis, der uns erinnert, wie Folien 1986 aussahen 👌 Frage aus dem Publikum: „Welche Schriftart war das?“ 😅

@chbpap @ethereum Das Schönste an der Forschung sind die Menschen! ❤️

@chbpap @ethereum @chbpap, als junger Doktorand!

@chbpap @ethereum Es ist wichtig, deine akademischen Lebensprioritäten richtig zu setzen!

@chbpap @ethereum Bäume, von denen ich noch nie gehört habe…

@chbpap @ethereum

@chbpap @ethereum Nutze die Nacht (um an Graphalgorithmen und authentifizierten Datenstrukturen zu arbeiten)

@chbpap @ethereum Panel ehemaliger Doktoranden von Roberto.

@chbpap @ethereum @motiyung erzählt uns von seinen eigenartigen Forschungsgewohnheiten…

@chbpap @ethereum @motiyung …und über die Zeit, als er Roberto traf: als die beiden ihre beiden Einreichungen zu einer zusammenführen mussten.

@chbpap @ethereum @motiyung Anscheinend ist einer ihrer Co-Autoren, Jeff Westbrook, einer der Autoren von Die Simpsons! 🤯 Deshalb sieht man so viel Mathematik in der Show (wie P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya erzählt uns von der EUDI-Regulierung (gruselig) und wie anonyme Berechtigungen helfen würden, der anfänglichen, stark fehlerhaften EU-Vorlage dringend benötigte Privatsphäre zu geben!

@chbpap @ethereum @motiyung (Ich musste eine Pause vom Posten einlegen: die Gespräche waren sehr fesselnd. Und es lag ein besonderes Gefühl in der Luft: Jeder, der einen Vortrag hielt, tat dies von Herzen, erzählte Erinnerungen, zeigte Bilder und schlich manchmal ein wenig technische Inhalte ein.)

@chbpap @ethereum @motiyung @ElaineRShi, beginnt ihren Vortrag.

@chbpap @ethereum @motiyung @ElaineRShi Elaine hat uns von Robertos Arbeit an ORAMs erzählt. (Dieses externe Speichermodell kam während der Vorträge immer wieder zur Sprache. Vielleicht möchtest du dich näher damit befassen!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Papamanthou-Shi-Tamassia (PST) Verpflichtungen: das erste (soweit ich weiß) _multivariate_ Polynom-Verpflichtungsschema!

@chbpap @ethereum @motiyung @ElaineRShi Eines meiner Lieblingsdinge an diesem Schema ist, wie sein Zerlegungslemma einen PCS-Öffnungsbeweis liefert.

@chbpap @ethereum @motiyung @ElaineRShi (Mehr darüber lesen unter , wird bald aktualisiert!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Akkumulationsbäume (auch bekannt als Verkle-Bäume)

@chbpap @ethereum @motiyung @ElaineRShi Akkumulationsbäume sind einfach k-äre Merkle-Bäume, bei denen die Hash-Funktion kryptografische Akkumulatoren sind (z. B. RSA oder bilinear). Sie wurden entwickelt, um Mengen zu authentifizieren. Verkle-Bäume sind eine kleine Variation, die in [Kusz18] eingeführt wurde.

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle-Bäume, John Kuszmaul, 2018, Aber wirklich, das Verkle-Paradigma von k-ären Präfix-Merkle-Bäumen, bei dem die Hash-Funktion ein Vektor-Commitment ist, erschien erstmals in [LY10; Sec. 4], obwohl im Kontext des Aufbaus von ZK-Sets.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Prägnante Mercurial Vektorverpflichtungen und unabhängige Zero-Knowledge-Sets mit kurzen Beweisen; von Libert, Benoît und Yung, Moti; in TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Generalisierte Hash-Bäume (oder Herkle-Bäume: ) Ein Merkle-Baum mit schönen "homomorphen" Eigenschaften, sehr nützlich für zustandslose Validierung.

@chbpap @ethereum @motiyung @ElaineRShi In [PSTY13] geben Roberto und seine Mitautoren einen gitterbasierten Herkle-Baum aus der Ajtai-Hashfunktion. (⚠️ Die Abbildung unten ist eine Übervereinfachung!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Streaming Authenticated Data Structures; von Papamanthou, Charalampos und Shi, Elaine und Tamassia, Roberto und Yi, Ke; in EUROCRYPT 2013; Leider hat dieser [PSTY13] Herkle einige Skalierungsänderungen: Während die Baumtiefe unbegrenzt ist, ist die Homomorphie begrenzt.

@chbpap @ethereum @motiyung @ElaineRShi Das bedeutet, dass die homomorphe Operation nur eine feste Anzahl von Malen angewendet werden kann, die zum Zeitpunkt der Einrichtung des Schemas festgelegt wird. Außerdem, je mehr Operationen Sie möchten, desto weniger effizient wird das Schema. Das ist irgendwie nervig: wir hätten gerne *effizienten*, unbegrenzten Homomorphismus!

@chbpap @ethereum @motiyung @ElaineRShi (Es gibt andere Herkle-Bäume wie AMTs und Hyperpoofs, sie drehen das Problem einfach um: Sie haben unbeschränkte Homomorphie, aber begrenzte Tiefe. Immer noch ärgerlich.) Was für ein großartiges Forschungsproblem! Ich fordere alle auf, zu versuchen, es zu lösen.

@chbpap @ethereum @motiyung @ElaineRShi (Es gibt andere Herkle-Bäume: AMTs und Hyperpoofs. Aber sie drehen das Problem nur um: Sie haben unbeschränkte Homomorphie, aber begrenzte Tiefe. Immer noch ärgerlich.) Was für ein großartiges Forschungsproblem! Ich fordere alle auf, zu versuchen, es zu lösen.

@chbpap @ethereum @motiyung @ElaineRShi In Ordnung: genug über Bäume von Leuten, die besessen von ihnen sind. Zeit für Robertos Schlussbemerkungen! Diese begannen mit einer Erklärung, wie er adversariales maschinelles Lernen (Vergiftungsangriffe) genutzt hat, um der Aufsicht seiner Mutter zu entkommen und auf die offene Straße zu fliehen auf seinem 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi Der Trick bestand darin, seine Mutter zu „(miss)gewöhnen“, zu glauben, dass er, wann immer er mit dem Fahrrad auf der kleinen Straße vor seinem Haus eine Runde dreht, immer schnell zurückkommt, während er in Sicht bleibt. Bis eines Tages, als er eine Gelegenheit fand, und stattdessen direkt auf die 🛣️ fuhr.

@chbpap @ethereum @motiyung @ElaineRShi Robertos erstes Auto, auf dem tatsächlich "Brown" geschrieben stand, obwohl man es auf diesem Bild nicht sehen kann, fast voraussagend, wo Roberto den Großteil seines akademischen Lebens verbringen würde: Brown University

@chbpap @ethereum @motiyung @ElaineRShi Die Nacht endete mit einem Abendessen, bei dem die Leute weiterhin Witze und Geschichten erzählten.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich sagt uns, was Robertos wichtigste Lehre ist: „Immer Reisen optimieren,“

@chbpap @ethereum @motiyung @ElaineRShi Was für eine wunderbare Nacht das war! ❤️