Na RobertoFestu dnes oslavíme 40 let příspěvků Roberta Tamassii k autentizovaným datovým strukturám (a nejen to!) Aktualizace se blíží! 👇

Michael Goodrich, který nám ukazuje, co si lidé mysleli o jeho a Robertových knihách o algoritmech:

Předtím @chbpap ukázat, jak Robertova klasická práce na perzistentních ověřených slovnících pohání moderní blockchainy, jako je @ethereum. (Počkejte, až vám povím o stromech Verkle pochází z...)

@chbpap @ethereum Giuseppe Di Battista, který všem vyprávěl o tom, jak použili tuto novou věc zvanou "internet" k odevzdání akademické práce, protože bylo příliš pozdě na to, aby poslali tištěnou kopii. (HotCRP ještě 😄 nebyl vynalezen )

@chbpap @ethereum Ioannis Tollis, který nám připomněl, jak vypadaly diapozitivy v roce 1986 👌 Otázka z publika: "Co to bylo za písmo?" 😅

@chbpap @ethereum Nejhezčí věcí na výzkumu jsou lidé! ❤️

@chbpap @ethereum @chbpap, jako mladý doktorand!

@chbpap @ethereum Je důležité si ujasnit priority akademického života!

@chbpap @ethereum Stromy, o kterých jsem nikdy předtím neslyšel...

@chbpap @ethereum

@chbpap @ethereum Chopte se noci (pracovat na grafových algoritmech a autentizovaných datových strukturách)

@chbpap @ethereum panel bývalých doktorandů Roberta.

@chbpap @ethereum @motiyung nám vyprávěl o svých zvláštních výzkumných návycích...

@chbpap @ethereum @motiyung ... a o době, kdy se setkal s Robertem: když oba museli spojit své dva příspěvky do jednoho.

@chbpap @ethereum @motiyung Jeden z jejich spoluautorů, Jeff Westbrook, je zřejmě jedním ze scenáristů seriálu Simpsonovi! 🤯 To je důvod, proč v seriálu vidíte tolik matematiky (jako P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, která nám vypráví o nařízení EUDI (děsivé) a o tom, jak by anonymní pověření pomohla poskytnout tolik potřebné soukromí původnímu, silně chybnému návrhu EU!

@chbpap @ethereum @motiyung (Musela jsem si dát pauzu od zveřejňování příspěvků: přednášky byly velmi poutavé. A ve vzduchu byl cítit zvláštní pocit: každý, kdo přednášel, tak činil z hloubi srdce, vyprávěl vzpomínky, ukazoval obrázky a někdy do toho propašoval i trochu technického obsahu.)

@chbpap @ethereum @motiyung @ElaineRShi a začala proslov.

@chbpap @ethereum @motiyung @ElaineRShi Elaine nám vyprávěla o Robertově práci na ORAMech. (Tento model externí paměti se během přednášek neustále objevoval. Možná se na to budete chtít podívat!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Papamanthou-Shi-Tamassia (PST) závazky: první (AFAIK) _vícerozměrné_ polynomiální závazkové schéma!

@chbpap @ethereum @motiyung @ElaineRShi Jednou z mých nejoblíbenějších věcí na tomto schématu je, jak jeho rozkladné lemma dává důkaz PCS otvoru.

@chbpap @ethereum @motiyung @ElaineRShi (Přečtěte si o tom více na , bude brzy aktualizováno!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Akumulační stromy (také známy jako Verkle trees)

@chbpap @ethereum @motiyung @ElaineRShi Akumulační stromy jsou pouze k-ární Merkleovy stromy, kde hashovací funkcí jsou kryptografické akumulátory (např. RSA nebo bilineární) Byly navrženy pro ověřování sad. Verkle stromy jsou malou variací představenou v [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle Trees, John Kuszmaul, 2018, Ale ve skutečnosti se Verkleovo paradigma k-árních Merkleových stromů s předponou k-ary, kde hashovací funkce je vektorovým závazkem, poprvé objevilo v [LY10; Sec. 4], i když v kontextu vytváření ZK množin.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Stručné závazky mercuriálního vektoru a nezávislé množiny s nulovými znalostmi s krátkými důkazy; Libert, Benoît a Yung, Moti; v TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Zobecněné hash stromy (nebo Herkleovy stromy: ) Merkleův strom s pěknými "homomorfními" vlastnostmi, velmi užitečný pro bezstavovou validaci.

@chbpap @ethereum @motiyung @ElaineRShi V [PSTY13] Roberto a jeho spoluautoři uvádějí Herkleův strom založený na mřížce z Ajtaiovy hašovací funkce. ⚠️ (Níže uvedený obrázek je přílišné zjednodušení!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Streamování ověřených datových struktur; od Papamanthou, Charalampos a Shi, Elaine a Tamassia, Roberto a Yi, Ke; v EUROCRYPT 2013; Bohužel, tento [PSTY13] Herkle má některé změny škálovatelnosti: zatímco hloubka stromu je neomezená, homomorfismus je omezený.

@chbpap @ethereum @motiyung @ElaineRShi To znamená, že homomorfní operace může být aplikována pouze po pevně stanovený počet časů, který je určen v době nastavení schématu. Navíc platí, že čím více operací chcete, tím méně efektivní je schéma. To je trochu nepříjemné: chtěli bychom *efektivní*, neomezený homomorfismus!

@chbpap @ethereum @motiyung @ElaineRShi (Existují i další Herkleovy stromy, jako jsou AMT a Hyperpoofy, jen přepínají problém: mají neomezený homomorfismus, ale omezenou hloubku. Pořád otravné.) To je skvělý výzkumný problém! Vyzývám všechny, aby se to pokusili vyřešit.

@chbpap @ethereum @motiyung @ElaineRShi (Existují i další stromy Herkle: AMT a Hyperpoofs . Ale oni jen přepnou problém: mají neomezený homomorfismus, ale omezenou hloubku. Pořád otravné.) To je skvělý výzkumný problém! Vyzývám všechny, aby se to pokusili vyřešit.

@chbpap @ethereum @motiyung @ElaineRShi Dobře: dost o stromech od lidí, kteří jsou jimi posedlí. Je čas na Robertovy závěrečné poznámky! Ty začaly vysvětlením, jak používal nepřátelské strojové učení (otravné útoky), aby se vyhnul dohledu své matky a unikl na otevřenou silnici po svém 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi Trik spočíval v tom, že si matku "špatně zvykl" věřit, že kdykoli se vydá na kole na projížďku po silničce před svým domem, vždy se rychle vrátí a přitom zůstane na dohled. Až jednoho dne našel příležitost a místo toho šel rovnou do 🛣️

@chbpap @ethereum @motiyung @ElaineRShi Robertovo první auto, na kterém bylo skutečně napsáno "Brown", i když to na tomto obrázku není vidět, což téměř předpovídalo, kde Roberto stráví většinu svého akademického života: Brownova univerzita

@chbpap @ethereum @motiyung @ElaineRShi Večer byl zakončen večeří, kde si lidé dál vyprávěli vtipy a příběhy.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich nám řekl, jaké je Robertovo klíčové učení: "vždy optimalizujte cestování,"

@chbpap @ethereum @motiyung @ElaineRShi To byla nádherná noc! ❤️