論文の概要: fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup

• arxiv url: http://arxiv.org/abs/2410.12210v1
• Date: Wed, 16 Oct 2024 04:06:58 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-10-17 13:40:31.214254
• Title: fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup
• Title（参考訳）: fAmulet: Polygon zkRollupのファイナライズ障害バグ発見
• Authors: Zihao Li, Xinghao Peng, Zheyuan He, Xiapu Luo, Ting Chen,
• Abstract要約: ゼロ知識層2プロトコルのファイナライズ障害バグに関する最初の体系的研究を行い、2種類のバグを定義した。 ゼロ知識層2プロトコルであるPolygon zkRollupのファイナライズ障害バグを検出する最初のツールであるfAmuletを設計する。 評価を通じて、fAmuletはPolygon zkRollupで12のゼロデイファイナライズ障害バグを発見し、ベースラインよりも少なくとも20.8%のブランチをカバーできる。
• 参考スコア（独自算出の注目度）: 30.350738396425587
• License:
• Abstract: Zero-knowledge layer 2 protocols emerge as a compelling approach to overcoming blockchain scalability issues by processing transactions through the transaction finalization process. During this process, transactions are efficiently processed off the main chain. Besides, both the transaction data and the zero-knowledge proofs of transaction executions are reserved on the main chain, ensuring the availability of transaction data as well as the correctness and verifiability of transaction executions. Hence, any bugs that cause the transaction finalization failure are crucial, as they impair the usability of these protocols and the scalability of blockchains. In this work, we conduct the first systematic study on finalization failure bugs in zero-knowledge layer 2 protocols, and define two kinds of such bugs. Besides, we design fAmulet, the first tool to detect finalization failure bugs in Polygon zkRollup, a prominent zero-knowledge layer 2 protocol, by leveraging fuzzing testing. To trigger finalization failure bugs effectively, we introduce a finalization behavior model to guide our transaction fuzzer to generate and mutate transactions for inducing diverse behaviors across each component (e.g., Sequencer) in the finalization process. Moreover, we define bug oracles according to the distinct bug definitions to accurately detect bugs. Through our evaluation, fAmulet can uncover twelve zero-day finalization failure bugs in Polygon zkRollup, and cover at least 20.8% more branches than baselines. Furthermore, through our preliminary study, fAmulet uncovers a zero-day finalization failure bug in Scroll zkRollup, highlighting the generality of fAmulet to be applied to other zero-knowledge layer 2 protocols. At the time of writing, all our uncovered bugs have been confirmed and fixed by Polygon zkRollup and Scroll zkRollup teams.
• Abstract（参考訳）: ゼロ知識層2プロトコルは、トランザクションファイナライズプロセスを通じてトランザクションを処理することによって、ブロックチェーンのスケーラビリティ問題を解決するための魅力的なアプローチとして現れます。 このプロセスの間、トランザクションはメインチェーンから効率的に処理される。 さらに、トランザクションデータとトランザクション実行のゼロ知識証明の両方がメインチェーンに予約されており、トランザクションデータの可用性とトランザクション実行の正確性と妥当性が保証される。 したがって、これらのプロトコルのユーザビリティとブロックチェーンのスケーラビリティを損なうため、トランザクションのファイナライゼーション障害を引き起こすバグは極めて重要です。 本研究では,ゼロ知識層2プロトコルのファイナライズ障害バグに関する最初の体系的研究を行い,そのようなバグを2種類定義する。 さらに,ファジングテストを活用することで,ゼロ知識層2プロトコルであるPolygon zkRollupのファイナライズ障害バグを検出する最初のツールであるfAmuletを設計する。 ファイナライズ障害を効果的に引き起こすために、ファイナライズ動作モデルを導入し、ファイナライズプロセスにおいて各コンポーネント(例:Sequencer)間で多様な振る舞いを誘導するためのトランザクションの生成と変更を行う。 さらに、バグを正確に検出するために、別個のバグ定義に従ってバグオーラクルを定義します。 評価を通じて、fAmuletはPolygon zkRollupで12のゼロデイファイナライズ障害バグを発見し、ベースラインよりも少なくとも20.8%以上のブランチをカバーできる。 さらに、予備研究により、fAmuletはゼロデイファイナライズ障害のバグを Scroll zkRollup で発見し、他のゼロ知識層2プロトコルに適用すべき fAmulet の一般化を強調した。 この記事執筆時点では、Polygon zkRollupチームとScroll zkRollupチームによって、発見されたすべてのバグが確認され、修正されています。

関連論文リスト

