Description
Tenés que probar que tenés la plata sin mostrar el saldo, probar que el cómputo corrió sin volver a correrlo, probar que estás en la lista sin entregar la lista. Suena a magia, y esa es la trampa: cada explicación o mueve las manos y lo llama magia, o te tira derecho a los compromisos polinómicos sin ningún puente en el medio. Entonces podés decir prueba de conocimiento cero en una reunión, pero no sabés qué problemas resuelve de verdad, cuáles no, qué garantiza una prueba, ni cuánto cuesta verificar cada una en la cadena. Esta es la habilidad de frontera por la que a los mejores más les pagan, y queda trabada detrás de una matemática que nadie se tomó el trabajo de traducir. Lo que necesitás es el modelo de trabajo, no un doctorado en cripto.
Este libro construye el modelo de trabajo de las pruebas de conocimiento cero que un ingeniero necesita para usarlas, no el plan de estudios completo de criptografía. Arranca desde qué es de verdad una prueba, las tres propiedades que importan (completitud, solidez, conocimiento cero), y recorre el puente que la mayoría de las explicaciones se saltea: de una prueba interactiva donde un probador y un verificador conversan, a una no interactiva que podés publicar en la cadena, vía el truco de Fiat-Shamir. Desde ahí construye las piezas que de verdad tocás: cómo un cómputo se convierte en un circuito aritmético y un sistema de restricciones, los tradeoffs honestos entre SNARKs y STARKs (tamaño de la prueba, costo de verificación, trusted setup, post-cuántico), qué es la ceremonia de trusted setup y qué se rompe si estuvo arreglada, y cómo los compromisos y las pruebas de Merkle te dejan probar pertenencia sin revelar el conjunto. Después se pone concreto: escribir un circuito chico, verificar una prueba en la cadena y cuánto cuesta eso en gas, y las aplicaciones reales, los ZK-rollups que escalan una blockchain probando miles de transacciones a la vez, y los sistemas de privacidad para pagos e identidad. El objetivo es el criterio: saber cuándo una prueba de conocimiento cero es la herramienta correcta, qué garantiza, y qué pagás por ella. Para ingenieros que quieren entender ZK lo suficiente para construir con eso y para marcar el humo.
Para quién es este libro
Este libro es para: ingenieros que escuchan una y otra vez que las pruebas de conocimiento cero te dejan probar algo sin revelarlo, y quieren entender de verdad cómo es posible y cómo usarlas, sin un doctorado en criptografía.
Lo que vas a encontrar adentro
- Capítulo 1: El banco que pidió un número que juraste ocultar
- Capítulo 2: Sacá una de estas tres y tu prueba no protege a nadie
- Capítulo 3: Por qué tu prueba se rompe apenas no queda nadie para responder
- Capítulo 4: Lo único que un sistema de conocimiento cero puede probar de verdad
- Capítulo 5: Por qué no existe el mejor sistema de pruebas
- Capítulo 6: El bloque de 2 KB que puede vaciar el contrato en silencio
- Capítulo 7: Escribí un circuito como código y dejás un agujero
- Capítulo 8: Mostrar que pertenecés a un conjunto sin revelar el conjunto
- Capítulo 9: Lograr que un contrato diga que sí sin enterarse de nada
- Capítulo 10: Cuando mover 10 dólares cuesta más que los 10 dólares
- Capítulo 11: Pagar algo sin dejar ningún rastro
- Capítulo 12: Dos features que parecen ZK y solo una lo es
- Capítulo 13: Ser el ingeniero que sabe cuándo no usar ZK
