Di RobertoFest hari ini, merayakan 40 tahun kontribusi Roberto Tamassia terhadap struktur data yang diautentikasi (dan banyak lagi!) Pembaruan akan datang! 👇

Michael Goodrich, menunjukkan kepada kita bagaimana perasaan orang-orang tentang buku-buku algoritmanya dan Roberto:

Sebelum ini, @chbpap menampilkan bagaimana karya klasik Roberto pada kamus terautentikasi yang persisten mendukung blockchain modern seperti @ethereum. (Tunggu sampai saya memberi tahu Anda tentang pohon Verkle berasal dari ...)

@chbpap @ethereum Giuseppe Di Battista, memberi tahu semua orang tentang bagaimana mereka menggunakan hal baru yang disebut "internet" ini untuk mengirimkan makalah akademis karena sudah terlambat untuk mengirimkan salinan cetak. (HotCRP belum ditemukan) 😄

@chbpap @ethereum Ioannis Tollis, mengingatkan kita seperti apa slide pada tahun 1986 👌 Pertanyaan dari penonton: "Font apa itu?" 😅

@chbpap @ethereum Hal terbaik tentang penelitian adalah orang-orangnya! ❤️

@chbpap @ethereum @chbpap, sebagai mahasiswa PhD muda!

@chbpap @ethereum Penting untuk meluruskan prioritas kehidupan akademik Anda!

@chbpap @ethereum Pohon yang belum pernah saya dengar sebelumnya ...

@chbpap @ethereum

@chbpap @ethereum Seize the night (untuk mengerjakan algoritme grafik dan struktur data yang diautentikasi)

@chbpap @ethereum Panel mantan mahasiswa PhD Roberto.

@chbpap @ethereum @motiyung memberi tahu kami tentang kebiasaan penelitiannya yang aneh...

@chbpap @ethereum @motiyung ... dan sekitar waktu dia bertemu Roberto: ketika keduanya harus menggabungkan dua pengajuan mereka menjadi satu.

