ホームページ ウェブ3.0 本格的な科学の普及: 動物園を例にして zkSync 回路の動作原理を分析する

本格的な科学の普及: 動物園を例にして zkSync 回路の動作原理を分析する

Mar 05, 2024 pm 09:40 PM
分析する 動物園

硬核科普:以动物园为例,剖析 zkSync 电路工作原理

作者: Haotian

@zkSync が新たに公開した動物園科学の写真とテキストを見て、動物園とサーキットの関係を比較して、多くの人が混乱しました。特別なスキルを持った動物を「ロジックゲート」として、動物たちの幸せな集合写真を「証明」として、このように回路に入力されたデータは、特定の内容を明らかにすることなく一連の複雑な計算を経ます。ゼロ知識証明プロセス。さあ、本格的な科学を広めてみましょう:

1) Zoo は「回路」に相当します。回路は実際には一連の論理ゲート制約 (加算、減算、乗算、除算など) の集合体です。 . 式)、これは動物のあらゆる能力を集中的に表現したものに相当し、コンピュータの基本要素でもあります。したがって、回路に渡された「データ」をさまざまな式に組み込んで計算する必要があります。

レイヤー2ネットワークでは、通常、保存されるデータはトランザクションのハッシュ値、アカウント情報、データ残高などです。これらのデータは式に変換することで計算できますが、回路で処理を行う前にデータが式化できることを確認する必要があります。データを式に直接変換できない場合は、生データを処理して計算できるように、追加のエンコード変換が必要になります。このデータ処理の前提となるのは、レイヤー2環境でデータの操作や計算をスムーズに行うために、データ形式の互換性を確保することです。したがって、データの適切なエンコードと変換は、システムの適切な機能とデータ処理の有効性を確保するための重要な手順です。

動物園モードでは、さまざまな動物が回路内の論理ゲートに対応する特定のシンボルを持っています。木の箱は公に表示されていない数値、いわゆる「変数」を表し、ガラスの箱は、公には表示されていない数値を表します。は「公共の入力」として公共に表示される数字を象徴し、石は「定数」と見なされる不動の数字を表します。この類似設定により、論理ゲートと動物の間に素晴らしいつながりが確立され、回路の理解と学習に楽しさと視覚的なイメージが加わります。

シマウマは 2 つの数値が「等しい」かどうかを比較する能力を持っています。結果が等しい場合、シマウマは幸せになります。ワニは「未満」を意味します。ワニは、数値が等しい場合にのみ幸せになります。右側の数字は左側の数字より小さく、クモはより複雑さを表します 複数選択ゲート、0 を入力すると true を返し、1 を入力すると false を返します、さらに、ビーバーをさせることもできます割り算を表す、リスはパーセンテージを表す、毛虫は足し算を表す、などです。異なる動物は、足し算、引き算、掛け算、割り算の異なる式を表し、幸せな動物や悲しい動物は式の演算の構造を表しています。

さまざまな種類の動物が入った多くの箱が回路に組み合わされています。たとえば、2 x 3 = Y という式を計算するには、x は木箱、Y は石、2 つの木箱と毛虫、シマウマを表します。 , など、出社して最終的に公式が成り立つかどうかを検証します。なお、動物の能力が異なるのはなぜかと考える必要はなく、これが回路素子の動作の基本原理であり、コンピュータが計算を行うための基本的なルールでもあります。

複雑な回路は、さまざまな動物 (論理ゲート) とボックス (ルール) から構築されます。

3) たった今入力した数式 2x 3 =Y が成立すると仮定します。これは、シマウマの毛虫や他の動物が幸せになっているのと同じであり、その数式に対して「証明」が生成され、キャラクターは次のことを必要とします。この証明を認識できるかどうかは、それが正確であるかどうかにかかっています。そこで、回路の構築者である飼育員は、証拠の信頼性を確保するために、他の動物が幸せかどうかを見ることができる、レイヤ2システムにおける検証者に相当するジークと呼ばれる特別な動物をシミュレートしました。

Zeek 動物が幸せかどうかを観察するプロセスは、実際には証明者システムの検証プロセスです。動物がすべて幸せであれば、検証は合格です。そうして初めて、証明がメイン ネットワークにアップロードされ、最終的に確認されます。 。もちろん、動物園の何千もの動物が大量の証拠を生成し、Zeek がそれらを 1 つずつ見ることは不可能であるため、Zeek は何千もの Zeek 自身のクローンの状態が幸せかどうかを観察することもできます。は再帰的証明と呼ばれます。

