チャールズ・ホスキンソンがGitHubで無料の337ページのゼロ知識証明ガイドを公開しました。対象はMidnightプライバシー技術の開発者とZKスペースのビルダーです。
チャールズ・ホスキンソンがゼロ知識証明システムに関する337ページの技術書を発表しました。無料です。GitHubにあります。誰でも読むこと、適応すること、または構築することができます。
カルダノとIOGの創設者は、リリースをXで@IOHK_Charlesとして共有し、「The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems」というタイトルの本を確認しました。ホスキンソンはそれを2日前に投稿しました。リポジトリにはすでに完全なPDF、Markdownソース、およびビルドパイプラインが一つの場所に含まれています。
本書は、ホスキンソンの一文から始まり、全体のトーンを設定します。ZK証明は、なぜそれが真実であるかを明らかにすることなく、何かが真実であることを証明させます。その一つのアイデアが、彼が述べるように、2兆ドルの産業、40年の数学、そしてほとんどの人がまだ明確に説明できない問題の中にあります。
14章。3部。PDFになる前に約5,280行のMarkdownがあります。
第I部は基本を通り抜けます。ZK証明が何をするのか、なぜ今重要なのか、そしてどのZKシステムにも直面する最初の本当の設計決定 — 信頼されたセットアップ対透明なセットアップ。第II部は技術的コアに深く入り込みます。1層ごとの章：プログラミング言語、証人生成、算術化、証明システム、暗号的原則、およびオンチェーン検証。
プログラミング言語に関するそのセクションはカジュアルな読書ではありません。ホスキンソンは、実世界のZK脆弱性の67%に責任があるとされるアンダーコントレインド回路問題を指摘しています。その数字だけでも、第II部はZKシステムに近い開発者にとって時間を価値あるものにします。
第III部は全体像を扱います。7つの失敗シナリオを持つ完全な信頼分解、zkVMの風景比較、6つのセグメントにわたる市場分析、そして7つのオープンな研究質問。きれいな解決策はありません。ただ、この分野がまだ答えていない厳しい質問だけです。
Midnightのケーススタディが第III部に含まれています。それは脚注ではなく、完全な章です。
ZK証明は信頼を排除するのではありません。それを7つの弱い部分に分解します。
各部分は独立してテスト可能です。各部分は独立して置き換え可能です。各部分は独立して失敗する可能性があります。その分解は、ホスキンソンがGitHubリポジトリのREADMEを通じて主張するところの、技術が実行する実際のトリックです — 魔法ではなく、リスクを管理可能な部分に構造的に削減することです。
第2章と第10章は、彼が呼ぶロードベアリングウォールです。第2章はセットアップを扱います。第10章は信頼の分解を完全に解決します。これらの2つをスキップすると、残りの本はその基盤を失います。
本書に組み込まれた読み方は、人々がこの資料にどのように異なったアプローチをするかを反映しています。ハイライトだけをカバーするために45分のエグゼクティブ。第I部と第II部を通じて作業するエンジニアに2時間。第14章の7つのオープンな質問を含むすべてを通り抜ける研究者には4時間以上。
ホスキンソンはMidnightをカルダノの上に構築されたクロスチェーンプライバシーレイヤーとして位置づけ、ゼロ知識暗号をビットコイン、XRP、その他のネットワーク全体にわたるバックボーンとして使用しています。ZKの基本を理解していない開発者層は、そのインフラストラクチャ上で自信を持って構築することができません。
その文脈はこの本をMidnightの未来への直接的な技術投資としています。マーケティングではありません。誰が構築するかにかかわらず、337ページの技術的基盤です。
本書は理論を固定するために単一の例を通じて進行します。4×4の数独証明は、プログラムから証人、制約、すべての層を通じて封印された証明書に至るまでのスレッドです。一つの計算が全体の流れを追跡しました。それは、印象を与えるために書かれた本と、実際に教えるために書かれた本を分ける装置のようなものです。
ZK信頼と制度的信頼性に関する議論がこの分野で加熱しています。zkSyncの創設者は最近、制度的金融におけるZK証明の安全性に対するカントンの公の批判に対して強く反論しました — 層状アーキテクチャが失敗を広がる前にキャッチするという主張です。ホスキンソンの第10章の信頼分解フレームワークは、異なる角度から同じクラスの質問に対処しています。
完全なPDFはgithub.com/CharlesHoskinson/sevenlayerで入手可能です。クリエイティブ・コモンズ 表示 4.0 国際ライセンスのもとにライセンスされています。商業利用も許可されています。唯一の要件はクレジットです。
PDFは画面用に構築されています。ダークモード、アウトフィット見出し、カスタム構文ハイライト、青から紫へのグラデーションアクセント。印刷用には最適化されていません。自分でビルドするためのソースコード — Python、Pandoc、XeLaTeX — は同じリポジトリに含まれています。
