Centro de Criptografía y Sistemas Distribuidos - UBA

ZKSummit 14, ZKProof 8 y Eurocrypt 2026: una semana en Roma en el centro de la criptografía moderna

2026-05-19T00:00:00+00:00

La semana pasada, Diego Kingston, Director de Investigación del Centro de Criptografía y Sistemas Distribuidos, estuvo en Roma para asistir a las tres conferencias más relevantes del campo en la actualidad: ZKSummit 14, ZKProof 8 y Eurocrypt 2026. Las tres se desarrollaron en simultáneo durante la misma semana, concentrando en un solo lugar buena parte de la actividad de investigación en criptografía y sistemas de prueba verificables a nivel mundial.</p>

ZKSummit 14</h2>
En ZKSummit, el Centro presentó una charla sobre el desarrollo de nuestra zkVM y la filosofía detrás de su diseño — una oportunidad para mostrar el trabajo en curso y discutirlo con equipos que están construyendo infraestructura similar.</p>
El evento tuvo un nivel técnico muy alto. Entre las presentaciones más destacadas: Giacomo Fenzi expuso sobre ZO0K, un enfoque para agregar la propiedad de conocimiento cero a sistemas de prueba basados en códigos entrelazados. Ron Rothblum presentó VEIL, una propuesta para agregar ZK a la máquina virtual de SP1. Antonio Sanso expuso ataques recientes a la función de hash Poseidon y comentó los esfuerzos de la Ethereum Foundation para seleccionar una función de hash algebraica segura. También se cubrieron aspectos de precompiles no determinísticos para acelerar zkVMs.</p>
El evento cerró con un panel sobre la amenaza de la computación cuántica — con Justin Drake, Dan Boneh, Daira-Emma Hopwood y Jens Groth — y cómo Ethereum y otros protocolos están trabajando para anticiparse a ese escenario. Como siempre, hubo espacio para conversar con equipos como 3MI Labs, Miden y la Ethereum Foundation.</p> </iframe>

ZKProof 8</h2>
ZKProof tuvo un formato más académico, con side events que incluyeron IOPFest — dedicado al estudio de IOPs basados en hashes — y una jornada de verificación formal. La amenaza cuántica volvió a ser un tema central, con una discusión en mayor profundidad de la mano de Justin Drake.</p>
Uno de los momentos más interesantes fue la presentación del proximity prize: un programa de la Ethereum Foundation que financia con hasta USD 1.000.000 resultados cruciales para el desarrollo de sistemas de prueba con pruebas suficientemente compactas. También hubo charlas sobre IORs y la evolución del andamiaje teórico para analizar la seguridad de nuevas construcciones, esquemas de acumulación basados en hashes, y discusiones sobre lattices. Arklib tuvo su propio día, con una muestra del estado del arte en verificación formal.</p>

Eurocrypt 2026</h2>
Eurocrypt fue la instancia más académica de las tres: cuatro días intensos cubriendo ZK, FHE (fully homomorphic encryption), garbled circuits, multifirmas y multiparty computation. Una oportunidad para ver los desarrollos más recientes en criptografía teórica y entender cómo impactan en sistemas de identidad digital, en la respuesta a la amenaza cuántica y en los límites de lo que es posible construir hoy.</p>
El domingo previo, side events dedicados a la seguridad de primitivas de criptografía simétrica y, en particular, a funciones de hash algebraicas. Y entre las charlas más llamativas del programa principal, Adi Shamir presentó su trabajo sobre deep neural cryptography y la implementación de primitivas criptográficas sobre arquitecturas no convencionales.</p>

Más info sobre los eventos: ZKSummit</a> · ZKProof 8</a> · Eurocrypt 2026</a></p>

LambdaClass en la Soldøgn Interop de Ethereum

2026-05-05T00:00:00+00:00

</p>

La semana pasada el equipo de LambdaClass</a> participó de Soldøgn Interop en Svalbard, Noruega, un evento organizado por la Ethereum Foundation que reunió a más de 100 desarrolladores core de Ethereum por encima del Círculo Polar Ártico para trabajar durante una semana en el fortalecimiento de las implementaciones de Glamsterdam, la próxima actualización de la red. Entre los participantes estuvo Pablo Deymonnaz, director del Centro de Criptografía y Sistemas Distribuidos de la UBA.</p>

