Hoskinson lanza un libro de 337 páginas sobre pruebas de conocimiento cero.

Charles Hoskinson lanzó una guía gratuita de 337 páginas sobre pruebas de conocimiento cero en GitHub, dirigida a desarrolladores y constructores de tecnología de privacidad Midnight en el espacio ZK.

Charles Hoskinson publicó un libro técnico de 337 páginas sobre sistemas de prueba de conocimiento cero. Gratis. En GitHub. Abierto para que cualquiera lo lea, adapte o construya sobre él.

El fundador de Cardano e IOG compartió el lanzamiento en X como @IOHK_Charles, confirmando que el libro se titula “El truco mágico de siete capas: Una guía completa sobre sistemas de prueba de conocimiento cero.” Hoskinson lo publicó hace dos días. El repositorio ya contiene el PDF completo, el código fuente en Markdown y la tubería de construcción en un solo lugar.

El libro comienza con una sola frase de Hoskinson que establece todo el tono. Las pruebas ZK te permiten demostrar que algo es verdadero sin revelar por qué es verdadero. Esa única idea, escribe, se sitúa dentro de una industria de $2 billones, cuatro décadas de matemáticas y un problema que la mayoría de las personas aún no pueden explicar claramente.

Qué Hay Realmente Dentro de 337 Páginas

Catorce capítulos. Tres partes. Alrededor de 5,280 líneas de Markdown antes de convertirse en un PDF.

La Parte I recorre los conceptos básicos. Lo que hacen las pruebas ZK, por qué son importantes ahora y la primera decisión de diseño real que enfrenta cualquier sistema ZK: configuración de confianza versus configuración transparente. La Parte II profundiza en el núcleo técnico. Un capítulo por capa: lenguajes de programación, generación de testigos, aritmética, sistemas de prueba, primitivas criptográficas y verificación en cadena.

Esa sección sobre lenguajes de programación no es lectura casual. Hoskinson señala lo que él llama el problema de circuitos sub-constrained — responsable del 67% de las vulnerabilidades ZK en el mundo real. Esa cifra sola hace que la Parte II valga la pena para cualquier desarrollador que trabaje cerca de sistemas ZK.

La Parte III maneja la imagen más grande. Una descomposición completa de confianza con siete escenarios de fallo, una comparación del paisaje zkVM, análisis de mercado a través de seis segmentos y siete preguntas de investigación abiertas. Sin resoluciones limpias. Solo las preguntas difíciles que el campo no ha respondido.

Un estudio de caso de Midnight se encuentra dentro de la Parte III. Eso no es una nota al pie — es un capítulo completo.

El Argumento Central del Libro

Las pruebas ZK no eliminan la confianza. La descomponen en siete piezas más débiles.

Cada pieza es independientemente verificable. Cada una es reemplazable independientemente. Cada una puede fallar independientemente. Esa descomposición, argumenta Hoskinson a través del README del repositorio de GitHub, es el verdadero truco que realiza la tecnología — no magia, sino una reducción estructurada del riesgo en partes manejables.

Los capítulos 2 y 10 son lo que él llama las paredes de carga. El capítulo 2 maneja la configuración. El capítulo 10 trabaja a través de la descomposición de confianza en su totalidad. Si te saltas esos dos, el resto del libro pierde su fundamento.

Los caminos de lectura incorporados en el libro reflejan cómo las personas realmente abordan este material de manera diferente. Cuarenta y cinco minutos para un ejecutivo cubriendo solo los aspectos destacados. Dos horas para un ingeniero trabajando a través de las Partes I y II. Más de cuatro horas para un investigador que revisa todo, incluyendo las siete preguntas abiertas en el Capítulo 14.

Midnight Es el Verdadero Contexto Aquí

Hoskinson ha posicionado Midnight como una capa de privacidad entre cadenas construida sobre Cardano, utilizando criptografía de conocimiento cero como su columna vertebral a través de Bitcoin, XRP y otras redes. Una base de desarrolladores que no entiende los fundamentos ZK no puede construir con confianza sobre esa infraestructura.

Ese contexto hace que este libro sea una inversión técnica directa en el futuro de Midnight. No es marketing. Una base técnica de 337 páginas para quien quiera construir.

El libro recorre un solo ejemplo para anclar la teoría. Una prueba de Sudoku 4×4 va desde el programa hasta el testigo, hasta las restricciones, hasta un certificado sellado a través de cada capa. Un cálculo seguido todo el camino. Es el tipo de dispositivo que separa los libros escritos para impresionar de los libros escritos para realmente enseñar.

Los debates sobre la confianza ZK y la fiabilidad institucional se han intensificado en todo el espacio. El fundador de zkSync recientemente se opuso con fuerza a la crítica pública de Canton sobre la seguridad de las pruebas ZK en las finanzas institucionales — argumentando que las arquitecturas en capas detectan fallos antes de que se propaguen. El marco de descomposición de confianza de Hoskinson en el Capítulo 10 aborda la misma clase de preguntas desde un ángulo diferente.

Gratis, Licenciado y Listo para Construir Desde

El PDF completo está disponible en github.com/CharlesHoskinson/sevenlayer. Licenciado bajo Creative Commons Attribution 4.0 International. Uso comercial permitido. El único requisito es dar crédito.

El PDF fue construido para pantallas. Modo oscuro, encabezados Outfit, resaltado de sintaxis personalizado, acentos de degradado azul a morado. No optimizado para impresión. El código fuente para construirlo tú mismo — Python, Pandoc, XeLaTeX — está incluido en el mismo repositorio.