論文の概要: Making Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents
- arxiv url: http://arxiv.org/abs/2609.37819v1
- Date: Tue, 29 Sep 2026 15:28:31 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-30 21:28:47.687541
- Title: Making Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents
- Title（参考訳）: 重複再支払いを表現不能にする:人間とAIエージェントのための検証されたEthereum E-Invoiceシステム
- Abstract要約: 本稿では,ブロックチェーンベースの電子請求システムの設計,形式解析,実装について述べる。
我々は、請求書ライフサイクルを、保護されたラベル付き移行システムとして形式化し、標準的および合意的仮定の下で、システムが保証することを証明する。 (i) 請求書は、相互に不信感のある組織においてさえ、少なくとも一度は返済される; (ii) 認証された請求書は、ケッカック256の二次的抵抗が壊れない限り、記録された請求書と一致し、かつ (iii) ライフサイクルのすべての操作に対する認可音性を保証する。
- 参考スコア（独自算出の注目度）: 1.9493449206135296
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Electronic invoices are replacing paper invoices worldwide, but today's centralized architectures leave three problems unsolved on the consumption side: an invoice can be submitted for reimbursement repeatedly, authenticity is difficult for recipients to verify, and data is siloed at a central authority that forms both a performance bottleneck and a single point of failure. This paper presents the design, formal analysis, and implementation of a complete blockchain-based electronic invoice system on Ethereum. We formalize the invoice lifecycle as a guarded labeled transition system and prove, under standard cryptographic and consensus assumptions, that the system guarantees: (i) reimbursement uniqueness--an invoice is reimbursed at most once, even across mutually distrusting organizations; (ii) face integrity--any verified invoice matches the recorded one unless keccak256 second-preimage resistance is broken; and (iii) authorization soundness for every lifecycle operation. The core invariants are machine-checked using Solidity SMTChecker, proving inductive validity across all reachable transaction sequences. The architecture models each invoice as a non-fungible, non-tradable token whose state transitions through five guarded subsystems, employing a lock-based protocol that makes duplicate reimbursement unrepresentable rather than merely detectable. We implement the design as a Solidity 0.8 contract with a four-role web application and evaluate it on a private Ethereum network: issuing costs 646,773 gas, full reimbursement costs under 135,000 gas, all operations run in O(1) time, and a single node sustains 137 issuances/s. Finally, the verified contract serves as a safety envelope for LLM-based reimbursement agents, provably rejecting unsafe actions (duplicate, over-limit, or forged-receipt claims) even when the agent's internal policy fails. All code and benchmarks are open-source.
- Abstract（参考訳）: 電子請求書は世界中の紙の請求書を置き換えるものだが、今日の中央集権的アーキテクチャは、消費面で未解決の3つの問題を残している。請求書を繰り返し返済することは可能であり、受取人が認証することは困難であり、データはパフォーマンスボトルネックと単一障害点の両方を形成する中央機関でサイロ化されている。
本稿では,Ethereum上でのブロックチェーンベースの電子請求システムの設計,形式解析,実装について述べる。
我々は、請求書ライフサイクルを保護されたラベル付き遷移システムとして形式化し、標準的な暗号およびコンセンサス仮定の下で、システムが保証していることを証明します。
一 相互に不信な組織にあつても、一回だけ請求書を納付すること。
(二)顔の完全性-ケッカック256第二前置抵抗が壊れない限り、認証された請求書が記録されたものと一致し、
三 ライフサイクルごとに音を許すこと。
コア不変量はSolidity SMTCheckerを使用してマシンチェックされ、すべての到達可能なトランザクションシーケンスに対して帰納的妥当性が証明される。
アーキテクチャは、各請求書を5つの保護されたサブシステムを通して状態が遷移し、単に検出できないというよりは、重複再支払いを表現不能にするロックベースのプロトコルを用いて、偽造不可能で取引不能なトークンとしてモデル化する。
我々は,Solidity 0.8契約を4ロールのWebアプリケーションで実装し,プライベートEthereumネットワーク上で評価する。コスト646,773 ガス,135,000 ガス以下の全再支払いコスト,O(1) 時間で稼働するすべての操作,単一ノードが137 回発行される。
最後に、検証された契約は、LLMベースの再支払いエージェントの安全封筒として機能し、エージェントの内部方針が失敗しても、確実に安全でない行為(二重化、過限化、偽レセプトクレーム)を拒絶する。
すべてのコードとベンチマークはオープンソースである。
関連論文リスト
- Who Assures the Verifier? An Executable Assurance-Locus Audit of the European Digital Identity Wallet [0.0]
我々は,現在の法則,アーキテクチャ・リファレンス・フレームワーク(ARF)3.0.0,ETSIメタデータ,FCAFスコープ,3つのピン付きオープンソース検証を行う。
3つの異種研究による実装は、ミスマッチがゼロで、パス間の不一致がゼロである108のケースを実行する。
本稿では,代替品や財布の認証,登録,監督を補完するシステム・アズ・ア・テスト・エビデンス・ユニットを提案する。
論文 参考訳（メタデータ） (2026-08-11T11:37:03Z) - Runtime Observability for Heterogeneous Attention Memory [20.158719055939383]
3つの演算子を持つ4つのメモリクラスすべてをカバーするランタイムオブザーバビリティ契約を提供します。
ステージごとのスタックを実行可能な要求レベルのリスク台帳に構成する。
論文 参考訳（メタデータ） (2026-08-06T10:41:50Z) - Proof of Source of Funds: Efficient On-chain Provenance of Cryptoassets [5.222265639534245]
Proof of Source of Funds (PoSoF) は,ユーザの負担をシフトする新しい暗号フレームワークである。
PoSoFは検証可能な暗号証明を提供し、中間トランザクショントポロジをリークすることなく、資金の正当性を保証する。
私たちのベンチマークでは、完全にプライベートでプロアクティブなコンプライアンスが極めて実践的であることが示されています。
論文 参考訳（メタデータ） (2026-06-08T21:07:02Z) - TRUST: A Framework for Decentralized AI Service v.0.1 [47.384270414446604]
大規模推論モデル (LRM) とマルチエージェントシステム (MAS) は, 信頼性の高い検証を必要とする。
TRUST(Transparent, Robust, and Unified Services for Trustworthy AI)は,3つのイノベーションを備えた分散フレームワークである。
我々は、悪質な俳優が損失を被っている間、正直な監査人の利益を確実に確保する安全利益理論を証明する。
論文 参考訳（メタデータ） (2026-04-29T19:32:58Z) - GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。
バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。
パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
論文 参考訳（メタデータ） (2026-04-27T11:34:21Z) - MEV-ACE: Identity-Authenticated Fair Ordering for Proposer-Controlled MEV Mitigation [1.7429038786735553]
MEV(Maximal Extractable Value)は、ブロックチェーンの公正性に対する構造的な脅威である。
本稿では,MEV の順序制御のための公平な順序付けプロトコル MEV ACE を提案する。
プロトコルはシングルスロットのままであり、しきい値復号化委員会を必要とせず、ML DSA 44のようなポスト量子署名スキームと互換性がある。
論文 参考訳（メタデータ） (2026-04-08T20:12:06Z) - TRUST: A Decentralized Framework for Auditing Large Language Model Reasoning [45.228233498964755]
大規模言語モデルは、意思決定を明らかにする推論チェーンを生成する。
既存の監査手法は集中的で、不透明で、スケールが難しい。
透明で分散化された監査フレームワークであるTRUSTを提案する。
論文 参考訳（メタデータ） (2025-10-23T04:16:44Z) - On-Chain Decentralized Learning and Cost-Effective Inference for DeFi Attack Mitigation [4.37137147573556]
DeFiプラットフォームでは、ビジネスロジックや会計上の脆弱性を利用したトランザクションによって、毎年数十億ドルが失われている。
i) コスト削減のためにLayer-2上でガス禁止計算を行い、(ii) 検証済みのモデル更新をLayer-1に伝達し、(iii) スマートコントラクト内でガス境界付き低遅延推論を可能にする。
論文 参考訳（メタデータ） (2025-10-15T18:58:34Z) - Decompiling Smart Contracts with a Large Language Model [51.49197239479266]
Etherscanの78,047,845のスマートコントラクトがデプロイされているにも関わらず(2025年5月26日現在)、わずか767,520 (1%)がオープンソースである。
この不透明さは、オンチェーンスマートコントラクトバイトコードの自動意味解析を必要とする。
バイトコードを可読でセマンティックに忠実なSolidityコードに変換する,先駆的な逆コンパイルパイプラインを導入する。
論文 参考訳（メタデータ） (2025-06-24T13:42:59Z) - Are You Getting What You Pay For? Auditing Model Substitution in LLM APIs [71.7892165868749]
LLM(Commercial Large Language Model) APIは基本的な信頼の問題を生み出します。
ユーザーは特定のモデルに課金するが、プロバイダが忠実に提供できることを保証することはない。
我々は,このモデル置換問題を定式化し,現実的な逆条件下での検出方法を評価する。
我々は,信頼された実行環境(TEE)を実用的で堅牢なソリューションとして使用し,評価する。
論文 参考訳（メタデータ） (2025-04-07T03:57:41Z) - Regulation conform DLT-operable payment adapter based on trustless -
justified trust combined generalized state channels [77.34726150561087]
物の経済(EoT)は、ピアツーピアの信頼性のないネットワークで動作するソフトウェアエージェントに基づいています。
基本的価値と技術的可能性が異なる現在のソリューションの概要を述べる。
我々は,暗号ベースの分散型の信頼できない要素の強みと,確立された,十分に規制された支払い手段を組み合わせることを提案する。
論文 参考訳（メタデータ） (2020-07-03T10:45:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。