チャールズ・ホスキンソン氏、ZK暗号の337ページ入門書「Midnight: The Seven Layer Magic Trick」を無料公開
Charles Hoskinson氏が3月27日、ゼロ知識証明（ZK）に関する337ページの書籍「Midnight: The Seven Layer Magic Trick」をGitHubで無料公開しました。クリエイティブ・コモンズ・帰属ライセンスで誰でもダウンロード・共有・商用利用が可能です。
■ なぜこの本を書いたのか
Hoskinson氏は動画の中で、「ゼロ知識証明とゼロ知識暗号について、驚くほど理解度が低いことに気づいた」と述べています。
Midnightのメインネットローンチが進む中で、「Midnightとは何か」を理解するためには、その基盤であるZK技術そのものへの理解が不可欠です。この本は、その橋渡しとして書かれました。
数ヶ月かけて執筆され、非技術者でも読める入門書でありながら、技術的な深さも備えた構成になっています。
■ 「7つのレイヤー」——ZKシステムの分類法
この本の核心は、すべてのZKシステムを理解するための「7つのレイヤー」という分類法（タクソノミー）です。
【レイヤー構成（上から下へ）】
- トラステッドセットアップ（セレモニー）
- 言語
- ウィットネス
- 算術化（Arithmetization）
- 証明システム
- 暗号
- 検証環境
各章でこれらのレイヤーを一つずつ解説していきます。このフレームワークを理解すれば、Midnightに限らず、どんなZKシステムでも分解・理解できるようになります。
■ 本の構成
7つのレイヤーの解説を終えた後、以下のトピックに進みます：
・PET（Privacy Enhancing Technologies）
・ZEXE（Aleoが使用するプロトコル）
・Kachina（Midnightが使用するプロトコル）
・プライベートスマートコントラクト全般
・ZKVM（ゼロ知識仮想マシン）の各種類
・STARK-to-SNARKパイプライン
・Midnight専用章（約10ページ）
・市場ランドスケープ
・ZK分野のオープンクエスチョン
・用語集
・参考文献（50以上の主要研究論文）
■ 今後の拡張予定
現在は第1版（v1.01）で、ZKに特化した内容です。今後、以下のセクションが追加される予定です：
・マルチパーティ計算（MPC）
・トラステッド実行環境（TEE）
・準同型暗号（FHE）
Midnightの機能が追加されるたびに、本も更新されていく予定です。
■ ライセンスと入手方法
・ライセンス：クリエイティブ・コモンズ 帰属（CC BY）
・自由に共有・配布・商用利用可能（帰属表示のみ必要）
・GitHubリポジトリからPDFを直接ダウンロード可能
・LaTeXソースとビルドスクリプトも公開
■ SPO・DRep・開発者への示唆
・ZK技術の理解は、Midnightバリデーターとしての準備に直結します
・コミュニティへの教育素材として活用できます（CC BYライセンス）
・Midnight Ambassador活動の資料としても最適です
・50以上の参考文献リストは、さらに深く学びたい方への出発点になります
Hoskinson氏は「Midnightを人々に紹介する良い方法でもある」と述べています。337ページのZK入門書が無料で手に入る機会は稀です。週末にぜひどうぞ。
以下はチャールズ・ホスキンソン氏動画「I Wrote a Book」を翻訳したものです。
チャールズ・ホスキンソン氏動画「I Wrote a Book」全翻訳
こんにちは。チャールズ・ホスキンソンです。
暖かくて日差しのあるコロラドからライブ配信しています。いつも暖かくて、いつも晴れていて、たまに「やっぱりコロラドだな」という感じですね。今日は2026年3月27日です。短い動画を撮りたくて来ました。実は、裏でずっと取り組んでいたものがあって、たった今リリースされました。出来立てほやほやです。Midnightのためにやること、愛のためにやること。
GitHubのリポジトリにアップして、クリエイティブ・コモンズ・ライセンスで公開しました。本を書くことにしたんです。このリポジトリをお見せしましょう。ターボ・ナードな方はここにラテックス（LaTeX）のソースがすべてあります。ビルドスクリプトと基本的な作り方も含まれています。
最初のリリースでちょっとやらかしました。ファイル自体にクリエイティブ・コモンズ・ライセンスを入れ忘れたんです。リポジトリには入っていますが。普段リポジトリで作業することに慣れすぎていて。でもとにかく、本をお見せして、何を書いたか少し説明しましょう。
気づいたのは、ゼロ知識証明とゼロ知識暗号について、驚くほど理解度が低いということです。そこで、ここ数ヶ月かけて337ページの本を書きました。どのように進めるか行ったり来たりしていたのですが、基本的には「Midnightとは何か」を、ゼロ知識が一般的にどのように機能するかを理解するための分類法（タクソノミー）との関係で解説するものです。
システムの7つのレイヤーがあります。一番上のトラステッドセットアップ（信頼されたセットアップ）、セレモニー——セットアップが必要かどうか——から始まり、スタックを下に向かって進みます。言語、ウィットネス、算術化（Arithmetization）、証明システム、暗号、そして検証環境を見ていきます。
これによって、すべてのZKシステムをそのレンズで理解できるようになります。
非技術者向けのマニュアルとして書きましたが、中にはたくさんの技術的な内容も含まれています。7つのレイヤーから始まり、各章でシステムの異なるレイヤーを扱います。第1レイヤー、第2レイヤー、第3レイヤー、算術化の第4レイヤー、そしてこれらすべて、そして実際の証明システムに入ります。
7つのレイヤーをすべて通過した後、PET（Privacy Enhancing Technologies）について一段上のレベルで話し始めます。そこでZEXE——Aleoが使用しているもの——と、Kachina——Midnightが使用しているもの——を取り上げます。プライベートスマートコントラクト全般についてより深い理解が得られます。
そして実際にエコシステムの新しいもの、例えばZKVM（ゼロ知識仮想マシン）にも踏み込んでいます。すべての種類のZKVMをカバーし、STARK-to-SNARKパイプラインなども扱っています。そして実際にMidnightに特化した章があります。約10ページですが、Midnightとは何かについてかなり良い理解を得られます。
そして市場のランドスケープで締めくくり、ZKランドスケープにおけるいくつかのオープンクエスチョンを述べています。
これは第1版です。素敵な用語集もあります。たくさんのクールで面白いものを入れ込むようにしましたし、この本をできる限り非技術的にするよう懸命に努力しました。
そしてもう一つすごくいいのは、非常に密度の高い参考文献リストが入っていることです。スクロールダウンすると……追加の読書に興味がある方や、ZK分野のすべてのゼミナール・ペーパーについて——実際にここですべての主要な研究論文を見ることができます。50以上の興味深い読書先があります。
良い出発点になると思いますし、かなり誇りに思っています。すべての考えを一箇所にまとめるのに長い時間がかかりましたが、たった337ページです。週末に読んでください。ZKがどのように機能するかについて良い理解が得られるでしょう。
クリエイティブ・コモンズの帰属ライセンスでリリースしています。自由に共有してください。他の人にあげてください。商用製品に組み込むこともできます。書いたのは私なので、帰属表示だけお願いします。GitHubリポジトリからのダウンロードリンクはそこにあります。Midnight Discordや他の場所でも共有する予定です。GitHubから直接PDFをダウンロードできるはずです。どんどん広めてください。
これは第1版、バージョン1.01です。非常に初期の段階です。週末を使って追加・変更していきますし、Midnightでより多くのものがローンチされたら追加します。
現時点ではZKに非常にフォーカスしています。将来的にはマルチパーティ計算のセクション、トラステッド実行環境のセクション、そしておそらく準同型暗号のセクションも追加する予定です。準同型暗号がどのように機能するかも議論する必要がありますが、すでにNightStreamについては少し触れています。円分多項式やあらゆる種類のもの、数学的予備知識についても話せますが、これもまたこのトピックへの非技術的な入門書でもあります。
そしてその7つのレイヤーは本当に自分の位置を把握するのに役立ちます。クールなのは、どんなゼロ知識システムでも分解できるようになることです。
というわけで、週末のスペアタイムに書いたちょっとしたものです。たくさんの作業でした。ゼロ知識についての素敵な300ページのマニュアルです。興味があればぜひ楽しんでください。
そして、Midnightを人々に紹介する良い方法でもあります。ぜひ楽しんでください。「Midnight: The Seven Layer Magic Trick」です。たくさんの愛を込めて作りました。広めてください。楽しんでください。
