Título: Un zkBridge para Cardano utilizando pruebas de conocimiento cero
Director: Matías López-Rosenfeld
Co-Director: Bruno Weisz
Jurados: Javier Godoy y Carlo Giambiagi Ferrari

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.