Vandaag op RobertoFest, ter gelegenheid van Roberto Tamassia's 40 jaar bijdragen aan geauthenticeerde datastructuren (en meer!) Updates komen eraan!👇

Michael Goodrich, die ons laat zien hoe mensen zich voelden over zijn en Roberto's algoritmeboeken:

Voordat dit gebeurde, @chbpap die laat zien hoe Roberto's klassieke werk over persistente geauthenticeerde woordenboeken moderne blockchains zoals @ethereum aandrijft. (Wacht tot ik je vertel over waar Verkle-bomen vandaan komen...)

@chbpap @ethereum Giuseppe Di Battista, vertelt iedereen hoe ze deze nieuwe dingen genaamd "het internet" hebben gebruikt om een academisch artikel in te dienen omdat het te laat was om de gedrukte kopie op te sturen. (HotCRP was nog niet uitgevonden 😄)

@chbpap @ethereum Ioannis Tollis, die ons herinnert hoe dia's eruitzagen in 1986 👌 Vraag uit het publiek: “Welke lettertype was dat?” 😅

@chbpap @ethereum Het mooiste aan onderzoek zijn de mensen! ❤️

@chbpap @ethereum @chbpap, als een jonge PhD-student!

@chbpap @ethereum Het is belangrijk om je academische levensprioriteiten op orde te krijgen!

@chbpap @ethereum Bomen waar ik nog nooit van gehoord heb...

@chbpap @ethereum

@chbpap @ethereum Grijp de nacht (om aan grafalgoritmen en geverifieerde datastructuren te werken)

@chbpap @ethereum Panel van ex-PhD-studenten van Roberto.

@chbpap @ethereum @motiyung vertelt ons over zijn eigenaardige onderzoeksgewoonten…

@chbpap @ethereum @motiyung …en over de tijd dat hij Roberto ontmoette: toen de twee hun twee inzendingen in één moesten samenvoegen.

