Charles Hoskinson lanzó una guía gratuita de pruebas de conocimiento cero de 337 páginas en GitHub, dirigida a desarrolladores y constructores de tecnología de privacidad de Midnight en todo 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 pueda leerlo, adaptarlo o desarrollarlo.
El fundador de Cardano e IOG compartió el lanzamiento de X como @IOHK_Charlesconfirmando el libro titulado «El truco de magia de las siete capas: una guía completa para sistemas de prueba de conocimiento cero». Hoskinson lo publicó hace dos días. El repositorio ya contiene el PDF completo, el código fuente de Markdown y el proceso de compilación en un solo lugar.
El libro comienza con una sola frase de Hoskinson que marca el tono. Las pruebas ZK le permiten demostrar que algo es cierto sin revelar por qué es cierto. Esa idea, escribe, se encuentra dentro de una industria de 2 billones de dólares, cuatro décadas de matemáticas y un problema que la mayoría de la gente todavía no puede explicar con claridad.
Lo que realmente hay dentro de 337 páginas
Catorce capítulos. Tres partes. Alrededor de 5280 líneas de Markdown antes de convertirse en PDF.
La parte I recorre los conceptos básicos. Qué 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 confiable versus configuración transparente. La segunda parte profundiza en el núcleo técnico. Un capítulo por capa: lenguajes de programación, generación de testigos, aritmetización, sistemas de prueba, primitivas criptográficas y verificación en cadena.
Esa sección sobre lenguajes de programación no es una lectura casual. Hoskinson señala lo que él llama el problema del circuito insuficientemente restringido, responsable del 67% de las vulnerabilidades ZK del mundo real. Esa cifra por sí sola hace que la Parte II valga la pena para cualquier desarrollador que trabaje cerca de los sistemas ZK.
La Parte III aborda el panorama más amplio. Una descomposición de plena confianza con siete escenarios de falla, una comparación del panorama de zkVM, análisis de mercado en seis segmentos y siete preguntas de investigación abiertas. No hay resoluciones claras. Sólo las preguntas difíciles que el campo no ha respondido.
Un estudio de caso de Midnight se encuentra dentro de la Parte III. Esto no es una nota a pie de página, es un capítulo completo.
El argumento central del libro
Las pruebas ZK no eliminan la confianza. Lo rompen en siete pedazos más débiles.
Cada pieza se puede probar de forma independiente. Cada uno es reemplazable de forma independiente. Cada uno puede fallar de forma independiente. Esa descomposición, sostiene Hoskinson a través del repositorio README de GitHub, es el verdadero truco que realiza la tecnología: no es magia, sino una reducción estructurada del riesgo en partes manejables.
Los capítulos 2 y 10 son lo que él llama los muros de carga. El capítulo 2 se ocupa de la configuración. El Capítulo 10 analiza la descomposición del fideicomiso en su totalidad. Si omite esos dos, el resto del libro perderá su fundamento.
Los caminos de lectura integrados en el libro reflejan la forma diferente en que las personas abordan este material. Cuarenta y cinco minutos para un ejecutivo que cubre sólo los aspectos más destacados. Dos horas para un ingeniero que trabaja en las Partes I y II. Más de cuatro horas para un investigador que analiza todo, incluidas las siete preguntas abiertas del Capítulo 14.
La medianoche es el contexto real aquí
Hoskinson se ha posicionado Medianoche como capa de privacidad entre cadenas construido sobre Cardano, utilizando criptografía de conocimiento cero como columna vertebral en Bitcoin, XRP y otras redes. Una base de desarrolladores que no comprende los fundamentos de ZK no puede construir con confianza esa infraestructura.
Ese contexto hace de este libro una inversión técnica directa en el futuro de Midnight. No marketing. Una base técnica de 337 páginas para quien se presente a construir.
El libro analiza un único ejemplo para anclar la teoría. Una prueba de Sudoku 4×4 pasa del programa al testigo de las restricciones a un certificado sellado en cada capa. Un cálculo rastreó 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 de ZK y la confiabilidad institucional se han intensificado en todo el espacio. El El fundador de zkSync recientemente rechazó duramente la crítica pública de Canton a la seguridad de la prueba ZK en finanzas institucionales, argumentando que las arquitecturas en capas detectan las fallas antes de que se propaguen. El marco de descomposición de la confianza de Hoskinson en el capítulo 10 aborda exactamente el mismo tipo de preguntas desde un ángulo diferente.
Gratis, con licencia y listo para construir
El PDF completo está disponible en github.com/CharlesHoskinson/sevenlayer. Licenciado bajo Creative Commons Attribution 4.0 International. Se permite el uso comercial. El único requisito es el crédito.
El PDF fue creado para pantallas. Modo oscuro, encabezados de vestimenta, resaltado de sintaxis personalizado, acentos degradados de azul a violeta. No optimizado para impresión. El código fuente para crearlo usted mismo (Python, Pandoc, XeLaTeX) se incluye en el mismo repositorio.
Descargo de responsabilidad: Los puntos de vista y opiniones expresadas en este artículo pertenecen a su autor y no necesariamente reflejan aquellas de CriptoPasion. La opinión del autor es a título informativo y en ninguna circunstancia constituye una recomendación de inversión ni asesoría financiera.
