Charles Hoskinson hat auf GitHub einen kostenlosen 337-seitigen Zero-Knowledge-Proof-Leitfaden veröffentlicht, der sich an Entwickler und Entwickler von Midnight-Datenschutztechnologien im gesamten ZK-Bereich richtet.
Charles Hoskinson veröffentlichte ein 337-seitiges Fachbuch über wissensfreie Systeme. Frei. Auf GitHub. Offen für jedermann zum Lesen, Anpassen oder Weiterentwickeln.
Der Cardano- und IOG-Gründer teilte die Veröffentlichung auf Xas @IOHK_Charles, was das Buch mit dem Titel „The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems“ bestätigt. Hoskinson hat es vor zwei Tagen gepostet. Das Repository enthält bereits das vollständige PDF, die Markdown-Quelle und die Build-Pipeline an einem Ort.
Das Buch beginnt mit einem einzigen Satz von Hoskinson, der den gesamten Ton angibt. Mit ZK-Beweisen können Sie beweisen, dass etwas wahr ist, ohne preiszugeben, warum es wahr ist. Diese eine Idee, schreibt er, steckt in einer 2-Billionen-Dollar-Industrie, vier Jahrzehnten Mathematik und einem Problem, das die meisten Menschen immer noch nicht klar erklären können.
Was wirklich drin ist auf 337 Seiten
Vierzehn Kapitel. Drei Teile. Etwa 5.280 Zeilen Markdown, bevor daraus ein PDF wird.
Teil I geht auf die Grundlagen ein. Was ZK-Proofs bewirken, warum sie jetzt wichtig sind und die erste echte Designentscheidung, vor der jedes ZK-System steht – vertrauenswürdiger Aufbau versus transparenter Aufbau. Teil II geht tief in den technischen Kern ein. Ein Kapitel pro Schicht: Programmiersprachen, Zeugengenerierung, Arithmetisierung, Beweissysteme, kryptografische Grundelemente und On-Chain-Verifizierung.
Dieser Abschnitt über Programmiersprachen ist keine Gelegenheitslektüre. Hoskinson weist auf das, was er das Problem der unterbeschränkten Schaltkreise nennt, hin, das für 67 % der realen ZK-Schwachstellen verantwortlich ist. Allein diese Zahl macht Teil II für jeden Entwickler, der in der Nähe von ZK-Systemen arbeitet, lohnenswert.
Teil III befasst sich mit dem Gesamtbild. Eine vollständige Vertrauenszerlegung mit sieben Fehlerszenarien, einem zkVM-Landschaftsvergleich, einer Marktanalyse über sechs Segmente hinweg und sieben offenen Forschungsfragen. Keine sauberen Vorsätze. Nur die schwierigen Fragen, die das Feld noch nicht beantwortet hat.
Eine Midnight-Fallstudie befindet sich in Teil III. Das ist keine Fußnote – es ist ein ganzes Kapitel.
Das zentrale Argument des Buches
ZK-Beweise zerstören das Vertrauen nicht. Sie zerlegen es in sieben schwächere Teile.
Jedes Stück ist unabhängig testbar. Jedes ist unabhängig austauschbar. Jeder kann unabhängig voneinander scheitern. Diese Zerlegung, argumentiert Hoskinson im GitHub-Repository README, ist der eigentliche Trick, den die Technologie ausführt – keine Zauberei, sondern eine strukturierte Reduzierung des Risikos in überschaubare Teile.
In den Kapiteln 2 und 10 nennt er die tragenden Wände. Kapitel 2 behandelt die Einrichtung. Kapitel 10 behandelt die Vertrauenszerlegung vollständig. Überspringen Sie diese beiden und der Rest des Buches verliert seine Grundlage.
Die in das Buch eingebauten Lesepfade spiegeln wider, wie unterschiedlich Menschen tatsächlich an dieses Material herangehen. Fünfundvierzig Minuten für eine Führungskraft, die nur die Highlights abdeckt. Zwei Stunden für einen Ingenieur, der Teil I und II durcharbeitet. Mehr als vier Stunden für einen Forscher, der alles durchgeht, einschließlich der sieben offenen Fragen in Kapitel 14.
Mitternacht ist hier der eigentliche Kontext
Hoskinson hat sich positioniert Midnight als kettenübergreifende Datenschutzschichtbasiert auf Cardano und nutzt wissensfreie Kryptographie als Rückgrat für Bitcoin, XRP und andere Netzwerke. Eine Entwicklerbasis, die die ZK-Grundlagen nicht versteht, kann nicht zuverlässig auf dieser Infrastruktur aufbauen.
Dieser Kontext macht dieses Buch zu einer direkten technischen Investition in die Zukunft von Midnight. Kein Marketing. Eine 337-seitige technische Grundlage für jeden, der zum Bauen kommt.
Das Buch führt ein einzelnes Beispiel durch, um die Theorie zu verankern. Ein 4×4-Sudoku-Proof verläuft vom Programm über den Zeugen bis hin zu Einschränkungen und einem versiegelten Zertifikat über alle Ebenen hinweg. Eine Berechnung verfolgte den gesamten Weg. Es ist die Art von Gerät, das Bücher, die geschrieben wurden, um zu beeindrucken, von Büchern trennt, die geschrieben wurden, um tatsächlich zu lehren.
Die Debatten über ZK-Vertrauen und institutionelle Zuverlässigkeit haben sich überall verschärft. Der Der Gründer von zkSync hat sich kürzlich entschieden gegen Cantons öffentliche Kritik an der ZK-sicheren Sicherheit gewehrtim institutionellen Finanzwesen – mit dem Argument, dass mehrschichtige Architekturen Ausfälle erkennen, bevor sie sich ausbreiten. Hoskinsons Vertrauenszerlegungsrahmen in Kapitel 10 befasst sich mit genau derselben Klasse von Fragen aus einem anderen Blickwinkel.
Kostenlos, lizenziert und bereit zum Erstellen
Das vollständige PDF finden Sie unter github.com/CharlesHoskinson/sevenlayer. Lizenziert unter Creative Commons Attribution 4.0 International. Kommerzielle Nutzung erlaubt. Die einzige Voraussetzung ist ein Kredit.
Das PDF wurde für Bildschirme erstellt. Dunkler Modus, Outfit-Überschriften, benutzerdefinierte Syntaxhervorhebung, blaue bis violette Farbverlaufsakzente. Nicht für den Druck optimiert. Der Quellcode zum Selbstbauen – Python, Pandoc, XeLaTeX – ist im selben Repository enthalten.
Quelle: Live Bitcoin News
Schreibe einen Kommentar