Charles Hoskinson a publié un guide gratuit de preuves sans connaissance de 337 pages sur GitHub, ciblant les développeurs et les constructeurs de technologies de confidentialité de Midnight dans l’espace ZK.
Charles Hoskinson a publié un livre technique de 337 pages sur les systèmes de preuve sans connaissance. Gratuit. Sur GitHub. Ouvert à tous pour lire, adapter ou développer.
Le fondateur de Cardano et IOG a partagé la version sur X comme @IOHK_Charles, confirmant le livre intitulé « Le tour de magie à sept couches : un guide complet des systèmes à preuve de zéro connaissance ». Hoskinson l’a posté il y a deux jours. Le référentiel contient déjà le PDF complet, la source Markdown et le pipeline de build en un seul endroit.
Le livre s’ouvre sur une seule phrase de Hoskinson qui donne le ton. Les preuves ZK vous permettent de prouver que quelque chose est vrai sans révéler pourquoi c’est vrai. Cette idée, écrit-il, se situe dans une industrie de 2 000 milliards de dollars, quatre décennies de mathématiques et un problème que la plupart des gens ne peuvent toujours pas expliquer clairement.
Ce qu’il y a réellement à l’intérieur de 337 pages
Quatorze chapitres. Trois parties. Environ 5 280 lignes de Markdown avant qu’il ne devienne un PDF.
La première partie passe en revue les bases. Ce que font les épreuves ZK, pourquoi elles sont importantes maintenant et la première véritable décision de conception à laquelle tout système ZK est confronté : une configuration fiable par rapport à une configuration transparente. La deuxième partie approfondit le noyau technique. Un chapitre par couche : langages de programmation, génération de témoins, arithmétique, systèmes de preuve, primitives cryptographiques et vérification en chaîne.
Cette section sur les langages de programmation n’est pas une lecture fortuite. Hoskinson signale ce qu’il appelle le problème du circuit sous-contraint, responsable de 67 % des vulnérabilités ZK du monde réel. Ce chiffre à lui seul fait que la partie II vaut le temps pour tout développeur travaillant à proximité des systèmes ZK.
La partie III traite de la situation dans son ensemble. Une décomposition de confiance totale avec sept scénarios de défaillance, une comparaison du paysage zkVM, une analyse de marché sur six segments et sept questions de recherche ouvertes. Pas de résolutions propres. Juste les questions difficiles auxquelles le domaine n’a pas répondu.
Une étude de cas de minuit se trouve dans la partie III. Ce n’est pas une note de bas de page, c’est un chapitre complet.
L’argument central du livre
Les preuves ZK n’éliminent pas la confiance. Ils le divisent en sept morceaux plus faibles.
Chaque pièce est testable indépendamment. Chacun est remplaçable indépendamment. Chacun peut échouer indépendamment. Cette décomposition, affirme Hoskinson à travers le référentiel GitHub README, est le véritable truc que la technologie réalise – pas de magie, mais une réduction structurée des risques en parties gérables.
Les chapitres 2 et 10 sont ce qu’il appelle les murs porteurs. Le chapitre 2 gère la configuration. Le chapitre 10 présente la décomposition de la confiance dans son intégralité. Ignorez ces deux-là et le reste du livre perd ses fondements.
Les parcours de lecture intégrés au livre reflètent la manière dont les gens abordent réellement ce matériel différemment. Quarante-cinq minutes pour un cadre couvrant uniquement les faits saillants. Deux heures pour un ingénieur travaillant sur les parties I et II. Plus de quatre heures pour un chercheur qui passe en revue tout, y compris les sept questions ouvertes du chapitre 14.
Minuit est le vrai contexte ici
Hoskinson a positionné Minuit comme couche de confidentialité inter-chaînesconstruit sur Cardano, utilisant la cryptographie à connaissance nulle comme épine dorsale sur Bitcoin, XRP et d’autres réseaux. Une base de développeurs qui ne comprend pas les principes fondamentaux de ZK ne peut pas s’appuyer en toute confiance sur cette infrastructure.
Ce contexte fait de ce livre un investissement technique direct dans l’avenir de Midnight. Pas de marketing. Une base technique de 337 pages pour quiconque se présente pour construire.
Le livre présente un seul exemple pour ancrer la théorie. Une épreuve de Sudoku 4 × 4 relie le programme au témoin des contraintes d’un certificat scellé à travers chaque couche. Un seul calcul a été suivi tout au long. C’est le genre d’appareil qui sépare les livres écrits pour impressionner des livres écrits pour réellement enseigner.
Les débats autour de la confiance ZK et de la fiabilité institutionnelle se sont intensifiés dans tout l’espace. Le Le fondateur de zkSync a récemment répliqué aux critiques publiques de Canton concernant la sécurité de la preuve ZK.en finance institutionnelle – en faisant valoir que les architectures en couches détectent les échecs avant qu’ils ne se propagent. Le cadre de décomposition de la confiance de Hoskinson au chapitre 10 aborde exactement la même classe de questions sous un angle différent.
Gratuit, sous licence et prêt à construire
Le PDF complet est disponible sur github.com/CharlesHoskinson/sevenlayer. Sous licence Creative Commons Attribution 4.0 International. Utilisation commerciale autorisée. La seule exigence est le crédit.
Le PDF a été conçu pour les écrans. Mode sombre, titres de tenues, coloration syntaxique personnalisée, accents dégradés bleu à violet. Non optimisé pour l’impression. Le code source pour le construire vous-même — Python, Pandoc, XeLaTeX — est inclus dans le même référentiel.
Source : Live Bitcoin News
Laisser un commentaire