zkSync が常にダウンしていると友人が愚痴をこぼしているのを見たことがありますが、実はこれを「ダウンタイム」と呼ぶのは少し大げさで、正確に言うと「不安定なブロックの生成」を意味します。本質的に、シーケンサーによって送信されたトランザクションの最終検証時間は不安定ですが、zkSync の検証設計には確認のラグがあるため、対話型エンドではユーザーの認識は明らかではありません。 ** 将来の地方分権段階における不安定性は緩和される。あなたと話し合うためにワークフローを描きました。
ユーザーが「ダウンタイム」と感じる理由は、一部の DApps によって引き起こされるトランザクションの失敗とチェーンの根本的な互換性である可能性がありますが、結局のところ、zkSync 上で DApps を開発すること自体が大きな課題です。公式ブラウザからステータスが Commit から Verified に変化するのを確認するには 30 分から 1 時間ほどかかりますが、ユーザー側のインタラクティブ DApp はこれによる影響をほとんど受けません。この記事では、zkSync を明確に理解できるように、一般的な科学の zkSync テクノロジーの基礎となるロジックに焦点を当てます。
ワークフローに示されているように、zkSync は次の手順で実行されます。
ユーザーはリレー転送を通じてバッチ トランザクションをシーケンサー ソーターに送信します。
シーケンサーは、トランザクションの並べ替え、バッチの集約とマークル ツリーへのパッケージ化を担当します。
zkPorter は、マークル ツリーから zk-SNARK 証明を生成します。
zk-SNARKは、リレーがL2バリデーターとL1メインチェーンにそれぞれコミットハッシュを生成することを証明します
バリデーターは、zk-SNARK 証明の正確さを検証し、それが正しい場合は検証ハッシュを生成するために L1 スマート コントラクトに送信する責任があります。
L1 上の zkSync スマート コントラクトは、コミット ハッシュと検証ハッシュの一致を検証します。
照合が成功すると、検証済みトランザクショントランザクションが生成され、最終的にチェーンにアップロードされます。
マッチングが失敗した場合、元のコミット ハッシュは無効になり、シーケンサーはバッチを再送信してプロセスを再度実行します。
ここで強調しておく必要があるのは、**zkSync は「2 フェーズ コミット (2PC)」を採用しており、コミット ハッシュとベリファイ ハッシュの 2 段階のハッシュ検証を通じて最終的に正当なトランザクション バッチを決定することです。これは、システム運用プロセスにおけるデータの一貫性と安全性を確保できる一方で、私の個人的な理解では、Sequencer と Validator という 2 つのシステムコンポーネントを制限する分散化の考え方の現れでもあり、価値があります。賞賛の。 **
zkSyncのワークフローには主にRelay、Sequencer、zkPorter、Validatorの4つの役割があり、その連携作業には「不安定要素」が多く存在します。それは、ノード機能の安定性、ノード連携の安定性、アルゴリズムと基盤となるプロトコルの複雑さとして要約できます。いずれかのリンクにエラーがあると、ブロック遅延が発生する可能性があります。一般的な Arbitrum Sequencer の技術的障害は典型的なものであり、zkSync はさらなる課題に直面するだけです。
アルゴリズムの複雑さに関しては、これは zkSync チェーンの宿命であり、エコロジー開発者はそれを克服するために懸命に取り組む必要があります。 **ノードのインテリジェンスとコラボレーションの安定性については、将来的に分散化段階が到来すると効果的に改善されると思います。 **ロジックもシンプルです:
1) 複数分散ノードは、システムの堅牢性により、単一障害点によって引き起こされるネットワークの不安定性を回避できます。
**2) 分散型トークンのインセンティブ メカニズムは、開発者にノードの安定性を維持する動機の源を提供できます。 **
別の観点から考えると、**検証に長時間かかることは、エコロジーの初期段階では問題ではなく、チェーンのセキュリティを効果的に向上させ、システム内の一部のノードが悪事を行うのを防ぐことができます。 ** つまり、zkSync の全体的な操作プロセスを明確にし、レイヤー 2 の技術的な複雑さとセキュリティのために設計された「特別な」メカニズムをさらに理解すれば、L2 技術トラックに対する自信を確固たるものにすることができます。誰でも、いつでも転送や共有、DM を送ってください。zkSync について徹底的に交流し、研究しましょう。
207k 投稿
152k 投稿
131k 投稿
78k 投稿
65k 投稿
60k 投稿
59k 投稿
55k 投稿
52k 投稿
51k 投稿
zkSync が常に「ダウンタイム」になるのはなぜですか? zkSync ワークフローについて説明した記事
zkSync が常にダウンしていると友人が愚痴をこぼしているのを見たことがありますが、実はこれを「ダウンタイム」と呼ぶのは少し大げさで、正確に言うと「不安定なブロックの生成」を意味します。本質的に、シーケンサーによって送信されたトランザクションの最終検証時間は不安定ですが、zkSync の検証設計には確認のラグがあるため、対話型エンドではユーザーの認識は明らかではありません。 ** 将来の地方分権段階における不安定性は緩和される。あなたと話し合うためにワークフローを描きました。
ユーザーが「ダウンタイム」と感じる理由は、一部の DApps によって引き起こされるトランザクションの失敗とチェーンの根本的な互換性である可能性がありますが、結局のところ、zkSync 上で DApps を開発すること自体が大きな課題です。公式ブラウザからステータスが Commit から Verified に変化するのを確認するには 30 分から 1 時間ほどかかりますが、ユーザー側のインタラクティブ DApp はこれによる影響をほとんど受けません。この記事では、zkSync を明確に理解できるように、一般的な科学の zkSync テクノロジーの基礎となるロジックに焦点を当てます。
ワークフローに示されているように、zkSync は次の手順で実行されます。
ユーザーはリレー転送を通じてバッチ トランザクションをシーケンサー ソーターに送信します。
シーケンサーは、トランザクションの並べ替え、バッチの集約とマークル ツリーへのパッケージ化を担当します。
zkPorter は、マークル ツリーから zk-SNARK 証明を生成します。
zk-SNARKは、リレーがL2バリデーターとL1メインチェーンにそれぞれコミットハッシュを生成することを証明します
バリデーターは、zk-SNARK 証明の正確さを検証し、それが正しい場合は検証ハッシュを生成するために L1 スマート コントラクトに送信する責任があります。
L1 上の zkSync スマート コントラクトは、コミット ハッシュと検証ハッシュの一致を検証します。
照合が成功すると、検証済みトランザクショントランザクションが生成され、最終的にチェーンにアップロードされます。
マッチングが失敗した場合、元のコミット ハッシュは無効になり、シーケンサーはバッチを再送信してプロセスを再度実行します。
ここで強調しておく必要があるのは、**zkSync は「2 フェーズ コミット (2PC)」を採用しており、コミット ハッシュとベリファイ ハッシュの 2 段階のハッシュ検証を通じて最終的に正当なトランザクション バッチを決定することです。これは、システム運用プロセスにおけるデータの一貫性と安全性を確保できる一方で、私の個人的な理解では、Sequencer と Validator という 2 つのシステムコンポーネントを制限する分散化の考え方の現れでもあり、価値があります。賞賛の。 **
zkSyncのワークフローには主にRelay、Sequencer、zkPorter、Validatorの4つの役割があり、その連携作業には「不安定要素」が多く存在します。それは、ノード機能の安定性、ノード連携の安定性、アルゴリズムと基盤となるプロトコルの複雑さとして要約できます。いずれかのリンクにエラーがあると、ブロック遅延が発生する可能性があります。一般的な Arbitrum Sequencer の技術的障害は典型的なものであり、zkSync はさらなる課題に直面するだけです。
アルゴリズムの複雑さに関しては、これは zkSync チェーンの宿命であり、エコロジー開発者はそれを克服するために懸命に取り組む必要があります。 **ノードのインテリジェンスとコラボレーションの安定性については、将来的に分散化段階が到来すると効果的に改善されると思います。 **ロジックもシンプルです:
1) 複数分散ノードは、システムの堅牢性により、単一障害点によって引き起こされるネットワークの不安定性を回避できます。
**2) 分散型トークンのインセンティブ メカニズムは、開発者にノードの安定性を維持する動機の源を提供できます。 **
別の観点から考えると、**検証に長時間かかることは、エコロジーの初期段階では問題ではなく、チェーンのセキュリティを効果的に向上させ、システム内の一部のノードが悪事を行うのを防ぐことができます。 ** つまり、zkSync の全体的な操作プロセスを明確にし、レイヤー 2 の技術的な複雑さとセキュリティのために設計された「特別な」メカニズムをさらに理解すれば、L2 技術トラックに対する自信を確固たるものにすることができます。誰でも、いつでも転送や共有、DM を送ってください。zkSync について徹底的に交流し、研究しましょう。