3 posts encontrados
El CCSD lanza su primer seminario académico sobre los fundamentos matemáticos de los sistemas de prueba verificables, en conjunto con FIUBA, Exactas UBA y LambdaClass.
Leer más →Investigadores del CCSD y LambdaClass presentan CommitLLM, un protocolo de commit-and-audit para verificar que un proveedor realmente corrió el modelo de lenguaje que declara haber corrido.
Leer más →Diego Kingston, director de Investigación del CCSD, asistió a las tres conferencias más relevantes en criptografía y sistemas de prueba — ZKSummit 14, ZKProof 8 y Eurocrypt 2026 — celebradas en simultáneo en Roma durante la misma semana.
Leer más →