BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260826T150000
DTEND;TZID=America/Sao_Paulo:20260826T160000
DTSTAMP:20260820T173047Z
CREATED:20260820T173047Z
LAST-MODIFIED:20260820T173047Z
UID:10868-1787756400-1787760000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lorenzo Ruíz Díaz
DESCRIPTION:Título: Un zkBridge para Cardano utilizando pruebas de conocimiento cero\nDirector: Matías López-Rosenfeld\nCo-Director: Bruno Weisz\nJurados: Javier Godoy y Carlo Giambiagi Ferrari \nResumen:\nEsta 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\nuna 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. \nLa 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. \nEl 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lorenzo-ruiz-diaz/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR