Centro de Criptografía y Sistemas Distribuidos. Zola 2026-09-24T00:00:00+00:00 https://ccsd.uba.ar/atom.xml 2026-09-24T00:00:00+00:00 2026-09-24T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-11-cadi-caedi-2026/ <p><img src="/images/cadi-caedi-2026.png" alt="Portada de la presentación en el CADI CAEDI 2026: &quot;Anteproyectos con clientes reales en talleres de programación asistidos por IA&quot;, de Deymonnaz, Kingston, Ferrigno y Bono, Facultad de Ingeniería de la UBA" /></p> <p>Diego Kingston, director de Investigación del CCSD, presentó esta semana en el CADI CAEDI 2026 el paper "Anteproyectos con Clientes Reales en Talleres de Programación Asistidos por Inteligencia Artificial", escrito junto con Pablo Deymonnaz, Leandro Ferrigno y Juan Bono. El congreso, que reúne al 8° Congreso Argentino de Ingeniería y el 14° Congreso Argentino de Enseñanza de Ingeniería, se hizo en San Fernando del Valle de Catamarca.</p> <p>El paper describe un cambio de enfoque en Taller de Programación, la materia de la Facultad de Ingeniería de la UBA que durante años hizo que todos los equipos implementaran la misma consigna (RoomRTC, BitTorrent, Bitcoin) sin que hubiera un cliente real de por medio. Este cuatrimestre cambiaron esa lógica. Cada equipo formuló un anteproyecto respondiendo a la necesidad concreta de un docente o investigador de otra disciplina de la misma facultad.</p> <p>Terminaron completando ocho casos. Seis fueron para el Departamento de Agrimensura, entre ellos un simulador batimétrico integrado con una caja de arena de realidad aumentada y un conversor de datos GNSS a WebAssembly. Uno fue para Química Física, una suite de 20 simuladores de laboratorio con una arquitectura de cinco capas. Y el último para Ingeniería Mecánica, un servidor que centraliza el control de nueve impresoras 3D usando Klipper y Moonraker. Todo se desarrolló en Rust, bajo las mismas restricciones de calidad que exige siempre la cátedra, y con IA generativa organizada en cuatro etapas: investigación de dominio, diseño, implementación y validación con el cliente.</p> <p>El objetivo es que los estudiantes de Ingeniería Informática negocien el alcance con alguien que no piensa en términos técnicos, en vez de entregar un sistema que solo la cátedra va a evaluar.</p> 2026-09-11T00:00:00+00:00 2026-09-11T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-10-web3-ai-summit/ <p><img src="/images/web3-ai-summit-2026.jpg" alt="Diego Kingston en el campus de la Universidad de Stanford, durante su viaje al Web3 AI Summit" /></p> <p>Este mes, Diego Kingston, director de Investigación de nuestro centro, participó del Web3 AI Summit en San Francisco, tal como en las tres ediciones anteriores, para conversar con investigadores y líderes de la industria sobre los últimos desarrollos en web3 y su intersección con la IA. Esta edición tomó un rumbo distinto al de años anteriores: mientras que antes el eje estaba puesto en identidad digital, tecnologías de privacidad y selective disclosure, esta vez la agenda estuvo dominada por los agentes de IA y por la transición post-cuántica. Era algo esperable, ya que la IA cambió la forma en que hacemos muchas cosas, incluida la programación y la búsqueda de información, y resulta natural que la industria empiece a explorar qué pasa cuando los agentes comienzan a transaccionar por sí mismos.</p> <p>El evento se extendió a lo largo de dos días: el primero, dedicado en su mayoría a agentes de IA, y el segundo, a pruebas de conocimiento cero (zero-knowledge) y computación cuántica.</p> <h2 id="pagos-agenticos">Pagos agénticos</h2> <p>Varias empresas están trabajando en pagos agénticos, ya que estos podrían habilitar nuevos hábitos de consumo y ofrecer mejor experiencia de usuario y mejores precios, sin esfuerzo adicional de parte del usuario. El panorama general, bien descripto en el paper <a rel="noopener nofollow external" target="_blank" href="https://arxiv.org/pdf/2509.10147">Virtual Agent Economies</a> de DeepMind, es uno en el que uno describe una intención simple (como planear un viaje o comprar algo) y el agente busca entre distintos proveedores, paga pequeños montos para acceder a mejores opciones y vuelve con una lista acotada para la aprobación final del usuario. Uno de los puntos que plantea el paper es que este tipo de economías deberían diseñarse de forma deliberada en lugar de dejar que emerjan por sí solas, y que decisiones como cuán permeable debería ser el límite entre la economía de agentes y la economía humana determinarán si el resultado es eficiente y justo, o extractivo.</p> <p>Si bien crypto y x402 ofrecen una alternativa natural para manejar pagos agénticos, los proveedores de pago tradicionales también están participando en esta tecnología, llegando incluso a dar tarjetas de crédito a agentes. En uno de los análisis presentados en el summit, se estimó que el volumen de pagos agénticos genuinos en x402 se ubica entre el 0,6% y el 7,5% del volumen total, que al momento del estudio rondaba los 52 millones de dólares. Incluso tomando la cota superior, esto muestra que la infraestructura todavía va por delante de la demanda, aunque el volumen viene creciendo a un ritmo constante en los últimos meses y los agentes efectivamente ya están realizando pagos comerciales.</p> <p>Para que todo esto sea viable a escala, hace falta un sistema de micropagos eficiente, ya que un agente que paga una fracción de centavo por consulta a varios proveedores antes de poder dar una respuesta terminará gastando en comisiones más de lo que vale la información. Por eso, la mayoría de los equipos con los que se conversó en el summit están construyendo payment channels, que permiten realizar varias microtransacciones off-chain, agregarlas y publicar un único settlement en la L2 o L1.</p> <h2 id="teoria-de-juegos-cuando-los-jugadores-son-modelos">Teoría de juegos cuando los jugadores son modelos</h2> <p>Otro de los temas centrales fue la teoría de juegos aplicada a agentes de IA. Varios grupos mostraron casos de uso y simulaciones usando el framework <a rel="noopener nofollow external" target="_blank" href="https://github.com/google-deepmind/concordia">Concordia</a> de Google DeepMind, que permite construir mundos simulados poblados por agentes basados en LLMs. El trabajo reciente sobre <a rel="noopener nofollow external" target="_blank" href="https://arxiv.org/pdf/2512.03318">evaluación de capacidades de generalización de agentes basados en LLMs en escenarios de motivación mixta</a> usa Concordia para poner agentes en juegos donde la cooperación y el interés propio están en tensión, y encuentra que los agentes que se comportan de forma cooperativa en situaciones conocidas no siempre generalizan ese comportamiento a situaciones nuevas. Esto es más que una curiosidad, ya que los agentes que se están desplegando hoy están empezando a negociar y transaccionar en nombre de los usuarios.</p> <p>También hubo una discusión sobre si estos sistemas pueden exhibir comportamiento caótico, en línea con trabajos recientes sobre <a rel="noopener nofollow external" target="_blank" href="https://arxiv.org/pdf/2607.11752">paradojas de los equilibrios de teoría de juegos y el precio de la anarquía</a>, que sugieren que el equilibrio que uno diseña puede no ser el estado al que el sistema realmente converge cuando los participantes son algoritmos que aprenden. Por último, hubo discusiones sobre la "personalidad agéntica" (agentic personhood) y qué atributos debe exhibir un agente para calificar como tal, siguiendo el paper <a rel="noopener nofollow external" target="_blank" href="https://arxiv.org/pdf/2510.26396">A Pragmatic View of AI Personhood</a>, que plantea esa personalidad no como un umbral metafísico a cruzar, sino como un conjunto de derechos y responsabilidades que puede otorgarse de a partes, según lo que necesitemos que los agentes puedan hacer.</p> <h2 id="zk-y-el-cronograma-cuantico">ZK y el cronograma cuántico</h2> <p>El segundo día estuvo dedicado a la criptografía, con foco en el desarrollo y la mejora de sistemas de pruebas ZK usando IA y en los desafíos que todavía quedan por resolver. También hubo charlas sobre los últimos desarrollos en computadoras cuánticas basadas en átomos neutros, sus principios de funcionamiento y las mejoras en los requisitos para lograr una computadora cuántica criptográficamente relevante, que siguen bajando con cada nueva estimación. La sensación general es que el plazo se acerca más rápido de lo esperado, y una de las conclusiones (que también se había escuchado en Roma a principios de este año) es que, incluso si el cronograma termina siendo más largo, conviene actuar como si fuera corto, dado el nivel de incertidumbre.</p> <p>Si bien algunas aplicaciones podrán actualizarse antes de que estas computadoras cuánticas estén disponibles, todavía hay partes importantes de internet y del hardware que dependen de criptografía de curvas elípticas, y migrar sistemas complejos a nuevas primitivas no es algo que pueda hacerse en pocos días. Además, las firmas que garantizan compromisos de varios años tienen que sobrevivir a la ventana de "harvest now, decrypt later", no solo resistir a los atacantes de hoy.</p> <p>Por suerte, Ethereum ya se está moviendo en esta dirección y lidera el desarrollo de un esquema de firmas post-cuánticas agregables, útil para cualquier blockchain.</p> <h2 id="que-nos-deja-esto">Qué nos deja esto</h2> <p>Diego, que además de dirigir el área de Investigación del centro trabaja en Aligned, aprovechó el encuentro para conversar sobre algunas de las ideas y productos en los que viene trabajando ahí, pensando en este nuevo escenario, con agentes de IA haciendo comercio y la amenaza cuántica cada vez más cerca. Muchas de esas conversaciones volvían una y otra vez al mismo punto: la necesidad de verificar cómputo ajeno, de forma barata y con una seguridad que no caduque. En Aligned se sigue trabajando en el desarrollo de su zkVM (post-cuántica segura por diseño) y en agregación de pruebas, además de colaborar para tener protocolos eficientes de cara a esta próxima etapa.</p> <p>Para quienes en el centro seguimos de cerca la intersección entre IA, criptografía y sistemas descentralizados, el summit deja un panorama claro de hacia dónde se mueve la industria. Fue una alegría reencontrarse con tantos colegas en San Francisco y ver cómo el ecosistema sigue evolucionando. Ahora, a seguir construyendo.</p> 2026-08-27T00:00:00+00:00 2026-08-27T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-09-jaiio-55/ <p><img src="/images/jaiio-55-paper.png" alt="Título y resumen del paper corto presentado en las 55° JAIIO: &quot;Interdisciplinary Software Engineering for Chemical Laboratory Simulation: An AI-Enhanced Integrator Project&quot;" /></p> <p>Este mes, Pablo Deymonnaz, director de nuestro centro, asistió a las 55° Jornadas Argentinas de Informática (JAIIO) para presentar el paper corto "Ingeniería de Software Interdisciplinaria para la Simulación de Laboratorios Químicos: Un Proyecto Integrador con IA que Vincula Informática e Ingeniería Química". Fue un orgullo poder compartir parte de nuestro trabajo en las jornadas, y una experiencia muy enriquecedora poder dialogar con la comunidad de todo el país.</p> <h2 id="una-experiencia-en-marcha-en-la-facultad-de-ingenieria-de-la-uba">Una experiencia en marcha en la Facultad de Ingeniería de la UBA</h2> <p>El paper describe un proyecto integrador que se está llevando a cabo actualmente en la Facultad de Ingeniería de la Universidad de Buenos Aires, en el marco de la materia de Taller de Programación de la carrera de Ingeniería Informática. La propuesta parte de una idea simple pero poco habitual en este tipo de cursos: en lugar de proponer una aplicación genérica, se invita a los estudiantes a resolver un problema real, con un cliente real.</p> <p>Cuatro equipos de cuatro estudiantes son responsables, cada uno, de un eje temático dentro de un objetivo común: desarrollar simuladores de laboratorio virtuales y de código abierto para Ingeniería Química. En total, la suite contempla 20 prácticas interactivas distribuidas en cinética y catálisis, electroquímica, termodinámica, y espectroscopía y transporte, que van desde el clásico reloj de yodo hasta la voltamperometría cíclica o la difusión en gel. Docentes de Ingeniería Química de la misma facultad actúan como esos clientes, validando periódicamente los modelos que los estudiantes construyen.</p> <h2 id="el-rol-de-la-inteligencia-artificial">El rol de la inteligencia artificial</h2> <p>La IA generativa atraviesa el proyecto en cuatro fases del proceso: como apoyo en la investigación inicial del dominio químico (siempre contrastada con bibliografía), en el diseño de la arquitectura, en la implementación —con revisión obligatoria en pull requests de todo código generado por IA— y en el testeo, validando los resultados contra soluciones conocidas. La idea de fondo, tal como plantea el paper, no es prohibir el uso de estas herramientas sino alfabetizar en su uso crítico. La IA acelera el aprendizaje, pero no reemplaza el diálogo con los especialistas del dominio ni la revisión humana del código.</p> <h2 id="que-sigue">Qué sigue</h2> <p>Los próximos pasos incluyen completar las 20 prácticas, probar la suite con estudiantes de Ingeniería Química —los usuarios finales de los simuladores— y diseñar un estudio que permita medir su impacto real en el aprendizaje. Se trata, en definitiva, de un modelo que aspira a ser replicable: la combinación de cliente real, software libre, IA supervisada y profundización disciplinar puede transferirse a otras cátedras que busquen tender vínculos similares con otras carreras.</p> <p>Compartir este trabajo en las 55° JAIIO fue una oportunidad para poner en discusión, con la comunidad de informática de todo el país, una forma de enseñar que cruza fronteras disciplinares y que combina rigor técnico con inteligencia artificial usada de manera crítica y responsable.</p> 2026-07-03T00:00:00+00:00 2026-07-03T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-08-cierre-seminario-codigos/ <p>El Centro de Criptografía y Sistemas Distribuidos – UBA, en coorganización con LambdaClass, llevó a cabo la primera edición del Seminario sobre Teoría de Códigos, Low-Degree Testing y PIOPs. A lo largo de cuatro encuentros quincenales, con sedes rotativas entre la Facultad de Ciencias Exactas y Naturales, la Facultad de Ingeniería de la Universidad de Buenos Aires y las oficinas de LambdaClass, más de 35 personas se sumaron a un espacio de formación técnica de alto nivel sobre temas de frontera en criptografía matemática.</p> <h2 id="un-programa-de-frontera-con-raices-en-la-matematica-clasica">Un programa de frontera, con raíces en la matemática clásica</h2> <p>El seminario tuvo como objetivo introducir las aplicaciones de la Teoría de Códigos Lineales a los esquemas de pruebas de cero conocimiento (ZK proofs), recorriendo el camino desde los fundamentos hasta los protocolos modernos. Los contenidos abarcaron los fundamentos de los códigos Reed-Solomon, los límites combinatorios de la decodificación y el algoritmo de Berlekamp-Welch, la decodificación por lista con los algoritmos de Sudan y Guruswami-Sudan, y finalmente las Pruebas Interactivas de Oráculo de Proximidad (IOPPs) con el protocolo FRI como caso canónico de low-degree testing eficiente.</p> <p>El programa estuvo a cargo de Manuel Puebla, Profesor Adjunto en el Departamento de Matemática de FIUBA y titular de la cátedra Palacios-Puebla en el CBC, con formación en Matemática Pura e Ingeniería Electrónica por la UBA y más de dos décadas de experiencia docente. Sus intereses de investigación se orientan a la intersección entre geometría algebraica, teoría de códigos y probabilidad en altas dimensiones.</p> <p><img src="/images/seminario-codigos-manuel-puebla.jpeg" alt="Manuel Puebla en el segundo encuentro del seminario, sobre cotas combinatorias y decodificación única con Berlekamp-Welch en Reed-Solomon" /></p> <h2 id="articulacion-entre-saberes-instituciones-y-sectores">Articulación entre saberes, instituciones y sectores</h2> <p>Uno de los aspectos más significativos de esta primera edición fue la forma en que se construyó: de manera colaborativa, integrando actores con tradiciones y lógicas distintas.</p> <p>La universidad pública aportó sus espacios, su comunidad académica y el rigor institucional propio de décadas de producción científica. La Facultad de Ciencias Exactas y Naturales y la Facultad de Ingeniería no fueron solo sede del seminario: su presencia le otorgó un marco de legitimidad y pertenencia que difícilmente podría replicarse fuera del ámbito universitario. LambdaClass, por su parte, sumó desde el sector privado la perspectiva de quienes trabajan con estas tecnologías en aplicaciones concretas, aportando también su espacio físico, la convocatoria y la organización.</p> <h2 id="una-comunidad-en-formacion">Una comunidad en formación</h2> <p>Entre los más de 35 participantes del seminario se contaron estudiantes, docentes, investigadores y profesionales con perfiles diversos.</p> <p>Esto pone en evidencia algo que desde el Centro venimos observando: existe una demanda real de formación especializada en criptografía matemática en Argentina, y los canales formales —cursos de grado, posgrados, conferencias— no siempre logran cubrirla con la velocidad y la especificidad que el campo exige. Los seminarios intensivos, con docentes de alto nivel y contenidos focalizados, son una forma efectiva de responder a esa demanda.</p> <h2 id="una-primera-edicion-que-abre-camino">Una primera edición que abre camino</h2> <p>Esta experiencia refuerza nuestra convicción de seguir construyendo espacios de formación de este tipo. Desde el Centro de Criptografía y Sistemas Distribuidos – UBA tenemos la intención de realizar nuevas ediciones del seminario, profundizando y ampliando los contenidos, y de incorporar nuevos temas que sigan contribuyendo al desarrollo del campo en la región.</p> <p>El objetivo es consolidar una comunidad local de práctica en criptografía aplicada: un espacio donde el rigor matemático, la aplicación tecnológica y la formación de nuevas generaciones de profesionales e investigadores convivan y se potencien mutuamente.</p> <p>Agradecemos a Manuel Puebla por su dedicación y entusiasmo, a la Facultad de Ciencias Exactas y Naturales y a la Facultad de Ingeniería de la UBA por recibirnos, a LambdaClass por su compromiso y por abrir sus puertas a esta iniciativa, y a todos los participantes que hicieron de este seminario un espacio de aprendizaje genuino.</p> 2026-05-19T00:00:00+00:00 2026-05-19T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-07-zk-rome/ <p>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> <h2 id="zksummit-14">ZKSummit 14</h2> <p>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> <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> <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 width="100%" height="415" src="https://www.youtube.com/embed/zCY-YHaSS1w?start=12360" frameborder="0" allowfullscreen></iframe> <h2 id="zkproof-8">ZKProof 8</h2> <p>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> <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> <h2 id="eurocrypt-2026">Eurocrypt 2026</h2> <p>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> <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> <hr /> <p>Más info sobre los eventos: <a rel="noopener nofollow external" target="_blank" href="https://www.zksummit.com/">ZKSummit</a> · <a rel="noopener nofollow external" target="_blank" href="https://zkproof.org/events/zkproof-8-rome/">ZKProof 8</a> · <a rel="noopener nofollow external" target="_blank" href="https://eurocrypt.iacr.org/2026/">Eurocrypt 2026</a></p> 2026-05-05T00:00:00+00:00 2026-05-05T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-06-soldogn-interop/ <p><img src="/images/soldogn-interop.jpeg" alt="Soldøgn Interop en Svalbard, Noruega" /></p> <p>La semana pasada el equipo de <a rel="noopener nofollow external" target="_blank" href="https://lambdaclass.com">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> <h2 id="como-se-define-el-protocolo-en-la-practica">Cómo se define el protocolo en la práctica</h2> <p>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> <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><img src="/images/soldogn-interop-grupo.jpg" alt="Desarrolladores core de Ethereum en Soldøgn Interop" /></p> <h2 id="la-conexion-con-el-centro">La conexión con el Centro</h2> <p>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> 2026-04-14T00:00:00+00:00 2026-04-14T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-05-seminario-codigos/ <p>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 <a rel="noopener nofollow external" target="_blank" href="https://lambdaclass.com">LambdaClass</a>.</p> <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: <strong>teoría de códigos</strong>, <strong>low-degree testing</strong> y <strong>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> <p><strong>Docente:</strong> Manuel Puebla.</p> <h2 id="formato">Formato</h2> <p>El formato es presencial, con encuentros quincenales de dos horas y media de duración. Las fechas son:</p> <ul> <li>21 de mayo</li> <li>4 de junio</li> <li>18 de junio</li> <li>2 de julio</li> </ul> <p>Las sedes serán rotativas entre la Facultad de Ingeniería (UBA), la Facultad de Ciencias Exactas y Naturales (UBA) y LambdaClass.</p> <h2 id="inscripcion">Inscripción</h2> <p>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> <ul> <li><a rel="noopener nofollow external" target="_blank" href="https://forms.gle/WXZnVhiJFT35NiMM8">Formulario de preinscripción</a></li> </ul> 2026-04-10T00:00:00+00:00 2026-04-10T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-04-commitllm/ <p>Investigadores del Centro de Criptografía y Sistemas Distribuidos, en colaboración con <a rel="noopener nofollow external" target="_blank" href="https://lambdaclass.com">LambdaClass</a>, presentamos <strong>CommitLLM</strong>: un protocolo criptográfico de commit-and-audit para verificar inferencia de modelos de lenguaje open-weight.</p> <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> <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> <p>El paper incluye mediciones sobre <code>Qwen2.5-7B-W8A8</code>, <code>Llama-3.1-8B-W8A8</code> y <code>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> <p><strong>Autores:</strong> Federico Carrone, Diego Kingston, Manuel Puebla, Mauro Toscano.</p> <hr /> <ul> <li><a rel="noopener nofollow external" target="_blank" href="https://raw.githubusercontent.com/lambdaclass/CommitLLM/main/paper/main.pdf">Leer el paper</a></li> <li><a rel="noopener nofollow external" target="_blank" href="https://github.com/lambdaclass/CommitLLM">Repositorio en GitHub</a></li> <li><a rel="noopener nofollow external" target="_blank" href="https://commitllm.com">commitllm.com</a></li> </ul> 2025-12-01T00:00:00+00:00 2025-12-01T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-03-criptonoticias/ <h1 id="criptonoticias">CriptoNoticias</h1> <p><img src="/images/criptonoticias-ccsd.jpg" alt="Cobertura de CriptoNoticias sobre el CCSD" /></p> <h2 id="el-ccsd-en-criptonoticias-cobertura-del-lanzamiento-del-centro">El CCSD en CriptoNoticias: cobertura del lanzamiento del centro</h2> <p><strong>Diciembre 2025</strong></p> <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> <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> <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> <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> <p>Podés leer la nota completa <a rel="noopener nofollow external" target="_blank" href="https://www.criptonoticias.com/entrevistas/fundacion-ethereum-educacion-argentina/">aquí</a>.</p> 2025-11-01T00:00:00+00:00 2025-11-01T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-02-devcon/ <h1 id="presentacion-en-devconnect">Presentación en Devconnect</h1> <p><img src="/images/devconnect-ccsd.jpeg" alt="Pablo Deymonnaz presentando el CCSD en Devconnect Buenos Aires" /></p> <p><strong>Noviembre 2025 · Devconnect Buenos Aires</strong></p> <h2 id="el-ccsd-presento-sus-lineas-de-trabajo-en-devconnect-2025">El CCSD presentó sus líneas de trabajo en Devconnect 2025</h2> <p>En noviembre de 2025, Buenos Aires fue sede de <strong>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, <strong>Pablo Deymonnaz</strong>, presentó las líneas de trabajo del centro durante una jornada especial orientada a universidades de América Latina.</p> <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> <h2 id="sobre-pablo-deymonnaz">Sobre Pablo Deymonnaz</h2> <p>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> <h2 id="el-contexto-regional">El contexto regional</h2> <p>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> <p>El centro continuará sumando instituciones y abriendo convocatorias de becas en los próximos meses.</p> 2025-10-23T00:00:00+00:00 2025-10-23T00:00:00+00:00 CCSD https://ccsd.uba.ar/blog/posteo-01-inauguracion/ <h1 id="inauguracion-en-el-palacio-de-la-uba">Inauguración en el Palacio de la UBA</h1> <p><img src="/images/apertura-ccsd.jpeg" alt="Acto inaugural del CCSD en el Palacio de la UBA" /></p> <p><strong>23 de octubre de 2025 · Palacio de la UBA, Arenales 1371</strong></p> <h2 id="el-centro-de-criptografia-y-sistemas-distribuidos-abrio-sus-puertas-en-la-uba">El Centro de Criptografía y Sistemas Distribuidos abrió sus puertas en la UBA</h2> <p>El 23 de octubre de 2025 se realizó el acto inaugural del <strong>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> <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> <h2 id="que-hace-exactamente-el-centro">¿Qué hace exactamente el Centro?</h2> <p>La criptografía moderna va mucho más allá de cifrar mensajes: abarca técnicas como las pruebas de conocimiento cero (<em>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> <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 (<em>Fundamentos y Aplicaciones de Blockchain</em>, <em>Introducción a la Criptografía Moderna</em>, <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> <p>El centro cuenta con financiamiento de <strong>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>