[general_dat] Defensa de Tesis de Lorenzo Ruíz Díaz

[Matías López]

Hola a todes,

Tengo el agrado de invitarles a la defensa de tesis de Licenciatura de
Lorenzo Ruíz Díaz que será el día miércoles 26 de Agosto a las 15:00. En
aula a confirmar.

Título: Un zkBridge para Cardano utilizando pruebas de conocimiento cero
Estudiante: Ruíz Díaz, Lorenzo
Director: López-Rosenfeld, Matías
Co-Director: Bruno Weisz
Jurados: Godoy, Javier; y Giambiagi Ferrari, Carlo

Resumen: Esta tesis estudia el diseño e implementación de un zkBridge para
Cardano. El objetivo es autenticar un evento ocurrido en una cadena de
origen y habilitar una acción correspondiente en una cadena destino, sin
depender de un operador centralizado y respetando los límites reales de
ejecución on-chain. Para ello se propone una arquitectura que separa
una capa de actualización, encargada de mantener estado remoto autenticado,
y una capa de aplicación, encargada de consumir esa evidencia para
autorizar el flujo txlock → txmint.

La construcción evita verificar directamente el consenso completo de
Cardano dentro de un circuito. En su lugar, utiliza Mithril como mecanismo
de certificación de estado, una verificación STM particionada en dos fases
sobre Aiken y argumentos Groth16 auxiliares para pertenencia de
transacciones y actualización de un SMT anti-replay. El prototipo muestra
que esta composición puede expresarse en el modelo eUTxO mediante UTxOs
canónicos, NFTs de estado, reference scripts y proof_receipt, manteniéndose
dentro de los presupuestos de unidades de ejecución disponibles.

El resultado principal es una prueba de viabilidad para una instancia
isomorfa de Cardano: no un bridge productivo heterogéneo completo, sino una
arquitectura verificable que delimita con precisión sus supuestos de
seguridad, sus invariantes on-chain y los componentes que quedan como
trabajo futuro.

Saludos.
Matías.