På RobertoFest i dag, feirer Roberto Tamassias 40 år med bidrag til autentiserte datastrukturer (og mer!) Oppdateringer kommer! 👇

Michael Goodrich, som viser oss hva folk følte om hans og Robertos algoritmebøker:

Før dette viser @chbpap hvordan Robertos klassiske arbeid med vedvarende autentiserte ordbøker driver moderne blokkjeder som @ethereum. (Vent til jeg forteller deg om Verkle-trær kom fra...)

@chbpap @ethereum Giuseppe Di Battista, og fortalte alle om hvordan de brukte denne nye tingen kalt "internett" til å sende inn en akademisk oppgave fordi det var for sent å sende den trykte kopien. (HotCRP ble ikke oppfunnet ennå 😄)

@chbpap @ethereum Ioannis Tollis, som minner oss om hvordan lysbilder så ut i 1986 👌 Spørsmål fra publikum: "Hvilken font var det?" 😅

@chbpap @ethereum Det fineste med forskning er menneskene! ❤️

@chbpap @ethereum @chbpap, som ung doktorgradsstudent!

@chbpap @ethereum Det er viktig å sette dine akademiske livsprioriteringer rett!

@chbpap @ethereum trær jeg aldri hørt om før...

@chbpap @ethereum

@chbpap @ethereum Grip natten (for å jobbe med grafalgoritmer og autentiserte datastrukturer)

@chbpap @ethereum Panel av tidligere doktorgradsstudenter av Roberto.

@chbpap @ethereum @motiyung å fortelle oss om hans særegne forskningsvaner ...

@chbpap @ethereum @motiyung ... og omtrent på den tiden han møtte Roberto: da de to måtte slå sammen sine to bidrag til ett.

@chbpap @ethereum @motiyung Tilsynelatende er en av deres medforfattere, Jeff Westbrook, en av forfatterne av The Simpsons! 🤯 Det er derfor du ser så mye matematikk i showet (som P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, som forteller oss om EUDI-forordningen (skummelt) og hvordan anonym legitimasjon ville bidra til å gi sårt tiltrengt personvern til det første, sterkt mangelfulle EU-forslaget!

@chbpap @ethereum @motiyung (Jeg måtte ta en pause fra å poste: samtalene var veldig engasjerende. Og det var en spesiell følelse i luften: alle som holdt et foredrag gjorde det fra bunnen av hjertet, fortalte minner, viste bilder og snek noen ganger inn litt teknisk innhold.)

@chbpap @ethereum @motiyung @ElaineRShi og begynte å snakke hennes.

@chbpap @ethereum @motiyung @ElaineRShi Elaine fortalte oss om Robertos arbeid med ORAMs. (Denne eksterne minnemodellen dukket stadig opp gjennom samtalene. Kan det være lurt å se nærmere på det!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Papamanthou-Shi-Tamassia (PST) forpliktelser: den første (AFAIK) _multivariate_ polynomforpliktelsesordningen!

@chbpap @ethereum @motiyung @ElaineRShi En av mine favorittting med dette skjemaet er hvordan dekomponeringslemmaet gir et PCS-åpningsbevis.

@chbpap @ethereum @motiyung @ElaineRShi (Les mer om det på , oppdateres snart!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Akkumuleringstrær (også kjent som Verkle-trær)

@chbpap @ethereum @motiyung @ElaineRShi Akkumuleringstrær er bare k-ary Merkle-trær der hash-funksjonen er en kryptografisk akkumulatorer (f.eks. RSA eller bilineær) De ble designet for å autentisere sett. Verkle-trær er en liten variant introdusert i [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle Trees, John Kuszmaul, 2018, Men egentlig dukket Verkle-paradigmet med k-ary-prefikset Merkle-trær der hash-funksjonen er en vektorforpliktelse først opp i [LY10; Sec. 4], men i sammenheng med å bygge ZK-sett.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Kortfattede Mercurial Vector-forpliktelser og uavhengige nullkunnskapssett med korte bevis; av Libert, Benoît og Yung, Moti; i TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Generaliserte hasjtrær (eller Herkle-trær: ) Et Merkle-tre med fine "homomorfe" egenskaper, veldig nyttig for statsløs validering.

@chbpap @ethereum @motiyung @ElaineRShi I [PSTY13] gir Roberto og hans medforfattere et gitterbasert Herkle-tre fra Ajtai-hash-funksjonen. (⚠️ Figuren nedenfor er en overforenkling!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Streaming autentiserte datastrukturer; av Papamanthou, Charalampos og Shi, Elaine og Tamassia, Roberto og Yi, Ke; i EUROCRYPT 2013; Dessverre har denne [PSTY13] Herkle noen skalerbarhetsendringer: mens tredybden er ubegrenset, er homomorfismen begrenset.

@chbpap @ethereum @motiyung @ElaineRShi Dette betyr at den homomorfe operasjonen bare kan brukes et fast antall ganger, bestemt på oppsetttidspunktet for skjemaet. I tillegg, jo flere operasjoner du ønsker, jo mindre effektiv blir ordningen. Dette er litt irriterende: vi vil ha *effektiv*, ubegrenset homomorfisme!

@chbpap @ethereum @motiyung @ElaineRShi (Det er andre Herkle-trær som AMT-er og Hyperpoofs, de bytter bare problemet: de har ubegrenset homomorfisme, men begrenset dybde. Fortsatt irriterende.) For et flott forskningsproblem! Jeg oppfordrer alle til å prøve å løse det.

@chbpap @ethereum @motiyung @ElaineRShi (Det er andre Herkle-trær: AMT-er og Hyperpoofs. Men de bare bytter på problemet: de har ubegrenset homomorfisme, men begrenset dybde. Fortsatt irriterende.) For et flott forskningsproblem! Jeg oppfordrer alle til å prøve å løse det.

@chbpap @ethereum @motiyung @ElaineRShi Greit: nok om trær fra folk som er besatt av dem. Tid for Robertos avsluttende kommentarer! Disse startet med en forklaring på hvordan han brukte fiendtlig maskinlæring (forgiftningsanfall) for å unndra seg morens tilsyn og flykte til den åpne veien på hans 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi Trikset var å "(mis)venne" moren til å tro at når han tar sykkelen på en tur på den lille veien foran huset sitt, vil han alltid komme raskt tilbake mens han forblir i sikte. Helt til han en dag fant en mulighet, og han gikk i stedet rett til 🛣️

@chbpap @ethereum @motiyung @ElaineRShi Robertos første bil, som faktisk hadde «Brown» skrevet på seg, selv om du ikke kan se det på dette bildet, og nesten forutsa hvor Roberto ville tilbringe mesteparten av sitt akademiske liv: Brown University

@chbpap @ethereum @motiyung @ElaineRShi Kvelden ble avsluttet med en middag, hvor folk fortsatte å fortelle vitser og historier.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich som forteller oss hva Robertos viktigste lære er: "alltid optimalisere reiser,"

@chbpap @ethereum @motiyung @ElaineRShi For en fantastisk kveld dette var! ❤️