Cómo se define el protocolo en la práctica</h2>
Ethereum es un protocolo mantenido por múltiples equipos independientes que desarrollan implementaciones distintas — distintos clientes — que deben funcionar de manera compatible entre sí. Un interop es una instancia de trabajo donde esos equipos se reúnen presencialmente para verificar esa compatibilidad, resolver problemas y coordinar el desarrollo de nuevas funcionalidades antes de que lleguen a la red principal.</p>
Soldøgn se organizó específicamente para trabajar sobre Glamsterdam, la próxima actualización de Ethereum. Las áreas abordadas incluyeron ePBS (enshrined Proposer-Builder Separation), BALs, EIP-8037 (repricing) y FOCIL — mecanismos orientados a mejorar la seguridad, la descentralización y la resistencia a la censura de la red.</p>
</p>
La conexión con el Centro</h2>
LambdaClass es una de las organizaciones que sostiene el vínculo entre el CCSD y el ecosistema internacional de investigación en sistemas distribuidos. La participación de su equipo en instancias como Soldøgn es relevante para el Centro porque marca el nivel técnico al que apunta su agenda: formar investigadores y desarrolladores capaces de contribuir al desarrollo de infraestructura distribuida de base, no solo de aplicarla.</p>

Primer seminario del CCSD: Teoría de Códigos, Low-Degree Testing y PIOPs

2026-04-14T00:00:00+00:00

El Centro de Criptografía y Sistemas Distribuidos lanza su primer seminario académico, organizado en conjunto con la Facultad de Ingeniería y la Facultad de Ciencias Exactas y Naturales de la UBA, y con la colaboración de LambdaClass</a>.</p>

El seminario aborda tres áreas de la criptografía moderna que están en el centro de la investigación actual en sistemas de prueba verificables: teoría de códigos</strong>, low-degree testing</strong> y PIOPs</strong> (Polynomial Interactive Oracle Proofs). Son los fundamentos matemáticos sobre los que se construyen técnicas como las pruebas de conocimiento cero, relevantes tanto para la investigación teórica como para el desarrollo de infraestructura distribuida segura.</p>

Docente:</strong> Manuel Puebla.</p>

Formato</h2>
El formato es presencial, con encuentros quincenales de dos horas y media de duración. Las fechas son:</p>

21 de mayo</li>
4 de junio</li>
18 de junio</li>
2 de julio</li> </ul>
Las sedes serán rotativas entre la Facultad de Ingeniería (UBA), la Facultad de Ciencias Exactas y Naturales (UBA) y LambdaClass.</p>
Inscripción</h2>
La inscripción se realiza mediante un proceso de preinscripción y selección. Quienes resulten seleccionados serán contactados para avanzar con la inscripción formal.</p>

Formulario de preinscripción</a></li> </ul>

CommitLLM: un protocolo criptográfico para verificar inferencia de LLMs

2026-04-10T00:00:00+00:00

