Na RobertoFest dzisiaj, świętując 40 lat wkładu Roberto Tamassii w uwierzytelnione struktury danych (i nie tylko!) Aktualizacje w drodze!👇

Michael Goodrich, pokazując nam, jak ludzie czuli się w związku z jego i Roberto książkami o algorytmach:

Przed tym, @chbpap pokazuje, jak klasyczna praca Roberto nad trwałymi uwierzytelnionymi słownikami napędza nowoczesne blockchainy, takie jak @ethereum. (Czekaj, aż opowiem ci o tym, skąd wzięły się drzewa Verkle…)

@chbpap @ethereum Giuseppe Di Battista, opowiadając wszystkim o tym, jak użyli tej nowej rzeczy zwanej „internetem”, aby przesłać pracę naukową, ponieważ było za późno, aby wysłać wydrukowaną kopię. (HotCRP jeszcze nie został wynaleziony 😄)

@chbpap @ethereum Ioannis Tollis, przypominając nam, jak wyglądały slajdy w 1986 roku 👌 Pytanie z publiczności: „Jaką czcionkę to było?” 😅

@chbpap @ethereum Najlepszą rzeczą w badaniach są ludzie! ❤️

@chbpap @ethereum @chbpap, jako młody doktorant!

@chbpap @ethereum Ważne jest, aby ustalić priorytety w swoim życiu akademickim!

@chbpap @ethereum Drzewa, o których nigdy wcześniej nie słyszałem…

@chbpap @ethereum

@chbpap @ethereum Chwyć noc (aby pracować nad algorytmami grafowymi i uwierzytelnionymi strukturami danych)

@chbpap @ethereum Panel byłych studentów doktoranckich Roberto.

@chbpap @ethereum @motiyung opowiadając nam o swoich osobliwych nawykach badawczych…

@chbpap @ethereum @motiyung …i o czasie, kiedy spotkał Roberto: kiedy obaj musieli połączyć swoje dwa zgłoszenia w jedno.

