Hoskinson veröffentlicht ein 337-seitiges Buch über Zero-Knowledge-Beweise

Charles Hoskinson hat einen kostenlosen 337-seitigen Leitfaden zu Zero-Knowledge-Proofs auf GitHub veröffentlicht, der sich an Entwickler und Builder der Midnight-Privatsphäre-Technologie im ZK-Bereich richtet.

Charles Hoskinson veröffentlichte ein 337-seitiges Fachbuch über Zero-Knowledge-Proof-Systeme. Kostenlos. Auf GitHub. Offen für jeden, um es zu lesen, anzupassen oder darauf aufzubauen.

Der Cardano- und IOG-Gründer teilte die Veröffentlichung auf X als @IOHK_Charles und bestätigte das Buch mit dem Titel „The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems.“ Hoskinson postete es vor zwei Tagen. Das Repository enthält bereits das vollständige PDF, den Markdown-Quellcode und die Build-Pipeline an einem Ort.

Das Buch beginnt mit einem einzigen Satz von Hoskinson, der den gesamten Ton angibt. ZK-Proofs ermöglichen es Ihnen, etwas zu beweisen, ohne zu offenbaren, warum es wahr ist. Diese eine Idee, schreibt er, steckt in einer $2 Billionen Industrie, vier Jahrzehnten Mathematik und einem Problem, das die meisten Menschen immer noch nicht klar erklären können.

Was wirklich in 337 Seiten steckt

Vierzehn Kapitel. Drei Teile. Etwa 5.280 Zeilen Markdown, bevor es zu einem PDF wird.

Teil I behandelt die Grundlagen. Was ZK-Proofs tun, warum sie jetzt wichtig sind und die erste echte Designentscheidung, vor der jedes ZK-System steht — vertrauenswürdige Einrichtung versus transparente Einrichtung. Teil II geht tief in den technischen Kern. Ein Kapitel pro Schicht: Programmiersprachen, Zeugen-Generierung, Arithmetisierung, Beweis-Systeme, kryptografische Primitiven und On-Chain-Verifizierung.

Dieser Abschnitt über Programmiersprachen ist keine leichte Lektüre. Hoskinson weist auf das hin, was er das unterbeschränkte Schaltungsproblem nennt — verantwortlich für 67% der realen ZK-Sicherheitsanfälligkeiten. Diese Zahl allein macht Teil II für jeden Entwickler, der an ZK-Systemen arbeitet, die Zeit wert.

Teil III behandelt das größere Ganze. Eine vollständige Vertrauenszerlegung mit sieben Fehlerszenarien, einen Vergleich der zkVM-Landschaft, Marktanalysen über sechs Segmente und sieben offene Forschungsfragen. Keine klaren Lösungen. Nur die harten Fragen, die das Feld nicht beantwortet hat.

Eine Midnight-Fallstudie befindet sich in Teil III. Das ist keine Fußnote — es ist ein vollständiges Kapitel.

Das zentrale Argument des Buches

ZK-Proofs beseitigen kein Vertrauen. Sie zerlegen es in sieben schwächere Teile.

Jeder Teil ist unabhängig testbar. Jeder ist unabhängig austauschbar. Jeder kann unabhängig fehlschlagen. Diese Zerlegung, argumentiert Hoskinson durch das README des GitHub-Repositorys, ist der eigentliche Trick, den die Technologie ausführt — keine Magie, sondern eine strukturierte Risikominderung in handhabbare Teile.

Kapitel 2 und 10 sind das, was er die tragenden Wände nennt. Kapitel 2 behandelt die Einrichtung. Kapitel 10 arbeitet die Vertrauenszerlegung vollständig durch. Wenn Sie diese beiden überspringen, verliert der Rest des Buches sein Fundament.

Die Lesewege, die in das Buch eingebaut sind, spiegeln wider, wie unterschiedlich Menschen tatsächlich an dieses Material herangehen. Fünfundvierzig Minuten für einen Geschäftsführer, der nur die Highlights abdeckt. Zwei Stunden für einen Ingenieur, der die Teile I und II durchgeht. Vier oder mehr Stunden für einen Forscher, der alles durchgeht, einschließlich der sieben offenen Fragen in Kapitel 14.

Midnight ist der eigentliche Kontext hier

Hoskinson hat Midnight als eine plattformübergreifende Privatschicht positioniert, die auf Cardano basiert und Zero-Knowledge-Kryptographie als Rückgrat über Bitcoin, XRP und andere Netzwerke nutzt. Eine Entwicklerbasis, die die Grundlagen von ZK nicht versteht, kann nicht selbstbewusst auf dieser Infrastruktur aufbauen.

Dieser Kontext macht dieses Buch zu einer direkten technischen Investition in die Zukunft von Midnight. Keine Werbung. Eine 337-seitige technische Grundlage für jeden, der kommt, um zu bauen.

Das Buch geht durch ein einziges Beispiel, um die Theorie zu verankern. Ein 4×4 Sudoku-Beweis zieht sich vom Programm über den Zeugen zu den Einschränkungen bis hin zu einem versiegelten Zertifikat über jede Schicht. Eine Berechnung, die den gesamten Weg verfolgt wurde. Es ist die Art von Gerät, die Bücher, die geschrieben wurden, um zu beeindrucken, von Büchern trennt, die tatsächlich lehren wollen.

Debatten über ZK-Vertrauen und institutionelle Zuverlässigkeit haben im gesamten Bereich an Intensität zugenommen. Der zkSync-Gründer hat kürzlich heftig gegen Cantons öffentliche Kritik an der Sicherheit von ZK-Proofs in der institutionellen Finanzwelt reagiert — und argumentiert, dass geschichtete Architekturen Fehler abfangen, bevor sie sich ausbreiten. Hoskinsons Vertrauenszerlegungsrahmen in Kapitel 10 behandelt genau dieselbe Klasse von Fragen aus einem anderen Blickwinkel.

Kostenlos, lizenziert und bereit zum Bauen

Das vollständige PDF ist verfügbar unter github.com/CharlesHoskinson/sevenlayer. Lizenziert unter Creative Commons Attribution 4.0 International. Kommerzielle Nutzung erlaubt. Die einzige Anforderung ist die Namensnennung.

Das PDF wurde für Bildschirme erstellt. Dunkelmodus, Outfit-Überschriften, benutzerdefinierte Syntax-Hervorhebungen, blau-lila Farbverlauf-Akzente. Nicht für den Druck optimiert. Der Quellcode, um es selbst zu erstellen — Python, Pandoc, XeLaTeX — ist im selben Repository enthalten.