論文の概要: $\mathsf{CRATE}$: Cross-Rollup Atomic Transaction Execution

• arxiv url: http://arxiv.org/abs/2502.04659v1
• Date: Fri, 07 Feb 2025 04:58:59 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-02-10 14:54:59.258041
• Title: $\mathsf{CRATE}$: Cross-Rollup Atomic Transaction Execution
• Title（参考訳）: $\mathsf{CRATE}$: クロスロールアトミックトランザクションの実行
• Authors: Ioannis Kaklamanis, Fan Zhang,
• Abstract要約: $mathsfCRATE$はクロスロールのコンポーザビリティのためのセキュアなプロトコルである。 $mathsfCRATE$は、異なるレイヤ1(L1)鎖上のロールアップをサポートし、L1上の4ラウンドで最終性を達成する。
• 参考スコア（独自算出の注目度）: 3.884484241124158
• License:
• Abstract: Blockchains have revolutionized decentralized applications, with composability enabling atomic, trustless interactions across smart contracts. However, layer 2 (L2) scalability solutions like rollups introduce fragmentation and hinder composability. Current cross-chain protocols, including atomic swaps, bridges, and shared sequencers, lack the necessary coordination mechanisms or rely on trust assumptions, and are thus not sufficient to support full cross-rollup composability. This paper presents $\mathsf{CRATE}$, a secure protocol for cross-rollup composability that ensures all-or-nothing and serializable execution of cross-rollup transactions (CRTs). $\mathsf{CRATE}$ supports rollups on distinct layer 1 (L1) chains, achieves finality in 4 rounds on L1, and only relies on the underlying L1s and the liveness of L2s. We introduce two formal models for CRTs, define atomicity within them, and formally prove the security of $\mathsf{CRATE}$. We also provide an implementation of $\mathsf{CRATE}$ along with a cross-rollup flash loan application; our experiments demonstrate that $\mathsf{CRATE}$ is practical in terms of gas usage on L1.
• Abstract（参考訳）: ブロックチェーンは、スマートコントラクト間のアトミックで信頼性のないインタラクションを可能にするコンポーザビリティを備えた、分散アプリケーションに革命をもたらした。 しかし、ロールアップのようなレイヤ2(L2)のスケーラビリティソリューションは断片化を導入し、構成性を妨げます。 原子スワップ、ブリッジ、共有シーケンサを含む現在のクロスチェーンプロトコルは、必要な調整機構が欠如しているか、信頼の前提に依存しているため、完全なクロスロール・コンポーザビリティをサポートするには不十分である。 本稿では,クロスロールトランザクション(CRT)の完全あるいは無意味かつシリアライズ可能な実行を保証するクロスロール可能性のためのセキュアプロトコルである$\mathsf{CRATE}$を提案する。 $\mathsf{CRATE}$ は異なる層 1 (L1) 鎖上のロールアップをサポートし、L1 上の 4 ラウンドで終点を達成する。 CRTの2つの形式モデルを導入し、内部の原子性を定義し、$\mathsf{CRATE}$のセキュリティを正式に証明する。 また, クロスロールフラッシュローンアプリケーションとともに$\mathsf{CRATE}$の実装も提供し, L1のガス使用量の観点からは$\mathsf{CRATE}$が実用的であることを示した。

関連論文リスト

• Ehrenfeucht-Haussler Rank and Chain of Thought [51.33559894954108]
  関数の階数$f$は、単層トランスフォーマーデコーダで要求される思考の連鎖の最小値に対応することを示す。 また、ブール列における1の$k$-thの発生位置を同定する問題を解析し、$k$CoTステップが必要であることを証明した。
  論文  参考訳（メタデータ） (2025-01-22T16:30:58Z)
• MAP the Blockchain World: A Trustless and Scalable Blockchain Interoperability Protocol for Cross-chain Applications [18.33587076597966]
  インターオペラビリティプロトコルは、鎖間のアセット転送やデータ検索を可能にする。 既存のプロトコルは、オンチェーンとオフチェーンのコストが高いため、厳しいスケーラビリティの問題に直面している。 信頼性のないブロックチェーン相互運用プロトコルである textttMAP を提案する。
  論文  参考訳（メタデータ） (2024-11-01T07:43:11Z)
