La RobertoFest astăzi, sărbătorim cei 40 de ani de contribuții ale lui Roberto Tamassia la structurile de date autentificate (și multe altele!) Actualizări în sosire! 👇

Michael Goodrich, arătându-ne ce părere au oamenii despre cărțile sale și ale lui Roberto:

Înainte de aceasta, @chbpap prezintă modul în care munca clasică a lui Roberto asupra dicționarelor autentificate persistente alimentează blockchain-urile moderne precum @ethereum. (Așteptați până vă spun despre copacii Verkle din ...)

@chbpap @ethereum Giuseppe Di Battista, spunând tuturor despre cum au folosit acest nou lucru numit "internet" pentru a trimite o lucrare academică pentru că era prea târziu pentru a trimite copia tipărită. (HotCRP nu a fost încă 😄 inventat)

@chbpap @ethereum Ioannis Tollis, amintindu-ne cum arătau toboganele în 1986 👌 Întrebarea publicului: "Ce font a fost acesta?" 😅

@chbpap @ethereum Cel mai frumos lucru despre cercetare sunt oamenii! ❤️

@chbpap @ethereum @chbpap, ca tânăr doctorand!

@chbpap @ethereum Este important să-ți stabilești prioritățile vieții academice!

@chbpap @ethereum Copaci despre care nu am mai auzit până acum...

@chbpap @ethereum

@chbpap @ethereum Profitați de noapte (pentru a lucra la algoritmi grafici și structuri de date autentificate)

@chbpap @ethereum Grup de foști doctoranzi de la Roberto.

@chbpap @ethereum @motiyung ne povestește despre obiceiurile sale ciudate de cercetare...

@chbpap @ethereum @motiyung ... și cam pe vremea când l-a întâlnit pe Roberto: când cei doi au trebuit să-și îmbine cele două propuneri într-una singură.

@chbpap @ethereum @motiyung Se pare că unul dintre co-autorii lor, Jeff Westbrook, este unul dintre scenariștii The Simpsons! 🤯 De aceea vezi atât de multă matematică în serial (cum ar fi P!= NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, spunându-ne despre regulamentul EUDI (înfricoșător) și despre modul în care acreditările anonime ar ajuta la oferirea intimității atât de necesare propunerii inițiale a UE!

@chbpap @ethereum @motiyung (A trebuit să iau o pauză de la postare: discuțiile au fost foarte captivante. Și era un sentiment special în aer: toți cei care au ținut un discurs au făcut-o din adâncul inimii, povestind amintiri, arătând imagini și uneori strecurându-se un pic de conținut tehnic.)

@chbpap @ethereum @motiyung @ElaineRShi, începându-și discursul.

@chbpap @ethereum @motiyung @ElaineRShi Elaine ne-a povestit despre munca lui Roberto la ORAM. (Acest model de memorie externă a continuat să apară pe tot parcursul discuțiilor. Poate doriți să vă uitați la asta!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Angajamente Papamanthou-Shi-Tamassia (PST): prima schemă de angajamente polinomiale (AFAIK) _multivariate_!

@chbpap @ethereum @motiyung @ElaineRShi Unul dintre lucrurile mele preferate la această schemă este modul în care lema sa de descompunere produce o dovadă de deschidere PCS.

@chbpap @ethereum @motiyung @ElaineRShi (Citiți mai multe despre asta la , va fi actualizat în curând!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Arbori de acumulare (a.k.a., arbori Verkle)

@chbpap @ethereum @motiyung @ElaineRShi Arborii de acumulare sunt doar arbori Merkle k-ari în care funcția hash este un acumulator criptografic (de exemplu, RSA sau biliniar) Au fost concepute pentru a autentifica seturile. Copacii Verkle sunt o mică variație introdusă în [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Copaci Verkle, John Kuszmaul, 2018, Dar, de fapt, paradigma Verkle a arborilor Merkle cu prefix k-ary, unde funcția hash este un angajament vectorial, a apărut pentru prima dată în [LY10; Sec. 4], deși în contextul construirii mulțimilor ZK.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Angajamente concise de vectori mercuriali și seturi independente de cunoștințe zero cu dovezi scurte; de Libert, Benoît și Yung, Moti; în TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Hașiș generalizat (sau arbori Herkle: ) Un arbore Merkle cu proprietăți "homomorfe" frumoase, foarte util pentru validarea fără stat.

@chbpap @ethereum @motiyung @ElaineRShi În [PSTY13], Roberto și co-autorii săi dau un arbore Herkle bazat pe rețea din funcția hash Ajtai. (⚠️ Figura de mai jos este o simplificare excesivă!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Structuri de date autentificate în flux; de Papamanthou, Charalampos și Shi, Elaine și Tamassia, Roberto și Yi, Ke; în EUROCRYPT 2013; Din păcate, acest [PSTY13] Herkle are unele modificări de scalabilitate: în timp ce adâncimea arborelui este nelimitată, omomorfismul este limitat.

@chbpap @ethereum @motiyung @ElaineRShi Aceasta înseamnă că operația homomorfă poate fi aplicată doar un număr fix de timp, determinat la momentul configurării schemei. În plus, cu cât doriți mai multe operațiuni, cu atât schema devine mai puțin eficientă. Acest lucru este oarecum enervant: ne-ar plăcea un omomorfism *eficient*, nelimitat!

@chbpap @ethereum @motiyung @ElaineRShi (Există și alți arbori Herkle precum AMT și Hyperpoofs, ei doar schimbă problema: au omomorfism nelimitat, dar adâncime limitată. Încă enervant.) Ce mare problemă de cercetare! Îi îndemn pe toți să încerce să o rezolve.

@chbpap @ethereum @motiyung @ElaineRShi (Există și alți arbori Herkle: AMT și Hyperpoofs . Dar ei schimbă problema: au omomorfism nelimitat, dar profunzime limitată. Încă enervant.) Ce mare problemă de cercetare! Îi îndemn pe toți să încerce să o rezolve.

@chbpap @ethereum @motiyung @ElaineRShi Bine: destul despre copaci de la oameni care sunt obsedați de ei. E timpul pentru remarcile de încheiere ale lui Roberto! Acestea au început cu o explicație a modului în care a folosit învățarea automată adversă (atacuri de otrăvire) pentru a scăpa de supravegherea mamei sale și a scăpa pe drumul deschis pe drumul său 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi Trucul a fost să-și "obișnuiască greșit" mama să creadă că, ori de câte ori ia bicicleta la o plimbare pe drumul mic din fața casei sale, se va întoarce repede în timp ce rămâne la vedere. Până când, într-o zi, a găsit o oportunitate și a mers direct la 🛣️

@chbpap @ethereum @motiyung @ElaineRShi prima mașină a lui Roberto, care avea de fapt scris "Brown", chiar dacă nu o poți vedea în această imagine, aproape prevăzând unde Roberto își va petrece cea mai mare parte a vieții academice: Universitatea Brown

@chbpap @ethereum @motiyung @ElaineRShi Noaptea s-a încheiat cu o cină, în care oamenii au continuat să spună glume și povești.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich care este învățătura cheie a lui Roberto: "optimizați întotdeauna călătoriile",

@chbpap @ethereum @motiyung @ElaineRShi Ce noapte minunată a fost! ❤️