論文の概要: One Node, Two Roles: Simultaneous Contests for Validation and Attention in Rollups
- arxiv url: http://arxiv.org/abs/2610.12220v1
- Date: Thu, 08 Oct 2026 16:05:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-10 02:36:54.152652
- Title: One Node, Two Roles: Simultaneous Contests for Validation and Attention in Rollups
- Title（参考訳）: 1つのノード、2つの役割:ロールアップにおける検証と注意のための同時コンテスト
- Abstract要約: 我々は、基礎となる暗号プリミティブを新しい概念として定式化する。
評価と注意報酬のメカニズムを2つの組み合わせたTullockライクなコンテストとして分析する。
TRACEでは, 教義の証明とは対照的に, 実行の多様性を高めるために限界費用を調整できることが示されている。
- 参考スコア（独自算出の注目度）: 3.1265508848093195
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: An optimistic rollup is safe as long as at least one honest validator executes its state transition function (STF) and disputes any assertion that is inconsistent with the result of the execution. Allowing anyone to participate, however, does not give incentive to do so: as long as every assertion is correct, verifying assertion correctness goes unpaid. Attention mechanisms address this by paying nodes to execute the rollup's STF, regardless of whether they participate in the validation process. Since a single node operator can back many registered identities with a single execution, paying per identity does not buy execution diversity, that is, the number of operators that independently execute. In this work we provide a new modeling framework for this problem. We formalize the underlying cryptographic primitive as a new notion, arguments with registered provers, whose properties include a form of non-amortizability that, to our knowledge, has not been studied for modern succinct cryptographic proofs before. We design validation and attention reward mechanisms and analyze them as two coupled Tullock-like contests, in which an operator pays once for the required execution and then chooses how many identities to deploy in each role. We quantify the attainable range of execution diversities in equilibrium as a function of the marginal cost of deploying an extra attention identity. We use our framework as a lens through which we compare two attention mechanisms, TRACE (MARBLE 2026) and Proof of Diligence (AFT 2024). In particular, we show that as opposed to Proof of Diligence, in TRACE the marginal cost mentioned above can be adjusted to support a higher execution diversity. As a case study, we apply our results to Arbitrum One, a widely deployed optimistic rollup.
- Abstract（参考訳）: 楽観的なロールアップは、少なくとも1つの正直なバリデータがその状態遷移関数(STF)を実行し、実行結果と矛盾するアサーションに異議を唱える限りは安全である。
すべての主張が正しければ、アサーションの正しさの検証は無給となる。
注意機構は、検証プロセスに参加するかどうかに関わらず、ロールアップのSTFを実行するためにノードに課金することでこの問題に対処する。
単一のノードオペレータは、単一の実行で多数の登録されたIDをバックアップできるため、IDごとの支払いは実行の多様性、すなわち独立して実行する演算子数を取得することはない。
この作業では、この問題に対する新しいモデリングフレームワークを提供しています。
我々は、基礎となる暗号プリミティブを新しい概念として定式化し、登録されたプロバーとの議論は、我々の知識に照らして、近代的な簡潔な暗号証明のために研究されていない非可読性の形式を含む。
我々は、検証と注意報酬のメカニズムを設計し、2つの組み合わせたTullockライクなコンテストとして分析し、オペレータが要求された実行に対して1回支払い、各ロールにデプロイするIDの数を選択する。
我々は、余分な注意のアイデンティティを配置する限界コストの関数として、平衡における達成可能な実行の多様性を定量化する。
我々は、我々のフレームワークを、TRACE (MARBLE 2026) と Proof of Diligence (AFT 2024) の2つの注意機構を比較するためのレンズとして利用する。
特に,信頼性の証明とは対照的に,TRACEでは,上述した限界コストを,より高い実行多様性をサポートするために調整できることが示されている。
ケーススタディでは、広くデプロイされた楽観的なロールアップであるArbitrum Oneに結果を適用します。
関連論文リスト
- Functionally Equivalent or Not? Graph-Grounded Differential Surrogate Execution for Code Equivalence [10.45005458481016]
FEAgentは、型付きプログラムグラフエビデンスと差分代理実行を組み合わせた選択等価評価エージェントである。
そのオラクルに対する不一致はすべて、直接実行によって判断され、ベンチマークラベルと単体テストのみのスコアで見逃された振る舞いの相違が明らかになる。
EquiBenchでは、1200個の評価済みペアのうち216個(18.0%)、SWE-bench Verifiedでは331個のテストパスエージェントパッチ(28.4%)が参照パッチから分岐している。
論文 参考訳（メタデータ） (2026-10-03T08:19:45Z) - Staged Multi-step UTXO Workflows via Recursive Invariants [9.991159941964856]
ステートレスUTXOスタイルの実行は、ローカルおよび参照データからのトランザクションを検証し、並列バリデーションと予測可能なシリアライズサイズ/ウェイト会計をサポートする。
準備された次のステップのトランザクションは、他の有効な支出が最初に確認し、一貫性の維持、オフチェーン追跡、およびトランザクションのリビルドをプロトコル境界に移行したときに、停滞する可能性がある。
我々は、UTXO検証と台帳拡張を形式化し、検証タイムを動機とした1ステップの断片を特定し、3つの値のセマンティクスに対する推論システム音を証明し、対応するトランザクションバリデーションと台帳拡張アルゴリズムを提供する。
論文 参考訳（メタデータ） (2026-09-22T12:13:49Z) - Beyond Pass@k: Measuring Reliability and Security of Agentic Code Generation [2.1734195143282693]
我々は,n = 独立ロールアウトとc = 完全パスロールアウト(タスク,エージェント)ペアで適用したのと同じ推定器であるReliability@kを提案する。
機能的正当性がセキュリティの安全性を示唆しないという証拠によって、セキュリティ調整された信頼性も提案する。
論文 参考訳（メタデータ） (2026-08-11T16:01:15Z) - TAPO: Tool-Aware Policy Optimization via Credit Transfer for Multimodal Search Agents [54.08846865906602]
ツール強化マルチモーダルサーチエージェントにおいて,クレジットミス割り当てをGRPOの系統的障害モードとして特徴付ける。
本稿では,情報取得ツールのパラメータ決定性を利用したツール・アウェア・ポリシー・オプティマイズ(TAPO)を提案する。
論文 参考訳（メタデータ） (2026-06-04T07:15:43Z) - Survive or Collapse: The Asymmetric Roles of Data Gating and Reward Grounding in Self-Play RL [76.45061154544568]
セルフプレイ強化学習は、言語モデルを独自の生成タスクで訓練し、人間ラベルなしでプロジェクタとソルバを共進化させる。
最近のシステムでは強い推理効果が報告されているが、崩壊と不安定性は広く観察され、理解されていない。
代わりに、自己プレイの安定性は、提案者生成タスクがトレーニングプールに入るかを判断するデータレベルゲートと、すでに認められたタスクに関するポリシーを更新する報酬信号の2つの異なるレバーによって管理されていると論じる。
論文 参考訳（メタデータ） (2026-05-21T09:19:23Z) - Adversarial procurement in blockchains [2.7433496624899383]
新たなブロックチェーンプロトコル設計パターンは、タスクの実行と検証における計算作業の非対称性を活用する。
我々はこれをメカニズム設計の質問として定式化する。
最適プロトコルの喪失は、ネットワークの逆数でスケールアップされた生活障害のコストで対数的にスケールすることを示す。
論文 参考訳（メタデータ） (2026-05-07T01:08:10Z) - RAGEN-2: Reasoning Collapse in Agentic RL [123.40730283427136]
RAGEN-2では、安定なエントロピーであっても、モデルは多様に見えるが入力に依存しない固定テンプレートに依存することができる。
推論品質をインテリアインプットの多様性(エントロピー)とクロスインプットの区別可能性(Mutual Information, MI)に分解する。
様々なタスクにおいて、相互情報はエントロピーよりも最終的なパフォーマンスと非常に強く関連しているため、推論品質のより信頼性の高いプロキシとなります。
論文 参考訳（メタデータ） (2026-04-07T04:29:41Z) - Decomposing Reasoning Efficiency in Large Language Models [2.4149105714758545]
我々はトークン効率を、固定されたトークン予算の下での完了、与えられた完了条件の正確性、冗長性といった、解釈可能な要因に分解する。
推論トレースが利用可能であれば、冗長だが拡張された推論からループを分離するために決定論的トレース品質尺度を追加します。
我々の分解は、異なる効率の介入を示唆する異なるボトルネックプロファイルを明らかにします。
論文 参考訳（メタデータ） (2026-02-10T14:09:18Z) - Latent Veracity Inference for Identifying Errors in Stepwise Reasoning [78.29317733206643]
本稿では、精度割当てに対する離散探索アルゴリズムであるVeracity Search(VS)を紹介する。
その他の方法では、後続の精度値よりも後続の分布において難解な推論を行う。
VSを一般化し、新しいコンテキストで正確なゼロショットの精度推論を可能にする。
論文 参考訳（メタデータ） (2025-05-17T04:16:36Z) - Robust and Performance Incentivizing Algorithms for Multi-Armed Bandits with Strategic Agents [52.75161794035767]
性能インセンティブとロバストネスの2つの目的を同時に満たすバンディットアルゴリズムのクラスを導入する。
そこで本研究では,第2価格オークションのアイデアをアルゴリズムと組み合わせることで,プリンシパルが腕の性能特性に関する情報を持たないような設定が可能であることを示す。
論文 参考訳（メタデータ） (2023-12-13T06:54:49Z) - Nested Counterfactual Identification from Arbitrary Surrogate
Experiments [95.48089725859298]
観測と実験の任意の組み合わせからネスト反事実の同定について検討した。
具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
論文 参考訳（メタデータ） (2021-07-07T12:51:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。