Revisión del Año de Investigación de SDF 2024

En 2023, Stellar Development Foundation (SDF) estableció un equipo de investigación que colabora con investigadores académicos e industriales para abordar problemas científicos que muestran potencial para avanzar en la misión de SDF de acceso equitativo a los servicios financieros y que pueden beneficiar a todo el ecosistema blockchain.

El equipo de investigación de SDF contribuye a la comunidad investigadora de manera similar a como lo hacen muchos académicos. Trabajamos en problemas científicos novedosos y publicamos y damos charlas sobre nuestros resultados en lugares académicos (conferencias y revistas revisadas por pares, talleres, etc.). Además, servimos a la comunidad organizando talleres científicos, revisando artículos, participando en comités de programas de conferencias, enseñando y ofreciendo pasantías de investigación para estudiantes de doctorado. Finalmente, dirigimos el programa de subvenciones para investigación académica de SDF.

Ocurrió mucho en 2024, así que queríamos proporcionar un breve resumen de todo lo que logramos.

1. Evolución del equipo

En abril de 2024, Iftach Haitner (Profesor en la Universidad de Tel-Aviv, en excedencia) se unió a SDF como investigador a tiempo completo en criptografía. Con nuestro otro investigador Giuliano Losa, quien se enfoca en computación distribuida y métodos formales, esto llevó a nuestro pequeño equipo a dos investigadores a tiempo completo. Para complementar nuestro equipo interno, también trabajamos con dos contratistas a tiempo parcial, Eli Gafni (Profesor Emérito, UCLA) y Moshen Lesani (Profesor Asociado, UC Santa Cruz), y dos pasantes de investigación, Yunqi Zhang (Candidato a PhD, Universidad Estatal de Ohio) y Patrick Redmond (Candidato a PhD, UC Santa Cruz).

2. Talleres

Swen Jacobs (CISPA Helmholtz Center for Information Security) y Giuliano Losa organizaron el 11º Taller sobre Razonamiento Formal en Algoritmos Distribuidos (FRIDA 2024) como parte de CAV 2024. El taller reunió a investigadores tanto de la industria como del ámbito académico. Más información en https://frida-2024.github.io/

3. Publicaciones

El trabajo que involucra a los investigadores de SDF llevó a 3 publicaciones revisadas por pares.

• En colaboración con Xuechao Wang y su estudiante Qianyu Yu en la Universidad de Ciencia y Tecnología de Hong Kong (Guangzhou): Qianyu Yu, Giuliano Losa y Xuechao Wang. “TetraBFT: Reduciendo la Latencia del Consenso BFT no Autenticado y Responsivo.” En las Actas del 43º Simposio ACM sobre Principios de Computación Distribuida, pp. 257-267. 2024.
• En colaboración con Francesco D’Amato y Luca Zanolini de la Fundación Ethereum: Francesco D’Amato, Giuliano Losa y Luca Zanolini. “Protocolos de Difusión Total de Orden Resilientes a la Asincronía.” En las Actas del 43º Simposio ACM sobre Principios de Computación Distribuida, pp. 247-256. 2024.
• Giuliano Losa y Eli Gafni. “Anuncio Breve: Entendiendo las Coberturas Libres de Espera de Lectura-Escritura en el Modelo de Memoria Compartida Totalmente Anónimo.” En las Actas del 43º Simposio ACM sobre Principios de Computación Distribuida, pp. 465-468. 2024.

Otro trabajo sobre superposiciones peer-to-peer está programado para aparecer en Criptografía Financiera y Seguridad de Datos 2025 en abril de 2025, y tenemos varios proyectos en proceso en criptografía, computación distribuida y métodos formales. En particular, Iftach ha estado intensificando su trabajo en Criptografía y ahora tiene 5 artículos en proceso de presentación, incluyendo:

• En colaboración con Dan Boneh, Iftach Haitner y Yehuda Lindell.

VRFs Exponenciales y Sus Aplicaciones.

• En colaboración con Iftach Haitner con Yehuda Lindell y Nikolaos Makriyannis. Compromisos Enteros, Herramientas Viejas y Nuevas.
• En colaboración con Iftach Haitner y Yonatan Karidi-Heller.Un Límite Inferior Ajustado sobre el Volteo de Moneda de Información Completa Seguro Adaptativamente

4. Charlas

Miembros del equipo de investigación de SDF dieron 5 charlas de investigación en 2024:

• El 17 de diciembre de 2024, Giuliano dio una charla remota sobre Acuerdo Bizantino Federado en el Taller WIDE en Rennes, Francia.
• El 10 de septiembre de 2024, Giuliano dio una charla sobre la verificación formal de propiedades de vivacidad de algoritmos de consenso en el Encuentro Comunitario TLA+ en Milán, Italia.
• El 5 de septiembre de 2024, Giuliano dio una charla sobre Acuerdo Bizantino Federado durante el Seminario Dagstuhl “Computación Distribuida Segura de Próxima Generación” en Dagstuhl, Alemania.
• El 20 de junio de 2024, Giuliano presentó el artículo “Anuncio Breve: Entendiendo las Coberturas Libres de Espera de Lectura-Escritura en el Modelo de Memoria Compartida Totalmente Anónimo” en la conferencia PODC 2024 en Nantes, Francia.
• El 19 de junio de 2024, Giuliano presentó el artículo “Protocolos de Difusión Total de Orden Resilientes a la Asincronía” en la conferencia PODC 2024 en Nantes, Francia.