論文の概要: A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)

• arxiv url: http://arxiv.org/abs/2509.06614v1
• Date: Mon, 08 Sep 2025 12:32:41 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-09-09 14:07:04.124142
• Title: A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
• Title（参考訳）: ロールアップのセキュアなシーケンサとデータアベイラビリティ委員会(拡張版)
• Authors: Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno Sánchez, César Sánchez,
• Abstract要約: レイヤ2 ロールアップ(L2)は、従来のブロックチェーンよりも高速な代替手段である。 L2は最小限のブロックチェーン(L1)を使ってほとんどの計算をオフチェーンで実行する。 本稿では,不正行為の証拠を検出・生成するために,L1契約による不正防止機構を提案する。
• 参考スコア（独自算出の注目度）: 3.4117490081172765
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Blockchains face a scalability limitation, partly due to the throughput limitations of consensus protocols, especially when aiming to obtain a high degree of decentralization. Layer 2 Rollups (L2s) are a faster alternative to conventional blockchains. L2s perform most computations offchain using minimally blockchains (L1) under-the-hood to guarantee correctness. A sequencer is a service that receives offchain L2 transaction requests, batches these transactions, and commits compressed or hashed batches to L1. Using hashing needs less L1 space, which is beneficial for gas cost, but requires a data availability committee (DAC) service to translate hashes into their corresponding batches of transaction requests. The behavior of sequencers and DACs influence the evolution of the L2 blockchain, presenting a potential security threat and delaying L2 adoption. We propose in this paper fraud-proof mechanisms, arbitrated by L1 contracts, to detect and generate evidence of dishonest behavior of the sequencer and DAC. We study how these fraud-proofs limit the power of adversaries that control different number of sequencer and DACs members, and provide incentives for their honest behavior. We designed these fraud-proof mechanisms as two player games. Unlike the generic fraud-proofs in current L2s (designed to guarantee the correct execution of transactions), our fraud-proofs are over pred-etermined algorithms that verify the properties that determine the correctness of the DAC. Arbitrating over concrete algorithms makes our fraud-proofs more efficient, easier to understand, and simpler to prove correct. We provide as an artifact a mechanization in LEAN4 of our fraud-proof games, including (1) the verified strategies that honest players should play to win all games as well as (2) mechanisms to detect dishonest claims.
• Abstract（参考訳）: ブロックチェーンは、コンセンサスプロトコルのスループットの制限によって、スケーラビリティの制限に直面している。 レイヤ2 ロールアップ(L2)は、従来のブロックチェーンよりも高速な代替手段である。 L2は最小限のブロックチェーン(L1)を使ってほとんどの計算をオフチェーンで実行する。 シーケンサは、オフチェーンのL2トランザクションリクエストを受け取り、これらのトランザクションをバッチ化し、圧縮またはハッシュされたバッチをL1にコミットするサービスである。 ハッシュを使用すると、ガスコストにメリットがあるL1スペースが少なくなりますが、ハッシュを対応するトランザクション要求のバッチに変換するには、データ可用性委員会(DAC)サービスが必要です。 シーケンサとDACの振る舞いはL2ブロックチェーンの進化に影響を与え、潜在的なセキュリティ脅威を示し、L2の採用を遅らせる。 本稿では,L1契約によって仲裁された不正防止機構を提案し,シーケンサとDACの不正動作の証拠を検出・生成する。 本研究は,これらの不正対策が,シーケンサーとDACの人数の異なる敵の権限を制限し,彼らの正直な行動にインセンティブを与える方法について考察する。 我々はこの不正防止機構を2つのプレイヤーゲームとして設計した。 現在のL2における一般的な不正防止(トランザクションの正しい実行を保証するために設計された)とは異なり、当社の不正防止は、DACの正確性を決定する特性を検証する事前決定されたアルゴリズムである。 具体的なアルゴリズムを割り当てることで、不正防止がより効率的で、理解しやすく、正しいことを証明しやすくなります。 不正防止ゲームLEAN4の機械化として,(1)正直なプレイヤーが全てのゲームに勝つための検証戦略,(2)不正直なクレームを検出するメカニズムなどを提示する。

関連論文リスト

• Efficient Blockchain-based Steganography via Backcalculating Generative Adversarial Network [105.47203971578871]
  汎用ブロックチェーンベースのステガノグラフィーフレームワーク(GBSF)を提案する。 送信者は、追加の隠蔽データを埋め込んでチャネル容量を高めるために、量や手数料などの必要なフィールドを生成する。 GBSFに基づいて, 可逆的生成逆ネットワーク(R-GAN)を設計する。 対数直観的データ前処理とカスタムアクティベーション機能を備えたR-GAN,すなわちCCR-GANを提案する。
  論文  参考訳（メタデータ） (2025-06-19T04:43:41Z)
• The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
  本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。 Aptosのメインネットからの測定によると、楽観的なアプローチは遅延オーバーヘッドを71%削減する。
  論文  参考訳（メタデータ） (2024-07-16T20:53:04Z)
• Towards a Formal Foundation for Blockchain Rollups [9.760484165522005]
  ZK-Rollupsは、トランザクションをオフチェーンで処理し、メインチェーンで検証することで、課題に対処することを目指している。 本研究は,アロイ仕様言語を用いて,鍵層2の機能の検証と設計を行う形式解析である。 我々は、セキュリティと検閲に対する抵抗を強化するための強化されたモデルを提案し、ロールアップのセキュリティのための新しい標準を設定した。
  論文  参考訳（メタデータ） (2024-06-23T21:12:19Z)
• Fast and Secure Decentralized Optimistic Rollups Using Setchain [1.1534313664323634]
  レイヤ2の楽観的なロールアップ(L2)は、スマートコントラクト開発とユーザインタラクションの面で同じインターフェースを提供する、より高速な代替手段です。 本稿では,集合の非分散化ビザンチン耐性実装であるSetchainに基づく分散L2楽観的なロールアップを提案する。
  論文  参考訳（メタデータ） (2024-06-04T13:45:12Z)
• Proof of Diligence: Cryptoeconomic Security for Rollups [19.10751432868712]
  ロールアップの第一線として機能するインセンティブ付ウォッチトウワーネットワークを導入する。 我々の主な貢献は、観察者がL2アサーションが検証されたという証明を継続的に提供する必要があるディリジェンスのプロトコルの証明である。
  論文  参考訳（メタデータ） (2024-02-11T16:40:33Z)
• Blockchain Large Language Models [65.7726590159576]
  本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。 提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
  論文  参考訳（メタデータ） (2023-04-25T11:56:18Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security [67.06003361150228]
  作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。 本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。 我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
  論文  参考訳（メタデータ） (2020-12-30T18:03:56Z)

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

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