@chbpap @ethereum @motiyung Blijkbaar is een van hun co-auteurs, Jeff Westbrook, een van de schrijvers van The Simpsons! 🤯 Dat is waarom je zoveel wiskunde in de show ziet (zoals P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, vertelt ons over de EUDI-regelgeving (eng) en hoe anonieme referenties zouden helpen om de broodnodige privacy te bieden aan het oorspronkelijke, zwaar gebrekkige EU-voorstel!

@chbpap @ethereum @motiyung (Ik moest even stoppen met posten: de gesprekken waren zeer boeiend. En er hing een speciale sfeer in de lucht: iedereen die een lezing gaf, deed dat vanuit het diepste van zijn hart, vertelde herinneringen, toonde foto's en voegde soms een beetje technische inhoud toe.)

@chbpap @ethereum @motiyung @ElaineRShi, begint haar praatje.

@chbpap @ethereum @motiyung @ElaineRShi Elaine vertelde ons over Roberto's werk aan ORAMs. (Dit externe geheugmodel kwam steeds terug tijdens de gesprekken. Misschien wil je er meer over kijken!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Papamanthou-Shi-Tamassia (PST) verplichtingen: de eerste (voor zover ik weet) _multivariate_ polynoomverplichtingsschema!

@chbpap @ethereum @motiyung @ElaineRShi Een van mijn favoriete dingen aan dit schema is hoe de decompositielemma een PCS-opening bewijs oplevert.

@chbpap @ethereum @motiyung @ElaineRShi (Lees meer hierover op , binnenkort bijgewerkt!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Accumulatietrees (ook wel Verkle-trees genoemd)

@chbpap @ethereum @motiyung @ElaineRShi Accumulatietrees zijn gewoon k-ary Merkle-trees waarbij de hashfunctie cryptografische accumulators zijn (bijv. RSA of bilineair) Ze zijn ontworpen om verzamelingen te authentiseren. Verkle-trees zijn een kleine variatie die is geïntroduceerd in [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle Trees, John Kuszmaul, 2018, Maar, echt, het Verkle-paradigma van k-ary prefix Merkle-bomen waarbij de hashfunctie een vectorcommitment is, verscheen voor het eerst in [LY10; Sec. 4], hoewel in de context van het bouwen van ZK-sets.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Bondige Mercurial Vector Verbintenissen en Onafhankelijke Zero-Knowledge Sets met Korte Bewijzen; door Libert, Benoît en Yung, Moti; in TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Gegeneraliseerde hashtrees (of Herkle-bomen: ) Een Merkle-boom met mooie "homomorfe" eigenschappen, zeer nuttig voor stateless validatie.

@chbpap @ethereum @motiyung @ElaineRShi In [PSTY13] geven Roberto en zijn co-auteurs een rooster-gebaseerde Herkle-boom van de Ajtai-hashfunctie. (⚠️ De afbeelding hieronder is een te grote vereenvoudiging!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Streaming Geauthenticeerde Gegevensstructuren; door Papamanthou, Charalampos en Shi, Elaine en Tamassia, Roberto en Yi, Ke; in EUROCRYPT 2013; Helaas heeft deze [PSTY13] Herkle enkele schaalbaarheidswijzigingen: terwijl de diepte van de boom onbeperkt is, is de homomorfisme beperkt.

@chbpap @ethereum @motiyung @ElaineRShi Dit betekent dat de homomorfe bewerking slechts een vast aantal keren kan worden toegepast, bepaald tijdens de opzet van het schema. Bovendien, hoe meer bewerkingen je wilt, hoe minder efficiënt het schema wordt. Dit is een beetje vervelend: we willen *efficiënte*, onbeperkte homomorfisme!

@chbpap @ethereum @motiyung @ElaineRShi (Er zijn andere Herkle-bomen zoals AMT's en Hyperpoofs, ze draaien het probleem gewoon om: ze hebben onbeperkte homomorfisme maar beperkte diepte. Nog steeds vervelend.) Wat een geweldig onderzoeksprobleem! Ik moedig iedereen aan om te proberen het op te lossen.

@chbpap @ethereum @motiyung @ElaineRShi (Er zijn andere Herkle-bomen: AMT's en Hyperpoofs. Maar ze draaien het probleem gewoon om: ze hebben ongebonden homomorfisme maar beperkte diepte. Nog steeds vervelend.) Wat een geweldig onderzoeksprobleem! Ik moedig iedereen aan om te proberen het op te lossen.

@chbpap @ethereum @motiyung @ElaineRShi Goed: genoeg over bomen van mensen die er geobsedeerd door zijn. Tijd voor Roberto's slotopmerkingen! Deze begonnen met een uitleg over hoe hij adversarial machine learning (vergiftigingsaanvallen) gebruikte om de supervisie van zijn moeder te ontlopen en te ontsnappen naar de open weg op zijn 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi De truc was om zijn moeder te "(mis)gewennen" te laten geloven dat, telkens wanneer hij met de fiets een ritje maakt op de kleine weg voor zijn huis, hij altijd snel terug zal komen terwijl hij in het zicht blijft. Tot op een dag, hij een kans vond, en hij in plaats daarvan recht naar de 🛣️ ging.

@chbpap @ethereum @motiyung @ElaineRShi Roberto's eerste auto, waarop eigenlijk "Brown" geschreven stond, ook al zie je het niet op deze foto, voorspelde bijna waar Roberto het grootste deel van zijn academische leven zou doorbrengen: Brown University

@chbpap @ethereum @motiyung @ElaineRShi De avond eindigde met een diner, waar mensen doorgingen met het vertellen van grappen en verhalen.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich vertelt ons wat de belangrijkste les van Roberto is: “optimaliseer altijd je reizen,”

@chbpap @ethereum @motiyung @ElaineRShi Wat een geweldige nacht was dit! ❤️