@chbpap @ethereum @motiyung Rupanya, salah satu rekan penulis mereka, Jeff Westbrook, adalah salah satu penulis The Simpsons! 🤯 Itu sebabnya Anda melihat begitu banyak matematika dalam pertunjukan (seperti P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, memberi tahu kami tentang peraturan EUDI (menakutkan) dan bagaimana kredensial anonim akan membantu memberikan privasi yang sangat dibutuhkan untuk proposal Uni Eropa yang awal dan sangat cacat!

@chbpap @ethereum @motiyung (Saya harus istirahat dari posting: pembicaraannya sangat menarik. Dan ada perasaan khusus di udara: semua orang yang memberikan ceramah melakukannya dari lubuk hati mereka, menceritakan kenangan, menunjukkan gambar, dan terkadang menyelinap ke dalam sedikit konten teknis.)

@chbpap @ethereum @motiyung @ElaineRShi, memulai pembicaraannya.

@chbpap @ethereum @motiyung @ElaineRShi Elaine memberi tahu kami tentang pekerjaan Roberto pada ORAM. (Model memori eksternal ini terus muncul selama pembicaraan. Mungkin ingin memeriksanya!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Komitmen Papamanthou-Shi-Tamassia (PST): skema komitmen polinomial _multivariate_ pertama (AFAIK)!

@chbpap @ethereum @motiyung @ElaineRShi Salah satu hal favorit saya tentang skema ini adalah bagaimana lema dekomposisinya menghasilkan bukti pembukaan PCS.

@chbpap @ethereum @motiyung @ElaineRShi (Baca lebih lanjut tentangnya di , akan segera diperbarui!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Pohon akumulasi (alias pohon Verkle)

@chbpap @ethereum @motiyung @ElaineRShi Pohon akumulasi hanyalah pohon Merkle k-ary di mana fungsi hash adalah akumulator kriptografi (misalnya, RSA atau biliar) Mereka dirancang untuk mengautentikasi set. Pohon verkle adalah variasi kecil yang diperkenalkan dalam [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Pohon Verkle, John Kuszmaul, 2018, Tapi, sungguh, paradigma Verkle dari pohon Merkle awalan k-ary di mana fungsi hash adalah komitmen vektor pertama kali muncul di [LY10; Sec. 4], meskipun dalam konteks membangun set ZK.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Komitmen Vektor Mercurial Ringkas dan Kumpulan Pengetahuan Nol Independen dengan Bukti Singkat; oleh Libert, Benoît dan Yung, Moti; di TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Pohon hash umum (atau pohon Herkle: ) Pohon Merkle dengan sifat "homomorfik" yang bagus, sangat berguna untuk validasi tanpa kewarganegaraan.

@chbpap @ethereum @motiyung @ElaineRShi Dalam [PSTY13], Roberto dan rekan penulisnya memberikan pohon Herkle berbasis kisi dari fungsi hash Ajtai. (⚠️ Gambar di bawah ini adalah penyederhanaan yang berlebihan!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Streaming Struktur Data yang Diautentikasi; oleh Papamanthou, Charalampos dan Shi, Elaine dan Tamassia, Roberto dan Yi, Ke; di EUROCRYPT 2013; Sayangnya, [PSTY13] Herkle ini memiliki beberapa perubahan skalabilitas: sementara kedalaman pohon tidak terbatas, homomomorfisme terbatas.

@chbpap @ethereum @motiyung @ElaineRShi Ini berarti operasi homomorfik hanya dapat diterapkan dalam jumlah waktu tertentu, ditentukan pada waktu penyiapan skema. Plus, semakin banyak operasi yang Anda inginkan, semakin kurang efisien skema tersebut. Ini agak menjengkelkan: kami menginginkan homomorfisme yang efisien dan tidak terbatas!

@chbpap @ethereum @motiyung @ElaineRShi (Ada pohon Herkle lain seperti AMT dan Hyperpoofs, mereka hanya mengganti masalah: mereka memiliki homomorfisme yang tidak terbatas tetapi kedalaman terbatas. Masih menyebalkan.) Sungguh masalah penelitian yang hebat! Saya mendesak semua orang untuk mencoba menyelesaikannya.

@chbpap @ethereum @motiyung @ElaineRShi (Ada pohon Herkle lainnya: AMT dan Hyperpoofs . Tapi mereka hanya mengubah masalah: mereka memiliki homomorfisme yang tidak terbatas tetapi kedalaman yang terbatas. Masih menyebalkan.) Sungguh masalah penelitian yang hebat! Saya mendesak semua orang untuk mencoba menyelesaikannya.

@chbpap @ethereum @motiyung @ElaineRShi Baiklah: cukup tentang pohon dari orang-orang yang terobsesi dengannya. Saatnya untuk sambutan penutup Roberto! Ini dimulai dengan penjelasan tentang bagaimana dia menggunakan pembelajaran mesin musuh (serangan keracunan) untuk menghindari pengawasan ibunya dan melarikan diri ke jalan terbuka dengan 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi Triknya adalah dengan "(salah) membiasakan" ibunya untuk percaya bahwa, setiap kali dia naik sepeda untuk berkendara di jalan kecil di depan rumahnya, dia akan selalu kembali dengan cepat sambil tetap terlihat. Sampai suatu hari, dia menemukan kesempatan, dan dia malah langsung pergi ke 🛣️

@chbpap @ethereum @motiyung @ElaineRShi mobil pertama Roberto, yang sebenarnya memiliki tulisan "Brown" di atasnya, meskipun Anda tidak dapat melihatnya di gambar ini, hampir meramalkan di mana Roberto akan menghabiskan sebagian besar kehidupan akademisnya: Universitas Brown

@chbpap @ethereum @motiyung @ElaineRShi Malam itu diakhiri dengan makan malam, di mana orang-orang terus bercerita dan bercerita.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich memberi tahu kita apa ajaran utama Roberto: "selalu optimalkan perjalanan,"

@chbpap @ethereum @motiyung @ElaineRShi Betapa indahnya malam ini! ❤️