Investigadores del Centro de Criptografía y Sistemas Distribuidos, en colaboración con LambdaClass</a>, presentamos CommitLLM</strong>: un protocolo criptográfico de commit-and-audit para verificar inferencia de modelos de lenguaje open-weight.</p>
El trabajo aborda un problema concreto: cuando un cliente envía un prompt a un proveedor que declara correr un modelo específico —por ejemplo, Llama 70B—, no tiene forma técnica de verificar que esos pesos fueron realmente utilizados, que el decoding no fue alterado, o que la respuesta entregada no fue modificada después de la inferencia.</p>
CommitLLM propone un enfoque práctico que evita los dos extremos existentes: el fingerprinting estadístico, que puede ser engañado, y los sistemas de pruebas sin divulgación de conocimiento, que son demasiado costosos para producción real. El protocolo mantiene al proveedor en el serving path normal de GPU, sin reescritura de kernels ni generación de pruebas por cada respuesta, y permite al cliente verificar en CPU con overhead acotado.</p>
El paper incluye mediciones sobre Qwen2.5-7B-W8A8</code>, Llama-3.1-8B-W8A8</code> y Llama-3.1-70B-W8A8</code>, con un overhead online de tracing de entre el 12 y el 14%, y un costo de verificación de 1.3 ms por token para Llama 70B en un audit rutinario sobre CPU.</p>
Autores:</strong> Federico Carrone, Diego Kingston, Manuel Puebla, Mauro Toscano.</p>
Leer el paper</a></li> Repositorio en GitHub</a></li> commitllm.com</a></li> </ul>
El CCSD en CriptoNoticias 2025-12-01T00:00:00+00:00 CriptoNoticias</h1> </p> El CCSD en CriptoNoticias: cobertura del lanzamiento del centro</h2> Diciembre 2025</strong></p> Durante la semana de Devconnect Buenos Aires, el medio especializado CriptoNoticias entrevistó a Sebastián Mario Civallero, Secretario de Investigación de la UBA, y publicó una nota sobre el lanzamiento del Centro de Criptografía y Sistemas Distribuidos y su relación con la Ethereum Foundation.</p> La nota destaca el propósito del centro: coordinar la investigación y formación en criptografía, sistemas distribuidos y blockchain desde un enfoque multidisciplinario, con participación de las Facultades de Ingeniería y Ciencias Exactas y Naturales. También subraya que la enseñanza es tecnológicamente agnóstica — los contenidos no están orientados a ninguna plataforma en particular.</p> La cobertura apareció en el marco de Devconnect, el evento anual de la Ethereum Foundation que este año tuvo lugar en Buenos Aires y que reunió a más de 14.000 asistentes de todo el mundo. El hecho de que el centro haya tenido visibilidad en ese contexto refleja el lugar que está ocupando la Argentina en el ecosistema global de tecnologías descentralizadas.</p> Desde el CCSD agradecemos la cobertura de CriptoNoticias y la oportunidad de dar a conocer el trabajo del centro más allá del ámbito universitario. La UBA es el principal respaldo institucional con el que contamos, pero la conversación con otras universidades a nivel nacional ya está abierta. Estamos en una etapa temprana, con mucho por construir.</p> Podés leer la nota completa aquí</a>.</p> Presentación en Devconnect 2025 2025-11-01T00:00:00+00:00 Presentación en Devconnect</h1> </p> Noviembre 2025 · Devconnect Buenos Aires</strong></p> El CCSD presentó sus líneas de trabajo en Devconnect 2025</h2> En noviembre de 2025, Buenos Aires fue sede de Devconnect</strong>, el encuentro anual organizado por la Ethereum Foundation que convoca a desarrolladores, investigadores e instituciones académicas de todo el mundo. En ese marco, el director del CCSD, Pablo Deymonnaz</strong>, presentó las líneas de trabajo del centro durante una jornada especial orientada a universidades de América Latina.</p> La jornada reunió a docentes, investigadores y estudiantes de distintas facultades de la región con el propósito de articular agendas de investigación y formación en criptografía y sistemas distribuidos. La participación en Devconnect se enmarca en el vínculo del CCSD con LambdaClass, que facilita el acceso del centro a eventos y redes internacionales del ecosistema.</p> Sobre Pablo Deymonnaz</h2> Ingeniero en Informática por la UBA y director de esa carrera en FIUBA, Deymonnaz se especializa en programación concurrente y sistemas distribuidos. Ha impulsado la incorporación de Rust — lenguaje de programación valorado por su seguridad en memoria y su rendimiento en sistemas concurrentes — en las cursadas de grado de FIUBA, y dirige el laboratorio Reinvent, donde se desarrollan investigaciones en IoT, sistemas operativos y arquitecturas distribuidas.</p> El contexto regional</h2> La realización de Devconnect en Argentina fue, en sí misma, una señal del lugar que ocupa el país en el ecosistema global de tecnologías descentralizadas. La presencia del CCSD en ese espacio tuvo un propósito concreto: establecer vínculos de trabajo con universidades de la región que permitan construir masa crítica en un área donde la demanda de investigadores y desarrolladores calificados supera ampliamente la oferta actual.</p> El centro continuará sumando instituciones y abriendo convocatorias de becas en los próximos meses.</p> Inauguración en el Palacio de la UBA 2025-10-23T00:00:00+00:00 Inauguración en el Palacio de la UBA</h1> </p> 23 de octubre de 2025 · Palacio de la UBA, Arenales 1371</strong></p> El Centro de Criptografía y Sistemas Distribuidos abrió sus puertas en la UBA</h2> El 23 de octubre de 2025 se realizó el acto inaugural del Centro de Criptografía y Sistemas Distribuidos (CCSD)</strong> en el Palacio de la Universidad de Buenos Aires. El evento contó con la presencia de autoridades del Rectorado, de las Facultades de Ciencias Exactas y Naturales e Ingeniería, y de representantes del sector público y privado.</p> El CCSD es una unidad de investigación y formación aprobada por el Consejo Superior del Rectorado. Su objetivo es consolidar dentro de la UBA la actividad académica en torno a la criptografía moderna, los sistemas distribuidos y las tecnologías blockchain — áreas que en los últimos años han crecido en relevancia tanto en la industria como en la investigación científica, pero que históricamente han tenido escasa masa crítica en las universidades de la región.</p> ¿Qué hace exactamente el Centro?</h2> La criptografía moderna va mucho más allá de cifrar mensajes: abarca técnicas como las pruebas de conocimiento cero (Zero-Knowledge Proofs</em>), que permiten verificar información sin revelarla, y es uno de los pilares de los sistemas distribuidos seguros. Los sistemas distribuidos, por su parte, son la base sobre la que se construyen redes blockchain, pero también infraestructuras críticas de internet, servicios en la nube y sistemas financieros.</p> El CCSD trabaja en la intersección de ambas áreas, con un enfoque de investigación abierta y formación de recursos humanos. Las actividades incluyen becas de grado y posgrado, nuevas materias de grado (Fundamentos y Aplicaciones de Blockchain</em>, Introducción a la Criptografía Moderna</em>, Programación y Verificación de Contratos Inteligentes</em>) y proyectos de investigación con participación de docentes de FIUBA y Exactas.</p> El centro cuenta con financiamiento de LambdaClass</strong>, empresa argentina de desarrollo de software con especialización en blockchain e infraestructura distribuida, que realizó una donación a la Universidad de Buenos Aires - de la cual USD 250.000 ya fueron destinados a becas. La enseñanza es tecnológicamente agnóstica: los contenidos no privilegian ninguna plataforma blockchain en particular.</p>