4) 写真を撮るプロセスは SNARK プルーフまたは KZG コミットメントを生成するプロセスに相当し、印刷されたネガは STARK/SNARK プルーフ自体に相当します。動物園への訪問者はトランザクション トランザクションに相当します。動物たちだけが幸せです 写真が完成し、プルーフが生成されます 最後に、訪問者は写真を持って動物園を去り、アップロードして完成する前にプルーフを残します。

動物園にはたくさんの動物がいますが、すべての動物が同時に幸せで、あらかじめ決められたルールに従って働くことは不可能です。論理ゲートがたくさんあり、切断が起こるのは避けられません。その他の状況。このようにして、輻輳、遅延、エラーレポートが発生し、無効な状態遷移、制約不足となり、最終検証に合格しません。

以上が本格的な科学の普及: 動物園を例にして zkSync 回路の動作原理を分析するの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。

ホットAIツール

Undresser.AI Undress

Undresser.AI Undress

リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover

AI Clothes Remover

写真から衣服を削除するオンライン AI ツール。

Undress AI Tool

Undress AI Tool

脱衣画像を無料で

Clothoff.io

Clothoff.io

AI衣類リムーバー

AI Hentai Generator

AI Hentai Generator

AIヘンタイを無料で生成します。

ホットツール

メモ帳++7.3.1

メモ帳++7.3.1

使いやすく無料のコードエディター

SublimeText3 中国語版

SublimeText3 中国語版

中国語版、とても使いやすい

ゼンドスタジオ 13.0.1

ゼンドスタジオ 13.0.1

強力な PHP 統合開発環境

ドリームウィーバー CS6

ドリームウィーバー CS6

ビジュアル Web 開発ツール

SublimeText3 Mac版

SublimeText3 Mac版

神レベルのコード編集ソフト(SublimeText3)

簡潔でわかりやすい: pip プロトコルの意味の詳細な分析 簡潔でわかりやすい: pip プロトコルの意味の詳細な分析 Feb 02, 2024 pm 01:10 PM

pip プロトコルの意味を深く分析するには、特定のコード例が必要です はじめに: Python の世界では、pip (つまり pipinstall) がサードパーティ ライブラリのインストールと管理に推奨される方法です。これは Python パッケージ管理ツールであり、そのシンプルさ、効率性、使いやすさ、利便性により、開発プロセスで広く使用されています。この記事では、pip プロトコルの意味を深く分析し、具体的なコード例を通じて pip の重要な役割と使用法を示し、読者が pip をよりよく理解して使用できるようにします。 1.pipプロトコル

MySQLのパスワード暗号化方式の詳細な分析 MySQLのパスワード暗号化方式の詳細な分析 Jun 15, 2023 pm 09:24 PM

インターネットの発展に伴い、MySQL はオープンソースのリレーショナル データベース管理システムとして、さまざまなアプリケーションで広く使用されています。重要なセキュリティ問題の 1 つは、MySQL ユーザー パスワードの暗号化と保存です。では、MySQL のパスワード暗号化にはどのような方法があるのでしょうか?この記事では詳細な分析を提供します。 MySQL パスワードの保存方法 MySQL パスワードの暗号化方法を理解する前に、まず MySQL パスワードがどのように保存されるかを理解しましょう。 MySQL バージョン 5.7 より前では、一方向ハッシュ アルゴリズム (S

DreamWeaver CMS のセキュリティ パフォーマンスの詳細な分析 DreamWeaver CMS のセキュリティ パフォーマンスの詳細な分析 Mar 28, 2024 pm 10:03 PM

タイトル: Dreamweaver CMS のセキュリティ パフォーマンスの詳細な分析、具体的なコード例が必要 Dreamweaver CMS (DedeCMS) は、さまざまな種類の Web サイトで広く使用されている非常に人気のあるコンテンツ管理システムです。しかし、ネットワーク セキュリティの問題がますます顕著になるにつれて、Web サイトのセキュリティはユーザーと開発者の焦点の 1 つになっています。この記事では、DreamWeaver CMS のセキュリティ パフォーマンスを詳細に分析し、既存のセキュリティ リスクについて説明し、Web サイトのセキュリティを向上させるための具体的なコード例を示します。 1. SQL インジェクション攻撃 SQL インジェクションは一般的なネットワーク攻撃者です。

動物園をメタファーとして使用した、zkSync 回路の動作原理の本格的な科学普及 動物園をメタファーとして使用した、zkSync 回路の動作原理の本格的な科学普及 Mar 06, 2024 am 11:25 AM

@zkSync の新しい動物園科学の写真とテキストを見て、多くの人が混乱しました。彼らは動物園をサーキットに例え、特別なスキルを持つ動物を「論理ゲート」と見なし、すべての幸せな動物の集合写真を「証拠」と見なしました。 , このようにして、回路に入力されたデータは一連の複雑な計算を経て、特定の内容を明らかにすることなく証明を生成し、ゼロ知識証明プロセスを完了します。さあ、本格的な科学を広めてみましょう: 1) 動物園は「回路」に相当します 回路は実際には一連の論理ゲート制約 (加算、減算、乗算、除算などの式) の集合です。あらゆる動物の能力に相当する集中的な性能であり、コンピュータを構成する基本要素でもあります。したがって、回路に渡される「データ」はさまざまな式に当てはめる必要があります。

