Oggi a RobertoFest, celebriamo i 40 anni di contributi di Roberto Tamassia alle strutture dati autenticate (e non solo!) Aggiornamenti in arrivo!👇

Michael Goodrich, che ci mostra come si sentivano le persone riguardo ai suoi e ai libri di algoritmi di Roberto:

Prima di questo, @chbpap mostra come il lavoro classico di Roberto sui dizionari autenticati persistenti alimenta le moderne blockchain come @ethereum. (Aspetta finché non ti parlo di come sono nati gli alberi Verkle...)

@chbpap @ethereum Giuseppe Di Battista, raccontando a tutti di come hanno usato questa nuova cosa chiamata “internet” per inviare un articolo accademico perché era troppo tardi per spedire la copia stampata. (HotCRP non era ancora stato inventato 😄)

@chbpap @ethereum Ioannis Tollis, ci ricorda come erano le diapositive nel 1986 👌 Domanda dal pubblico: “Quale font era quello?” 😅

@chbpap @ethereum La cosa più bella della ricerca sono le persone! ❤️

@chbpap @ethereum @chbpap, come giovane studente di dottorato!

@chbpap @ethereum È importante stabilire le priorità della tua vita accademica!

@chbpap @ethereum Alberi di cui non avevo mai sentito parlare prima...

@chbpap @ethereum

@chbpap @ethereum Cogli la notte (per lavorare su algoritmi grafici e strutture dati autenticate)

@chbpap @ethereum Panel di ex-studenti di dottorato di Roberto.

@chbpap @ethereum @motiyung ci parla delle sue abitudini di ricerca peculiari…

@chbpap @ethereum @motiyung …e riguardo al momento in cui ha incontrato Roberto: quando i due hanno dovuto unire le loro due proposte in una sola.

@chbpap @ethereum @motiyung Apparentemente, uno dei loro co-autori, Jeff Westbrook, è uno degli scrittori de I Simpson! 🤯 Ecco perché vedi così tanta matematica nello show (come P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, ci parla della regolamentazione EUDI (spaventosa) e di come le credenziali anonime potrebbero fornire la privacy tanto necessaria alla proposta iniziale dell'UE, gravemente difettosa!

@chbpap @ethereum @motiyung (Ho dovuto fare una pausa dalla pubblicazione: le conferenze erano molto coinvolgenti. E c'era una sensazione speciale nell'aria: tutti coloro che hanno parlato lo hanno fatto con il cuore, raccontando ricordi, mostrando foto e a volte inserendo un po' di contenuto tecnico.)

@chbpap @ethereum @motiyung @ElaineRShi, inizia il suo intervento.

@chbpap @ethereum @motiyung @ElaineRShi Elaine ci ha parlato del lavoro di Roberto sugli ORAM. (Questo modello di memoria esterna è stato menzionato più volte durante le conferenze. Potresti voler approfondire!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Impegni Papamanthou-Shi-Tamassia (PST): il primo (per quanto ne so) schema di impegno polinomiale _multivariato_!

@chbpap @ethereum @motiyung @ElaineRShi Una delle mie cose preferite di questo schema è come il suo lemma di decomposizione produca una prova di apertura PCS.

@chbpap @ethereum @motiyung @ElaineRShi (Leggi di più su , aggiornamenti in arrivo!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Alberi di accumulazione (noti anche come alberi Verkle)

@chbpap @ethereum @motiyung @ElaineRShi Gli alberi di accumulazione sono semplicemente alberi di Merkle k-ari in cui la funzione hash è un accumulatore crittografico (ad es., RSA o bilineare) Sono stati progettati per autenticare insiemi. Gli alberi Verkle sono una piccola variazione introdotta in [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle Trees, John Kuszmaul, 2018, Ma, in realtà, il paradigma Verkle degli alberi Merkle a prefisso k-ario in cui la funzione hash è un impegno vettoriale è apparso per la prima volta in [LY10; Sec. 4], sebbene nel contesto della costruzione di insiemi ZK.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Impegni Mercuriali Concisi e Insiemi di Zero-Conoscenza Indipendenti con Prove Brevi; di Libert, Benoît e Yung, Moti; in TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Alberi hash generalizzati (o alberi di Herkle: ) Un albero di Merkle con belle proprietà "omomorfiche", molto utile per la validazione senza stato.

@chbpap @ethereum @motiyung @ElaineRShi In [PSTY13], Roberto e i suoi co-autori presentano un albero Herkle basato su reticolo derivato dalla funzione hash di Ajtai. (⚠️ La figura qui sotto è un'ipersemplificazione!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Strutture Dati Autenticate in Streaming; di Papamanthou, Charalampos e Shi, Elaine e Tamassia, Roberto e Yi, Ke; in EUROCRYPT 2013; Sfortunatamente, questo [PSTY13] Herkle ha alcune modifiche di scalabilità: mentre la profondità dell'albero è illimitata, l'omomorfismo è limitato.

@chbpap @ethereum @motiyung @ElaineRShi Questo significa che l'operazione omomorfica può essere applicata solo un numero fisso di volte, determinato al momento della configurazione dello schema. Inoltre, più operazioni desideri, meno efficiente diventa lo schema. Questo è piuttosto fastidioso: ci piacerebbe un omomorfismo *efficiente* e illimitato!

@chbpap @ethereum @motiyung @ElaineRShi (Ci sono altri alberi Herkle come AMT e Hyperpoofs, semplicemente cambiano il problema: hanno un'omomorfismo illimitato ma una profondità limitata. Ancora fastidioso.) Che grande problema di ricerca! Invito tutti a provare a risolverlo.

@chbpap @ethereum @motiyung @ElaineRShi (Ci sono altri alberi Herkle: AMT e Hyperpoofs. Ma spostano semplicemente il problema: hanno un'omomorfismo illimitato ma una profondità limitata. Ancora fastidioso.) Che grande problema di ricerca! Invito tutti a provare a risolverlo.

@chbpap @ethereum @motiyung @ElaineRShi Va bene: basta parlare di alberi da parte di chi è ossessionato da essi. È tempo per le osservazioni finali di Roberto! Queste sono iniziate con una spiegazione di come ha usato l'apprendimento automatico avversariale (attacchi di avvelenamento) per eludere la supervisione di sua madre e scappare sulla strada aperta con la sua 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi Il trucco era "(dis)abituare" sua madre a credere che, ogni volta che prendeva la bicicletta per un giro sulla piccola strada di fronte a casa sua, sarebbe sempre tornato rapidamente rimanendo in vista. Fino a quando un giorno, trovò un'opportunità e invece andò dritto verso il 🛣️

@chbpap @ethereum @motiyung @ElaineRShi La prima auto di Roberto, che aveva effettivamente scritto "Brown" su di essa, anche se non puoi vederlo in questa foto, quasi preannunciava dove Roberto avrebbe trascorso gran parte della sua vita accademica: Brown University

@chbpap @ethereum @motiyung @ElaineRShi La serata si è conclusa con una cena, dove le persone hanno continuato a raccontare barzellette e storie.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich ci dice qual è il principale insegnamento di Roberto: “ottimizza sempre i viaggi,”

@chbpap @ethereum @motiyung @ElaineRShi Che notte meravigliosa è stata questa! ❤️