En RobertoFest hoy, celebrando los 40 años de contribuciones de Roberto Tamassia a las estructuras de datos autenticadas (¡y más!) ¡Actualizaciones entrantes! 👇

Michael Goodrich, mostrándonos cómo se sentía la gente acerca de sus libros de algoritmos y los de Roberto:

Antes de esto, @chbpap mostrando cómo el trabajo clásico de Roberto sobre diccionarios autenticados persistentes impulsa las cadenas de bloques modernas como @ethereum. (Espera hasta que te cuente sobre los árboles Verkle de donde provienen ...)

@chbpap @ethereum Giuseppe Di Battista, contándoles a todos cómo usaron esta nueva cosa llamada "Internet" para enviar un trabajo académico porque era demasiado tarde para enviar la copia impresa por correo. (HotCRP aún 😄 no se había inventado)

@chbpap @ethereum Ioannis Tollis, recordándonos cómo eran las diapositivas en 1986 👌 Pregunta de la audiencia: "¿Qué fuente era esa?" 😅

@chbpap @ethereum ¡Lo mejor de la investigación es la gente! ❤️

@chbpap @ethereum @chbpap, como joven estudiante de doctorado!

@chbpap @ethereum ¡Es importante aclarar las prioridades de tu vida académica!

@chbpap @ethereum Árboles de los que nunca había oído hablar antes...

@chbpap @ethereum

@chbpap @ethereum Aprovecha la noche (para trabajar en algoritmos de gráficos y estructuras de datos autenticadas)

@chbpap @ethereum Panel de ex estudiantes de doctorado de Roberto.

@chbpap @ethereum @motiyung contándonos sobre sus peculiares hábitos de investigación...

@chbpap @ethereum @motiyung ... y sobre el momento en que conoció a Roberto: cuando los dos tuvieron que fusionar sus dos sumisiones en una.

@chbpap @ethereum @motiyung Aparentemente, uno de sus coautores, Jeff Westbrook, es uno de los escritores de ¡Los Simpson! 🤯 Es por eso que ves tantas matemáticas en el programa (como P != NP)

@chbpap @ethereum @motiyung Anna Lysyanskaya, hablándonos sobre el reglamento EUDI (aterrador) y cómo las credenciales anónimas ayudarían a dar la privacidad que tanto necesita la propuesta inicial de la UE.

@chbpap @ethereum @motiyung (Tuve que tomarme un descanso de la publicación: las charlas fueron muy atractivas. Y había un sentimiento especial en el aire: todos los que daban una charla lo hacían desde el fondo de su corazón, contando recuerdos, mostrando fotos y, a veces, colando un poco de contenido técnico).

@chbpap @ethereum @motiyung @ElaineRShi, comenzando su charla.

@chbpap @ethereum @motiyung @ElaineRShi Elaine nos contó sobre el trabajo de Roberto en ORAM. (Este modelo de memoria externa siguió apareciendo a lo largo de las charlas. ¡Es posible que quiera investigarlo!)

@chbpap @ethereum @motiyung @ElaineRShi 1. Compromisos Papamanthou-Shi-Tamassia (PST): ¡el primer esquema de compromiso polinómico _multivariante_ (AFAIK)!

@chbpap @ethereum @motiyung @ElaineRShi Una de mis cosas favoritas de este esquema es cómo su lema de descomposición produce una prueba de apertura PCS.

@chbpap @ethereum @motiyung @ElaineRShi (¡Lea más sobre esto en , se actualizará pronto!)

@chbpap @ethereum @motiyung @ElaineRShi 2. Árboles de acumulación (también conocidos como árboles Verkle)

@chbpap @ethereum @motiyung @ElaineRShi Los árboles de acumulación son solo árboles de Merkle k-ary donde la función hash es un acumulador criptográfico (por ejemplo, RSA o bilineal) Fueron diseñados para autenticar sets. Los árboles Verkle son una pequeña variación introducida en [Kusz18].