• Unveiling Induction Heads: Provable Training Dynamics and Feature Learning in Transformers [54.20763128054692]
  我々は,2層変換器が$n$-gramのマルコフ連鎖データ上でICLを実行するためにどのように訓練されているかを検討する。 クロスエントロピー ICL 損失に対する勾配流が極限モデルに収束することを証明する。
  論文  参考訳（メタデータ） (2024-09-09T18:10:26Z)
• Fast and Secure Decentralized Optimistic Rollups Using Setchain [1.1534313664323634]
  レイヤ2の楽観的なロールアップ(L2)は、スマートコントラクト開発とユーザインタラクションの面で同じインターフェースを提供する、より高速な代替手段です。 本稿では,集合の非分散化ビザンチン耐性実装であるSetchainに基づく分散L2楽観的なロールアップを提案する。
  論文  参考訳（メタデータ） (2024-06-04T13:45:12Z)
• Federated Combinatorial Multi-Agent Multi-Armed Bandits [79.1700188160944]
  本稿では,Banditを用いたオンライン最適化に適したフェデレーション学習フレームワークを提案する。 この設定では、エージェントのアームサブセットは、個々のアーム情報にアクセスせずにこれらのサブセットに対するノイズの多い報酬を観察し、特定の間隔で協力して情報を共有することができる。
  論文  参考訳（メタデータ） (2024-05-09T17:40:09Z)
• Sequencer Level Security [2.756899615600916]
  本稿では,ロールアップのシークエンシングプロトコルであるSequencer Level Security (SLS)プロトコルを紹介する。 本稿では、ロールアップメムプールに送信されたトランザクションと、レイヤ1から派生したトランザクションの両方に対するプロトコルの仕組みについて述べる。 我々は,GethとOPスタック上に構築されたSLSプロトコルであるZircuitのプロトタイプを実装した。
  論文  参考訳（メタデータ） (2024-05-03T02:47:40Z)
• 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)
• Variance-reduced accelerated methods for decentralized stochastic double-regularized nonconvex strongly-concave minimax problems [7.5573375809946395]
  我々は、ピアツーピア通信により、$m$のコンピューティングエージェントのネットワークが協調すると考えている。 我々のアルゴリズムフレームワークは、二変数のコンセンサス制約を取り除くために、アグラジアン乗算器を導入している。 我々の知る限りでは、これはNCSCミニマックス問題に対する収束保証を、原始変数と双対変数の両方に適用する一般の非正規化器で提供する最初の研究である。
  論文  参考訳（メタデータ） (2023-07-14T01:32:16Z)
• Improved techniques for deterministic l2 robustness [63.34032156196848]
  畳み込みニューラルネットワーク(CNN)を$l_2$ノルムの下で厳密な1-Lipschitz制約で訓練することは、対向的堅牢性、解釈可能な勾配、安定した訓練に有用である。 我々は,最後の線形層を1重層に置き換えることで,1-Lipschitz CNNのロバスト性を証明する手法を提案する。 我々は,CIFAR-10およびCIFAR-100における標準および証明可能な堅牢な精度の最先端化を図る。
  論文  参考訳（メタデータ） (2022-11-15T19:10:12Z)
• WR-ONE2SET: Towards Well-Calibrated Keyphrase Generation [57.11538133231843]
  キーワード生成は、入力文書を要約する短いフレーズを自動的に生成することを目的としている。 最近登場したONE2SETパラダイムは、キーフレーズをセットとして生成し、競争性能を達成した。 本稿では, ONE2SET を拡張した WR-ONE2SET を提案する。
  論文  参考訳（メタデータ） (2022-11-13T09:56:24Z)
• Minimax-Optimal Multi-Agent RL in Zero-Sum Markov Games With a Generative Model [50.38446482252857]
  2人プレイのゼロサムマルコフゲームは多エージェント強化学習においておそらく最も基本的な設定である。 我々は,$$ widetildeObiggを用いて,$varepsilon$-approximate Markov NEポリシーを学習する学習アルゴリズムを開発した。 我々は、分散型量の役割を明確にするFTRLに対する洗練された後悔境界を導出する。
  論文  参考訳（メタデータ） (2022-08-22T17:24:55Z)

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

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