• BlockFound: Customized blockchain foundation model for anomaly detection [47.04595143348698]
  BlockFoundは、異常なブロックチェーントランザクション検出のためのカスタマイズされた基盤モデルである。 ブロックチェーントランザクションのユニークなデータ構造をモデル化するための、一連のカスタマイズデザインを紹介します。 BlockFoundは、Solana上の異常なトランザクションを高精度に検出する唯一の方法である。
  論文  参考訳（メタデータ） (2024-10-05T05:11:34Z)
• JUMBO: Fully Asynchronous BFT Consensus Made Truly Scalable [17.532081305310513]
  FIN-NGは、最近の署名なし非同期共通サブセットプロトコルFIN(CCS' 23)を、同時放送および合意の最先端フレームワークに適合させる。 我々は,Dumbo-NGのスケーラブルなインスタンス化であるJUMBOを提案し,認証とメッセージの両方に対して$bigO(n2)$の複雑さしか持たない。
  論文  参考訳（メタデータ） (2024-03-17T14:53:38Z)
• Model Supply Chain Poisoning: Backdooring Pre-trained Models via Embedding Indistinguishability [61.549465258257115]
  そこで我々は,PTMに埋め込まれたバックドアをモデルサプライチェーンに効率的に移動させる,新しい,より厳しいバックドア攻撃であるTransTrojを提案する。 実験の結果,本手法はSOTAタスク非依存のバックドア攻撃より有意に優れていた。
  論文  参考訳（メタデータ） (2024-01-29T04:35:48Z)
• RecAGT: Shard Testable Codes with Adaptive Group Testing for Malicious Nodes Identification in Sharding Permissioned Blockchain [8.178194928962311]
  本稿では,通信オーバヘッドの低減と潜在的な悪意のあるノードの特定を目的とした新しい識別手法であるRecAGTを提案する。 まず、シャードテスト可能なコードは、機密データが漏洩した場合に元のデータをエンコードするように設計されている。 第二に、悪意のある行動に対する証拠として、新しいアイデンティティ証明プロトコルが提示される。 第3に、悪意のあるノードを特定するために適応的なグループテストが選択される。
  論文  参考訳（メタデータ） (2023-11-05T07:43:48Z)
• Synchro: Block-generation Protocol to Synchronously Process Cross-shard Transactions in State Sharding [0.0]
  状態シャーディングの一種であるNear ProtocolのNightshadeは、一貫性のないトランザクション結果を含むブロックの生成をキャンセルするロールバックプロトコルを提供する。 我々は,CSTXを繰り返し実行することによって,新たなブロックの発生を妨害する新たな攻撃を提案する。 また、各CSTXのすべての状態変化を同じブロックに組み込む、Synchroと呼ばれるブロック生成プロトコルを提案する。
  論文  参考訳（メタデータ） (2023-09-04T03:20:49Z)
• Demonstrating a long-coherence dual-rail erasure qubit using tunable transmons [59.63080344946083]
  共振結合された一対のトランスモンからなる「デュアルレール量子ビット」が高コヒーレントな消去量子ビットを形成することを示す。 我々は、チェック毎に0.1%$ dephasingエラーを導入しながら、消去エラーの中間回路検出を実演する。 この研究は、ハードウェア効率の量子誤り訂正のための魅力的なビルディングブロックとして、トランスモンベースのデュアルレールキュービットを確立する。
  論文  参考訳（メタデータ） (2023-07-17T18:00:01Z)
• Blockchain Large Language Models [65.7726590159576]
  本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。 提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
  論文  参考訳（メタデータ） (2023-04-25T11:56:18Z)
• Light Clients for Lazy Blockchains [12.330989180881701]
  遅延ブロックチェーンのための効率的なライトクライアント作成を可能にするプロトコルを考案する。 私たちの構成は、すべての-有効または無効の-トランザクションの台帳を含むMerkleツリーを横切るバイセクションゲームに基づいています。
  論文  参考訳（メタデータ） (2022-03-30T00:58:40Z)
• Fault-tolerant parity readout on a shuttling-based trapped-ion quantum computer [64.47265213752996]
  耐故障性ウェイト4パリティチェック測定方式を実験的に実証した。 フラグ条件パリティ測定の単発忠実度は93.2(2)%である。 このスキームは、安定化器量子誤り訂正プロトコルの幅広いクラスにおいて必須な構成要素である。
  論文  参考訳（メタデータ） (2021-07-13T20:08:04Z)
• An Efficient Permissioned Blockchain with Provable Reputation Mechanism [2.579878570919875]
  我々は,提供者,収集家,知事の3種類の参加者を含む階層的なシナリオについて検討する。 我々は、許可されたブロックチェーン環境におけるコレクタの信頼性の尺度として、評価プロトコルを導入する。
  論文  参考訳（メタデータ） (2020-02-17T09:25:59Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。