@chbpap @ethereum @motiyung @ElaineRShi [Kusz18]: Verkle Trees, John Kuszmaul, 2018, Pero, en realidad, el paradigma de Verkle de los árboles de Merkle con prefijo k-ario donde la función hash es un compromiso vectorial apareció por primera vez en [LY10; Sec. 4], aunque en el contexto de la construcción de conjuntos ZK.

@chbpap @ethereum @motiyung @ElaineRShi [LY10] Compromisos concisos de vectores mercuriales y conjuntos independientes de conocimiento cero con pruebas cortas; por Libert, Benoît y Yung, Moti; en TCC'10; 2010

@chbpap @ethereum @motiyung @ElaineRShi 3. Árboles de hachís generalizados (o árboles de Herkle: ) Un árbol de Merkle con buenas propiedades "homomórficas", muy útil para la validación sin estado.

@chbpap @ethereum @motiyung @ElaineRShi En [PSTY13], Roberto y sus coautores dan un árbol de Herkle basado en celosía a partir de la función hash de Ajtai. ⚠️ (¡La siguiente figura es una simplificación excesiva!)

@chbpap @ethereum @motiyung @ElaineRShi [PSTY13] Estructuras de datos autenticadas de transmisión; por Papamanthou, Charalampos y Shi, Elaine y Tamassia, Roberto y Yi, Ke; en EUROCRYPT 2013; Desafortunadamente, este [PSTY13] Herkle tiene algunos cambios de escalabilidad: mientras que la profundidad del árbol no está acotada, el homomorfismo está acotado.

@chbpap @ethereum @motiyung @ElaineRShi Esto significa que la operación homomórfica solo se puede aplicar un número fijo de tiempo, determinado en el momento de la configuración del esquema. Además, cuantas más operaciones desee, menos eficiente será el esquema. Esto es un poco molesto: ¡nos gustaría un homomorfismo *eficiente* e ilimitado!

@chbpap @ethereum @motiyung @ElaineRShi (Hay otros árboles de Herkle como AMT e Hyperpoofs, simplemente cambian el problema: tienen un homomorfismo ilimitado pero una profundidad limitada. Sigue siendo molesto). ¡Qué gran problema de investigación! Insto a todos a que intenten resolverlo.

@chbpap @ethereum @motiyung @ElaineRShi (Hay otros árboles de Herkle: AMT e Hyperpoofs. Pero simplemente cambian el problema: tienen un homomorfismo ilimitado pero una profundidad limitada. Sigue siendo molesto). ¡Qué gran problema de investigación! Insto a todos a que intenten resolverlo.

@chbpap @ethereum @motiyung @ElaineRShi Muy bien: basta de árboles de personas obsesionadas con ellos. ¡Es hora de las palabras finales de Roberto! Estos comenzaron con una explicación de cómo usó el aprendizaje automático adversario (ataques de envenenamiento) para evadir la supervisión de su madre y escapar a la carretera abierta en su 🚲 😆

@chbpap @ethereum @motiyung @ElaineRShi El truco consistía en "(des)habituar" a su madre para que creyera que, cada vez que da un paseo en bicicleta por la pequeña carretera frente a su casa, siempre regresará rápidamente mientras permanece a la vista. Hasta que un día, encontró una oportunidad y, en cambio, fue directamente a por el 🛣️

@chbpap @ethereum @motiyung @ElaineRShi el primer automóvil de Roberto, que en realidad tenía escrito "Brown", aunque no se puede ver en esta imagen, casi prediciendo dónde Roberto pasaría la mayor parte de su vida académica: la Universidad de Brown

@chbpap @ethereum @motiyung @ElaineRShi La noche terminó con una cena, donde la gente continuó contando chistes e historias.

@chbpap @ethereum @motiyung @ElaineRShi Mike Goodrich diciéndonos cuál es la enseñanza clave de Roberto: "siempre optimizar los viajes",

@chbpap @ethereum @motiyung @ElaineRShi ¡Qué noche tan maravillosa fue esta! ❤️