動物園を例にとると、zkSync回路がどのように機能するかについての筋金入りの科学である。

多くの人が@zkSyncの新しい動物園科学普及のグラフィックを見て混乱し、叫び、動物園は回路回路に例えられ、特別なスキルを持つ動物は「ロジックゲートゲート」として、動物たちは「証明証明証明」として集合写真を撮って喜んでいる。"証明 "を生成するために一連の複雑な計算の後、特定の内容を明らかにしないという前提の下で回路に入力されたデータは、ゼロ知識の証明プロセスを完了するように。さあ、私は筋金入りの科学に挑戦：

動物園は "回路 "に対応し、回路は、実際にはコンピュータの基本的な要素の構成である時間のパフォーマンスに集中する能力のすべての動物の等価物の集計の一連の論理ゲートの制約（加算、減算、乗算、除算およびその他の式）である。つまり、回路に入ってくる「データ」は、様々な数式に落とし込んで実行できなければならない。

レイヤー2環境では、いくつかのトランザクションハッシュ、アカウント、データ残高およびその他のデータであり、これらのデータは、計算のための式に変換することができ、式は、元のデータが処理を実行する回路の前提である式に変えることができるように、他のコーディング変換を実施する必要がない場合。

さまざまな動物がそれぞれ、動物園モードで、回路内の論理ゲートに対応しています：木箱 - 「変数」と呼ばれる、公に表示されていない数字に代わって、ガラス箱 - 「変数」のために、公に表示されている数字に代わって、ガラス箱 - 「変数」のために、公に表示されている数字に代わって、ガラス箱。-石 - 動かすことができない数字を表し、「定数」とみなされる。シマウマは2つの数字が「等しい」かどうかを比較する能力を持っており、等しければシマウマは喜ぶ。ワニは「より小さい」であり、右の数字が左の数字より小さい場合にのみワニは喜ぶ。クモはより複雑な多選択ゲートを表し、0を入力すると数字が真になり、1を入力すると真でなければならない数字が返される。クモはより複雑な多肢選択ゲートを表し、0を入力すると真を、1を入力すると偽を返す。さらに、ビーバーは割り算を、リスはパーセンテージを、イモムシは足し算を、それぞれ表すことができる。異なる動物は異なる足し算、引き算、掛け算、割り算の公式を表し、喜んだり悲しんだりする動物は公式の構造を表す。

多くの動物＋さまざまな種類の箱の組み合わせは回路であり、たとえば2 x + 3 = Yという公式を計算するために、xは木の箱、Yは石を表し、2つの木の箱とイモムシ、シマウマなどが出勤し、最後に公式が成り立つかどうかを検証する。なぜ動物によって能力が違うのか不思議に思う必要はない。これは回路素子の働きの根底にある原理であり、コンピューターが計算を行う基本的なルールなのだ。

複雑な回路は、さまざまな動物（論理ゲート）と箱（ルール）で構成されている。

先ほど入力した2x+3=Yという式が有効で、シマウマやイモムシなどの動物が喜んでいるとすると、その式に対して「証明」が生成され、キャラクターは「証明」が正確かどうかを認識できる必要がある。

ジークが動物たちが幸せかどうかを観察するプロセスは、実際にはプルーバー・システムの検証であり、動物たちがすべて幸せであれば、検証者はパスし、プルーフの証明は検証される。動物たちが幸せであれば、Proofはメインネットワークにアップロードされ、最終的に確認される。もちろん、動物の動物園数千は、証明の多数を生成し、Zeekは1つずつ見ることができないので、Zeekはまた、Zeek自身のスプリット状態の何百万人を観察することができます幸せですが、このプロセスは再帰的証明再帰的証明と呼ばれています。

写真を撮るプロセスは、SNARK証明またはKZGコミットメントを生成するプロセスと等価であり、印刷されたネガはSTARKSNARK証明自体と等価である一方、動物園の訪問者は、トランザクショントランザクションに一つずつと等価であり、唯一の動物は写真に満足している完了し、証明書の証明を生成し、最終的に観光客が証明書の底に滞在するために動物園から写真を取るチェーンに最終的になる。

動物園には多くの動物がおり、同時に満足することは不可能であり、所定の規則に従って動作し、多くの論理ゲートがあり、脱落などがあることは避けられない。その結果、エラー報告だけでなく、いくつかの、混雑の遅れが生じ、そのため、無効な状態変換、Under- Constrained、最終的な検証を通過することができません。

以上。