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

[Matías López]

Recordatorio!

Lugar: Aula 1113 - Pabellón 0+inf

On Thu, Aug 20, 2026 at 1:58 PM Matías López <matiaslopez at gmail.com> wrote:

> 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.
>