Centro de Criptografía y Sistemas Distribuidos - UBA

ZKSummit 14, ZKProof 8 y Eurocrypt 2026: una semana en Roma en el centro de la criptografía moderna

LambdaClass en la Soldøgn Interop de Ethereum

Primer seminario del CCSD: Teoría de Códigos, Low-Degree Testing y PIOPs

Formato</h2> El formato es presencial, con encuentros quincenales de dos horas y media de duración. Las fechas son:</p> 21 de mayo</li> 4 de junio</li> 18 de junio</li>

Inscripción</h2> La inscripción se realiza mediante un proceso de preinscripción y selección. Quienes resulten seleccionados serán contactados para avanzar con la inscripción formal.</p>

CommitLLM: un protocolo criptográfico para verificar inferencia de LLMs

El CCSD en CriptoNoticias

CriptoNoticias</h1> </p>

Presentación en Devconnect 2025

Presentación en Devconnect</h1> </p> Noviembre 2025 · Devconnect Buenos Aires</strong></p>

Inauguración en el Palacio de la UBA

Inauguración en el Palacio de la UBA</h1> </p> 23 de octubre de 2025 · Palacio de la UBA, Arenales 1371</strong></p>

Inscripción</h2>
La inscripción se realiza mediante un proceso de preinscripción y selección. Quienes resulten seleccionados serán contactados para avanzar con la inscripción formal.</p>

Formulario de preinscripción</a></li> </ul>

CriptoNoticias</h1>
</p>

Presentación en Devconnect</h1>
</p>
Noviembre 2025 · Devconnect Buenos Aires</strong></p>

Inauguración en el Palacio de la UBA</h1>
</p>
23 de octubre de 2025 · Palacio de la UBA, Arenales 1371</strong></p>