1年以上前にZKブックをリリースしたとき、私たちはZK教育分野を大きな前進に導きました。 私たちの本は、ZKを学ぶための「ちょうど十分な数学」のアプローチの先駆者です。 今日、ZKブックに新たに追加されて、再びそれを行います。 「Circom と制約のデザイン パターン」 この新しいセクションでは、重要なZK回路を設計、作成、および監査する方法に焦点を当てています。 Circomを使用して多項式の評価を知っていることを証明する方法についてのチュートリアルをたくさん見たことがあるでしょう。 しかし、そこからZKVMを設計したり、従来のハッシュ関数(MD5やKeccak256など)の優位性を知っていることを証明したりするにはどうすればよいでしょうか。 ZK Bookの新しい部分では、掛け算から数字への移動から次のことへの旅にあなたを連れて行きます。 - ZKVMをゼロから構築する - MD5ハッシュ関数のコーディング制約 - 制約設計で繰り返し発生する設計パターンを学習する 最後の部分は、確立された「デザインパターン」のいくつかに名前さえ付いていないので、興味深かったです。私たちはいくつかの用語を発明しなければなりませんでした! いつものように、私たちは新しい人を圧倒しないように、読者に新しいアイデアをどのように紹介するかについて非常に思慮深くなっています。私たちは、前提条件を賢明な順序で、多くの例を挙げて教えるように注意しています。 各章では、ますます複雑化するアプリケーション用の回路を構築する方法を示します。各章では、以前に学習した内容を復習し、新しいデザインパターンを学習します。 これらのデザインパターンのコレクションを構築したら、それらを一緒に構成して、ZKVMや重要なハッシュ関数などのより複雑なアプリケーションを構築できます。 私たちは、資料が理解しやすく、重要な省略なしに正しいことを確認するために多大な努力を払っています。 この作業のレビューと提案を提供するために時間を割いてくださった@ChainLight_io、@VeridiseInc、@PrivacyScaling、@zksecurityXYZに感謝します。 特に、章を洗練された状態にするためにいくつかの改訂に取り組んでくれた@zksecurityXYZからの@marcobesierに感謝しています。 この新しい部分の最初の7つの章を共同執筆してくれた@cal_nixに特別な感謝を送ります! ここで取り上げるトピックは、非常に基本的なものです。ここにある資料を理解していない場合、最新のZKVMまたはZK L2クライアントの内部を学ぶことは非常に困難です。これまで、このような基本的な概念に対する新参者向けの説明がなかったため、ZKスペースは抑制されてきました。 この新しい一連の研究は、単に既存の資料の「より良い説明」ではなく、学術論文以外の最初の説明です。 Circomは最も初心者に優しいと考えているため、指導言語として使用しています。ただし、ここで学習する内容は、Plonky3、Halo2、o1js、Gnark などの他のフレームワークに一般化されます。新しい記事により、ZKブックは38,000語以上長くなりました。 本書のこのセクションを読むために、ZK-SNARKがどのように機能するかを知る必要はありませんが、いくつかの前提条件があります。これらは「Circom入門」の章にリストされています。 いつものように、資料は完全に無料で、ログインは必要ありません。