論文の概要: Staged Multi-step UTXO Workflows via Recursive Invariants
- arxiv url: http://arxiv.org/abs/2609.26305v2
- Date: Wed, 23 Sep 2026 04:52:22 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-25 00:05:17.676985
- Title: Staged Multi-step UTXO Workflows via Recursive Invariants
- Title（参考訳）: 再帰不変量による段階的多段階UTXOワークフロー
- Abstract要約: ステートレスUTXOスタイルの実行は、ローカルおよび参照データからのトランザクションを検証し、並列バリデーションと予測可能なシリアライズサイズ/ウェイト会計をサポートする。
準備された次のステップのトランザクションは、他の有効な支出が最初に確認し、一貫性の維持、オフチェーン追跡、およびトランザクションのリビルドをプロトコル境界に移行したときに、停滞する可能性がある。
我々は、UTXO検証と台帳拡張を形式化し、検証タイムを動機とした1ステップの断片を特定し、3つの値のセマンティクスに対する推論システム音を証明し、対応するトランザクションバリデーションと台帳拡張アルゴリズムを提供する。
- 参考スコア（独自算出の注目度）: 9.991159941964856
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Stateless UTXO-style execution validates transactions from local and referenced data, supporting parallel validation and predictable serialized-size/weight accounting, but multi-step workflows must explicitly thread state through outputs. However, a prepared next-step transaction may become stale when another valid spend confirms first, shifting consistency maintenance, off-chain tracking, and transaction rebuilding to the protocol boundary and potentially increasing coordination cost and latency. Explicitly addressing this gap, recursive invariants (RIs) provide a transaction-level logic and toolchain in which workflow rules are predicates over a transaction's inputs and indexed successor positions referenced by the RI. Realizing such a successor causes the accepted transaction to re-check its predecessor's RI one step later, carrying the workflow rule forward without application-level shared mutable state or executable logic attached to outputs; repeated one-step checks thereby preserve validation-time locality and make validation work explicitly accountable. Many successor clauses are not decidable when the current transaction is validated, so our small statically typed DSL uses Kleene-style three-valued semantics over true, false, and unknown to defer future-dependent obligations until they become checkable. Alongside the DSL, we formalize UTXO validation and ledger extension in our model, identify the validation-time-evaluable one-step fragment, prove the deduction system sound for the three-valued semantics, and give corresponding transaction-validation and ledger-extension algorithms. Notably, a prototype RI interpreter and benchmarking toolchain evaluate six practice-motivated workflows; the reported traces show approximately linear cumulative validation-cost proxy growth while illustrating staged constraints without committing each step to a preconstructed successor transaction.
- Abstract（参考訳）: ステートレスUTXOスタイルの実行は、ローカルおよび参照データからのトランザクションを検証し、並列検証と予測可能なシリアライズサイズ/ウェイト会計をサポートする。
しかし、別の有効な支出が最初に確認し、一貫性の維持、オフチェーン追跡、およびトランザクション再構築をプロトコル境界に移行し、調整コストとレイテンシを増大させると、準備された次のステップトランザクションは不安定になる可能性がある。
このギャップに明示的に対処するため、再帰不変量(RI)はトランザクションレベルのロジックとツールチェーンを提供する。
このような後続性を実現すると、受理されたトランザクションは、前者のRIを1ステップ後に再チェックし、アプリケーションレベルの共有変更状態や出力にアタッチされた実行可能ロジックなしでワークフロールールを前もって実行します。
現在のトランザクションが検証されたとき、多くの後続節は決定できないので、我々の小さな静的型付けDSLは、真、偽、不明な3つの値のセマンティクスを使って、チェック可能になるまで将来依存の義務を延期します。
DSLの他に、UTXO検証と台帳拡張を形式化し、検証可能な1ステップの断片を特定し、3値セマンティクスの推論システム音を証明し、対応するトランザクションバリデーションと台帳拡張アルゴリズムを提供する。
特に、プロトタイプRIインタプリタとベンチマークツールチェーンは、6つの実践動機付けワークフローを評価し、報告されたトレースは、事前構築された後継トランザクションに各ステップをコミットすることなく、ほぼ線形な累積検証コストのプロキシ成長を示す。
関連論文リスト
- Formal Verification of Agentic Systems over Operational Data [59.98246281888422]
大規模言語モデル(LLM)によって駆動されるエージェントシステムは、永続的な運用データを扱う現実世界にますます展開されている。
既存のアプローチはそのようなシステムレベルの保証を提供していません。
本稿では, 1 つの LLM とツールオーケストレーションハーネスからなるエージェントシステムのリレーショナル操作データに対する検証について述べる。
論文 参考訳（メタデータ） (2026-08-04T13:01:30Z) - Mnemosyne: Agentic Transaction Processing for Validating and Repairing AI-generated Workflows [0.764671395172401]
エージェントトランザクション処理は、宣言された実行可能な制約セットCの下で決定論的入力をパスするまで、生成されたアクションを信頼できない提案として扱う。
MnemosyneのATPは、追加のみのトランジションログ、有効状態のプロジェクション、依存性の安全な補償、アクティブなコミットレコードを備えたランタイムである。
再現可能なアーティファクトは、9つのファルシフィケーションテストを対象とする違反を拒絶し、有効な作業は6%以下のオーバーヘッドで認め、局所的な修復は、グローバルな再計算よりも桁違いに少ない操作を編集する。
論文 参考訳（メタデータ） (2026-06-30T23:33:16Z) - AuditWeave: A Tamper-Evident, Auditor-Navigable Evidence Layer for AI-Assisted and Data-Transformation Workflows [0.0]
AuditWeaveは、AIアシストとデータ変換のステップを1つのハッシュチェーンの台帳に記録する軽量Pythonライブラリである。
本稿では,参照実装におけるオーバヘッド,拡張性,タンパー検出の正確さを設計し,評価する。
論文 参考訳（メタデータ） (2026-06-14T21:46:04Z) - Why Search When You Can Transfer? Amortized Agentic Workflow Design from Structural Priors [51.95306551061392]
エージェントワークフローの自動設計は、現在、タスクごとの反復検索に依存している。
本稿では,ワークフロー設計を再利用可能な構造的先入観に補正するフレームワークであるSWIFTを提案する。
SWIFTは5つのベンチマークで最先端の検索手法より優れている。
論文 参考訳（メタデータ） (2026-04-27T21:25:00Z) - IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory [73.22944697933603]
既存のパイプラインは不透明でエンドツーエンドの出力を生成し、検査の中間状態は公開しない。
IMPACT-Cycleは,マルチモーダル反復クレームレベルのメンテナンスとして,長時間ビデオ理解を再構築するマルチエージェントシステムである。
論文 参考訳（メタデータ） (2026-04-22T03:03:33Z) - Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans [0.0]
DSLTransは、検証性を改善するためにチューリング不完全であるように設計された。
本稿では、DSLTransのための抽出可能な検証ワークフローを提示し、完了時に形式化する。
論文 参考訳（メタデータ） (2026-04-20T19:57:45Z) - Learning to Compose for Cross-domain Agentic Workflow Generation [56.630382886594184]
クロスドメインワークフロー生成のためのオープンソースのLLMを作成します。
さまざまなドメインにわたる再利用可能なワークフロー機能のコンパクトなセットを学びます。
当社の1パスジェネレータは、20イテレーションを消費するSOTAリファインメントベースラインを超えています。
論文 参考訳（メタデータ） (2026-02-11T18:27:22Z) - Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation [4.723302382132762]
シリコングレードの正しさは、 (i) シミュレーション中心の評価の限られたカバレッジと信頼性、 (ii) 回帰と修復幻覚、 (iii) エージェントハンドオフ間で意図が再解釈される意味的ドリフトによってボトルネックが残っている。
エージェントの意図を整合させる設計契約を確立するマルチエージェントフレームワークであるVeri-Sureを提案する。
論文 参考訳（メタデータ） (2026-01-27T16:10:23Z) - COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement [80.18490952057125]
反復改良は、複雑なタスクにおける大規模言語モデル(LLM)の能力を高める効果的なパラダイムとして登場した。
我々はこれらの課題を克服するために、コンテキストワイズ順序非依存言語モデリング(COrAL)を提案する。
当社のアプローチでは、管理可能なコンテキストウィンドウ内で複数のトークン依存関係をモデル化しています。
論文 参考訳（メタデータ） (2024-10-12T23:56:19Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。