動物園を例に挙げた、zkSync回路の動作原理の本格的な科学普及
原作者: Haotian (X: @tme l0 211)
@zkSync の新しい動物園科学の写真とテキストを見て、多くの人が混乱しました。彼らは動物園をサーキットに例え、特別なスキルを持つ動物を「ロジック ゲート」と見なし、すべての動物が楽しそうに写っている集合写真を「証拠」とみなしました。 , このようにして、回路に入力されたデータは一連の複雑な計算を経て、特定の内容を明らかにすることなく証明を生成し、ゼロ知識証明プロセスを完了します。さあ、本格的な科学を普及させてみましょう。
1) 動物園は「回路」に相当 回路とは、実際には一連の論理ゲート制約（加減乗除などの式）の集合体であり、あらゆる動物の能力を凝縮して表現したものに相当します. コンピュータを構成する基本要素でもあります。したがって、回路に渡された「データ」をさまざまな式に組み込んで計算する必要があります。
レイヤー2環境では、トランザクションのハッシュ値、アカウント、データ残高などのデータが存在し、これらのデータを計算式に変換することができますが、計算式に変換できない場合は、元のデータをそのまま使用できるように別のコーディング変換が必要になります。これが回路実行処理の前提条件となります。
2) 動物園モードのさまざまな動物に対応する回路内の論理ゲートは次のとおりです: 木の箱 - 「変数」と呼ばれる、公に表示されていない数値を表します; ガラスの箱 - 公に表示されている数値を表し、 「公共の入力」; 石 - 不動の数を表し、「定数」と見なされます。
シマウマは 2 つの数字が「等しい」かどうかを比較する能力を持っています。結果が等しい場合、シマウマは幸せになります。ワニは「未満」を意味し、ワニは右側の数字が小さい場合にのみ幸せになります。左側の数字よりも、スパイダーはより複雑な複数選択ゲートを表し、入力 0 を入力した場合、戻り値は true になる必要があり、1 を入力した場合、戻り値は false になります。さらに、ビーバーも可能です。割り算を表すために使用され、リスはパーセンテージを表し、毛虫は足し算を表すことができます。異なる動物は、足し算、引き算、掛け算、割り算の異なる式を表し、幸せな動物や悲しい動物は式の演算の構造を表しています。
たくさんの動物と種類の異なる箱を組み合わせて回路を構成します例: 2 x + 3 = Y の式を計算する場合、x は木箱、Y は石を表し、2 つの木箱、イモムシ、シマウマなどが来ます。最後に、式が成り立つかどうかを確認します。なお、動物の能力が異なるのはなぜかと考える必要はなく、これが回路素子の動作の基本原理であり、コンピュータが計算を行うための基本的なルールでもあります。
複雑な回路は、さまざまな動物（論理ゲート）と箱（ルール）から構築されます。
3) 入力した数式 2 x+ 3 =Y が成り立つと仮定すると、これはシマウマの毛虫などの動物が幸せであることを意味し、その数式に対する「証明」が生成されます。キャラクターは、これが正しいかどうかを識別できる必要があります。証明は正確です。そこで、回路の構築者である飼育員は、証拠の信頼性を確保するために、他の動物が幸せかどうかを見ることができる、レイヤー2システムにおける検証者に相当するジークと呼ばれる特別な動物をシミュレートしました。
Zeek が動物が幸せかどうかを観察するプロセスは、実際には Prover システムの検証プロセスです。すべての動物が幸せであれば、検証は合格です。その後初めて、証明がメイン ネットワークにアップロードされ、最終的に確認されます。もちろん、動物園の何千もの動物が大量の証拠を生成し、Zeek がそれらを 1 つずつ見ることは不可能であるため、Zeek は何千もの Zeek 自身のクローンの状態が幸せかどうかを観察することもできます。は再帰的証明と呼ばれます。
4) 写真を撮影するプロセスは SNARK 証明書または KZG コミットメントを生成するプロセスに相当し、印刷されたネガは STARK/SNARK 証明書そのものに相当し、動物園への来場者は 1 人ずつ入場するトランザクション トランザクションに相当します。動物の幸せな写真のみが完成し、生成されます。証拠は、最後の訪問者が写真を撮り、動物園を出て証拠を残してから、連鎖して完成することを証明します。
動物園にはたくさんの動物がおり、すべての動物が同時に幸せに、あらかじめ決められたルールに従って働くことは不可能であり、論理ゲートが多く、切断などが起こることは避けられません。このようにして、輻輳、遅延、エラーレポートが発生し、無効な状態遷移、制約不足となり、最終検証に合格しません。
