jakiro
@Zksyncの新しく公開された動物園の科学の写真とテキストを読んだ後、多くの人々は混乱し、動物園をサーキットと比較し、動物を特別なスキルで「論理ゲート」として扱い、動物の写真を「証明」証明」として喜んで撮ったので、回路へのデータ入力は、特定のコンテンツを明らかにすることなく、一連の複雑な計算を通じて完了し、ゼロ知識証明プロセスが完了します。さあ、私は一生懸命に努力します：
動物園は、「回路」に対応していますコンピューターを構成する基本的な要素。したがって、回路に渡された「データ」は、さまざまな式に挿入して実行された操作を実行できます。
Layer2環境では、いくつかのトランザクションハッシュ値、アカウント、データバランスなどがあります。これらのデータは、式のために式のために式に変換することができます。これは、処理を実行するための回路の前提条件です。
動物園モードのさまざまな動物の対応する回路の論理は、「変数」と呼ばれる公開されていない数字を表す木製の箱です。石 – 「定数」と見なされる容認できない数字を表す数字。
ゼブラは、2つの数字が「等しい」かどうかを比較する能力があり、ゼブラは「より少ない」という意味であり、右側の数値よりも少ない場合のみです。 ;スパイダーは、より複雑なマルチセレクトドアを表します。異なる動物は、異なる添加、減算、乗算、分裂式を表しており、動物はフォーミュラ操作の構造を表すために幸せまたは悲しいことです。
多くの動物 +さまざまな種類の箱が回路に結合されます。たとえば、フォーミュラ2 x + 3 = yを計算するには、木製の箱を表します。最後に、式が有効かどうかを確認しましょう。なぜ異なる動物が異なる能力を持っているのか心配する必要はありません。
複雑な回路とは、あらゆる種類の動物（論理ゲート）と箱（ルール）の構造です。
現在入力されたフォーミュラ2x+3 = yが真実であると仮定します。これは、ゼブラの毛虫や他の動物が幸せであると仮定します。証明は正確です。したがって、Zooの管理者であるサーキットの建設者であるZooの管理者は、Zeekと呼ばれる特別な動物をシミュレートするために、レイヤー2システムの検証者に相当します。
動物が幸せであるかどうかを観察するZeekは、あなたが幸せである場合、証明が本当にメインネットワークにアップロードされた場合にのみ渡されます。もちろん、動物園には何千匹もの動物がいます。したがって、Zeekは何千ものZeeksが幸せであるかどうかも観察できます。
写真を撮るプロセスは、スナークの証拠またはKZGの約束を生成するプロセスに相当しますが、動物園の観光客は一つだけ入ると同等です動物は写真を撮って喜んでいます、そして最終的には、観光客が写真を撮り、リンクに置いて最終的に確認する前に動物園を残します。
動物園には多くの動物があります。これにより、いくつかの混雑と遅延、エラーが発生し、状態変換が無効になり、最終的な検証は不可能です。
その上。