中国自動車市場の熾烈な競争:奇瑞汽車が「動物園」のネーミングで遊ぶ 中国自動車市場の熾烈な競争:奇瑞汽車が「動物園」のネーミングで遊ぶ Oct 16, 2023 pm 04:09 PM

10月16日のニュースによると、国内の自動車業界の競争が激化する中、市場で目立つために各社がモデルネーミングに力を入れ始めている。長城汽車の「犬シリーズ」、「猫シリーズ」、「龍シリーズ」に続き、奇瑞汽車も加わり、独自の「動物園」を建設しているようだ。編集者の理解によると、奇瑞汽車有限公司は最近、「北方ヒョウ」、「ジャバントラ」、「バリトラ」、「奇瑞ゴールデンタイガー」、「」など、獣に関連した一連の商標登録を申請した。西アフリカのライオン」。これらの商標の国際分類は輸送手段であり、現在の商標の地位は実体審査を待っているところです。奇瑞は獣の名前にこだわりがあるようで、奇瑞汽車の定番モデル「奇瑞ティゴ」を考慮すると、奇瑞の将来計画を示唆しているのかもしれない。

本格的な科学の普及: 動物園を例にして zkSync 回路の動作原理を分析する 本格的な科学の普及: 動物園を例にして zkSync 回路の動作原理を分析する Mar 05, 2024 pm 09:40 PM

@zkSync の新しい動物園科学の写真や記事を見て多くの人が混乱し、動物園をサーキットに例え、特別なスキルを持つ動物を「ロジック ゲート」と見なし、楽しそうにすべての動物の集合写真を撮りました。これを「証明」として、回路に入力されたデータが特定の内容を明らかにすることなく一連の複雑な計算を経て証明が生成され、ゼロ知識証明プロセスが完了します。さあ、いくつかの本格的な科学を普及させてみましょう: 1) Zoo は「回路」に対応します。回路は実際には一連の論理ゲート制約 (加算、減算、乗算、除算などの式) の集合体です。あらゆる動物の能力に相当する集中的な性能であり、コンピュータを構成する基本要素でもあります。したがって、回路に渡される「データ」は、

C++ 関数におけるメモリ破壊の複雑性の分析 C++ 関数におけるメモリ破壊の複雑性の分析 Apr 22, 2024 pm 01:09 PM

C++ 関数では、関数メモリ破壊の複雑さは、ポインタ管理、動的配列、オブジェクト破壊、参照サイクルなどの要因によって決まります。メモリ リークを回避するには、スマート ポインタを使用し、メモリを明示的に解放し、参照サイクルを慎重に処理します。

jQueryの基本セレクターを徹底分析:徹底分析! jQueryの基本セレクターを徹底分析:徹底分析! Feb 27, 2024 pm 12:51 PM

jQueryの基本セレクターを徹底分析:徹底分析! jQuery は、DOM 要素を操作し、Web ページでイベント処理を実行するプロセスを簡素化する、非常に人気のある JavaScript ライブラリです。 jQuery を使用するプロセスで、最も一般的に使用されるのはセレクターです。セレクターは、操作する必要がある要素を迅速かつ正確に特定するのに役立ち、さまざまな機能を実現します。この記事では、jQuery の基本的なセレクターを詳しく分析し、その使用法と例の包括的な分析を読者に提供します。 1.ID