@chbpap @ethereum @motiyung Najwyraźniej jeden z ich współautorów, Jeff Westbrook, jest jednym z autorów Simpsonów! 🤯 Dlatego w programie jest tak dużo matematyki (jak P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya opowiada nam o regulacji EUDI (przerażająca) i o tym, jak anonimowe poświadczenia mogłyby pomóc zapewnić niezbędną prywatność w początkowej, mocno wadliwej propozycji UE!

@chbpap @ethereum @motiyung (Musiałem zrobić przerwę od publikowania: rozmowy były bardzo angażujące. I była specjalna atmosfera: każdy, kto wygłaszał wykład, robił to z głębi serca, wspominając wspomnienia, pokazując zdjęcia i czasami wplatając trochę treści technicznej.)

@chbpap @ethereum @motiyung @ElaineRShi, rozpoczynając swoją prezentację.

@chbpap @ethereum @motiyung @ElaineRShi Elaine opowiedziała nam o pracy Roberto nad ORAM-ami. (Ten model pamięci zewnętrznej pojawiał się w trakcie wykładów. Może warto się w to zagłębić!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Zobowiązania Papamanthou-Shi-Tamassia (PST): pierwszy (o ile mi wiadomo) _wielowymiarowy_ schemat zobowiązań wielomianowych!

Jedną z moich ulubionych rzeczy w tym schemacie jest to, jak jego lematu dekompozycji prowadzi do dowodu otwarcia PCS.

@chbpap @ethereum @motiyung @ElaineRShi (Przeczytaj więcej na ten temat wkrótce!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Drzewa akumulacji (znane również jako drzewa Verkle)

@chbpap @ethereum @motiyung @ElaineRShi Drzewa akumulacyjne to po prostu k-ary drzewa Merkle, w których funkcją haszującą są akumulatory kryptograficzne (np. RSA lub bilinearne). Zostały zaprojektowane w celu uwierzytelniania zbiorów. Drzewa Verkle to mała modyfikacja wprowadzona w [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle Trees, John Kuszmaul, 2018, Ale tak naprawdę, paradygmat Verkle k-aryjnych drzew Merkle, w którym funkcja haszująca jest zobowiązaniem wektorowym, po raz pierwszy pojawił się w [LY10; Sec. 4], chociaż w kontekście budowania zbiorów ZK.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Zwięzłe zobowiązania wektorowe Mercuriala i niezależne zbiory zero-knowledge z krótkimi dowodami; autorzy: Libert, Benoît i Yung, Moti; w TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Uogólnione drzewa haszujące (lub drzewa Herkle: ) Drzewo Merkle o ładnych właściwościach "homomorficznych", bardzo przydatne do walidacji bezstanowej.

@chbpap @ethereum @motiyung @ElaineRShi W [PSTY13], Roberto i jego współautorzy przedstawiają drzewo Herkle oparte na siatce z funkcji haszującej Ajtai. (⚠️ Poniższy rysunek jest zbytnim uproszczeniem!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Strumieniowe Uwierzytelnione Struktury Danych; autorzy: Papamanthou, Charalampos i Shi, Elaine oraz Tamassia, Roberto i Yi, Ke; w EUROCRYPT 2013; Niestety, ten [PSTY13] Herkle ma pewne zmiany w zakresie skalowalności: podczas gdy głębokość drzewa jest nieograniczona, homomorfizm jest ograniczony.

@chbpap @ethereum @motiyung @ElaineRShi Oznacza to, że operacja homomorficzna może być stosowana tylko określoną liczbę razy, ustaloną w czasie konfiguracji schematu. Ponadto, im więcej operacji chcesz wykonać, tym mniej efektywny staje się schemat. To jest dość irytujące: chcielibyśmy *efektywnego*, nieograniczonego homomorfizmu!

@chbpap @ethereum @motiyung @ElaineRShi (Są inne drzewa Herkle, takie jak AMT i Hyperpoof, które po prostu zmieniają problem: mają nieograniczoną homomorficzność, ale ograniczoną głębokość. Wciąż irytujące.) Jaki wspaniały problem badawczy! Zachęcam wszystkich do próby jego rozwiązania.

@chbpap @ethereum @motiyung @ElaineRShi (Są inne drzewa Herkle: AMT i Hyperpoof. Ale one tylko zmieniają problem: mają nieograniczoną homomorfizmę, ale ograniczoną głębokość. Wciąż irytujące.) Jaki wspaniały problem badawczy! Zachęcam wszystkich do próby jego rozwiązania.

@chbpap @ethereum @motiyung @ElaineRShi Dobrze: dość o drzewach od ludzi, którzy są nimi obsesjonowani. Czas na końcowe uwagi Roberto! Zaczęło się od wyjaśnienia, jak użył on przeciwnych technik uczenia maszynowego (ataków z użyciem trucizny), aby uniknąć nadzoru matki i uciec na otwartą drogę na swoim 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi Sztuczka polegała na tym, aby „(źle) przyzwyczaić” jego matkę do myślenia, że za każdym razem, gdy bierze rower na przejażdżkę po małej drodze przed swoim domem, zawsze szybko wróci, pozostając w zasięgu wzroku. Aż pewnego dnia znalazł okazję i zamiast tego pojechał prosto na 🛣️

@chbpap @ethereum @motiyung @ElaineRShi Pierwszy samochód Roberto, na którym faktycznie było napisane „Brown”, chociaż nie widać tego na tym zdjęciu, niemal przewidywał, gdzie Roberto spędzi większość swojego życia akademickiego: Uniwersytet Brown

@chbpap @ethereum @motiyung @ElaineRShi Noc zakończyła się kolacją, podczas której ludzie nadal opowiadali dowcipy i historie.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich mówi nam, jaka jest kluczowa nauka Roberto: „zawsze optymalizuj podróż,”

@chbpap @ethereum @motiyung @ElaineRShi Co to była wspaniała noc! ❤️