ITINERARIO · AVANZADO
Demostrar sin revelar: las matemáticas, los sistemas de prueba y las aplicaciones de la criptografía ZK.
Demostrar sin revelar: las pruebas de conocimiento cero, las matemáticas que las sostienen, los grandes sistemas de prueba (Groth16, PLONK, STARK), cómo se escribe y audita un circuito y sus aplicaciones en escalabilidad, identidad y privacidad, incluido su encaje con la normativa antiblanqueo.
Perfiles de matemáticas, informática y telecomunicaciones, y developers con interés en criptografía.
Cryptography y Smart Contracts, de Fundamentals. Ayuda saber programar.
Completitud, solidez y conocimiento cero, con ejemplos que se entienden sin matemáticas.
Cuerpos finitos, curvas elípticas, polinomios y compromisos: lo justo para entender los sistemas de prueba.
Groth16, PLONK y STARK: cómo funcionan, qué garantizan y cuándo usar cada uno.
Escribir, probar y auditar circuitos con Circom y Noir, y cuándo usar un zkVM.
Dónde se usa ZK hoy y cómo se busca un equilibrio entre privacidad y cumplimiento.
Un circuito propio, con su prueba verificada en un contrato desplegado en una red de pruebas.
Las 6 etapas desarrolladas, las prácticas, los conceptos clave, la bibliografía completa y los vídeos están en tu panel.
12 fuentes · revisado en octubre 2026
