論文の概要: Write-Domain Separation and Non-Custodial Enforcement: A Structural Impossibility in Account-Based Ledgers, with a Commitment-Based Construction

• arxiv url: http://arxiv.org/abs/2605.01210v1
• Date: Sat, 02 May 2026 02:59:55 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-05 20:33:49.643373
• Title: Write-Domain Separation and Non-Custodial Enforcement: A Structural Impossibility in Account-Based Ledgers, with a Commitment-Based Construction
• Title（参考訳）: 書き込みドメイン分離と非カストージアル強化--コミットベース構築によるアカウントベースレジャーの構造的不可能性-
• Authors: Matthias Hauser,
• Abstract要約: 我々は台帳アクセス制御に関する構造的疑問を問う。 当該議定書は、当該財産の将来の処分を、留置することなく、かつ、執行時に所有者の協力を必要とせずに実施することができるか。 我々は,Non-Custodial Enforceed Encumbrance (NCEE) として,セルフカストディ,トランジション制限,無効性,無許可の実施を対象とする4つの仕様を定式化した。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Account-based ledgers -- standard externally-owned accounts (EOAs), ERC-4337 smart accounts, post-Pectra EIP-7702 delegated EOAs -- place the holder of the controlling key at the apex of asset authorization. We ask a structural question about ledger access control: under this authorization model, can a protocol enforce the future disposition of an asset without taking custody and without requiring the owner's cooperation at enforcement time? We formalize the target as Non-Custodial Enforced Encumbrance (NCEE), a four-property specification covering self-custody, transition restriction, irrevocability, and permissionless enforcement. We define the Key Sovereignty Axiom (KS) and prove that any ledger satisfying KS cannot realize NCEE; standard EOAs, ERC-4337 smart accounts, and EIP-7702 delegated EOAs satisfy KS for their standard asset paths. We define Asset-Authorization Coupling (AAC) and prove it necessary for NCEE in the transfer-dichotomous asset setting. To witness the positive side, we introduce the envelope, a primitive for commitment-based private-state ledgers that binds a note, a condition tree, and a redistribution intent to protocol-maintained marker sets, separating ordinary spend nullifiers from a new encumbrance-namespace nullifier derived from note randomness rather than the owner key. We prove the envelope realizes NCEE under stated cryptographic assumptions and a deployment assumption that the marker-set registry is immutable; three concrete deployment templates are given. We define games for encumbrance integrity, settlement security, key-compromise resilience, and encumbrance indistinguishability. A reference implementation in Noir and UltraHonk supports the empirical claims, with gas measurements, recursive aggregation benchmarks, and a practical-economics analysis.
• Abstract（参考訳）: アカウントベースの台帳 – 標準的な外部所有口座(EOA)、ERC-4337スマートアカウント、ポストペクトラEIP-7702デリゲートされたEOA – は、管理キーの保持者を資産承認の頂点に置く。 我々は、台帳アクセス制御に関する構造的疑問を問う:この認可モデルの下で、プロトコルは、保護下に置かず、かつ、執行時に所有者の協力を必要とせずに、資産の将来の処分を強制することができるか? 我々は,Non-Custodial Enforceed Encumbrance (NCEE) として,セルフカストディ,トランジション制限,無効性,無許可の実施を対象とする4つの仕様を定式化した。 KSを満たす台帳は、標準EOA、ERC-4337スマートアカウント、EIP-7702デリゲートされたEOAが標準資産パスに対してKSを満たすことを証明する。 我々は,AAC(Asset-Authorization Coupling)を定義し,トランスファー・ディコモナス・アセット・セッティングにおいてNCEEに必要なことを証明した。 正の側面を見極めるため,本論文では,ノート,コンディションツリー,再配布意図をプロトコル保持マーカセットにバインドするコミットベースのプライベートステート台帳のプリミティブであるエンベロープを導入し,通常の使用量nullifierを,所有者キーではなくノートランダム性から派生した新しい帰属名前空間nullifierから分離する。 本報告では,NCEEを暗号的な仮定と,マーカーセットレジストリが不変であるという配置仮定に基づいて実現し,具体的配置テンプレートを3つ与える。 我々は,蓄積の完全性,解決のセキュリティ,キー・コンプロマイズ・レジリエンス,識別不能性をゲームとして定義する。 NoirとUltraHonkのリファレンス実装は、ガス測定、再帰的な集約ベンチマーク、実用的な経済分析を含む経験的主張をサポートする。

関連論文リスト

• GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
  マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。 バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。 パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
  論文  参考訳（メタデータ） (2026-04-27T11:34:21Z)
• Structural Enforcement of Goal Integrity in AI Agents via Separation-of-Powers Architecture [0.10152838128195464]
  Policy-Execution-Authorization (PEA)アーキテクチャは、システムレベルでの安全性を強制する"パワーの分離"設計である。 PEAはインテントの生成、承認、実行を、暗号的に制約された機能トークンを介して接続された独立した分離されたレイヤに分離する。
  論文  参考訳（メタデータ） (2026-04-26T10:31:13Z)
• 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)
• ZK-ACE: Identity-Centric Zero-Knowledge Authorization for Post-Quantum Blockchain Systems [1.7429038786735553]
  ZK-ACEは、トランザクション転送されたシグネチャオブジェクトをアイデンティティバウンドのゼロ知識認証ステートメントに置き換える認証レイヤである。 我々は,ZK-ACEをゲームベースのセキュリティ定義で形式化し,音声認識,リプレイ抵抗,置換抵抗,クロスドメイン分離を実現した。 構造的、プロトコルレベルのデータ会計は、直接量子後シグネチャ展開に対するコンセンサス可視な認証データのオーダー・オブ・マグニチュードの低減を示す。
  論文  参考訳（メタデータ） (2026-03-09T05:21:44Z)
• Condition-Triggered Cryptographic Asset Control via Dormant Authorization Paths [1.7429038786735553]
  暗号化されたデジタル資産の制御は、伝統的に秘密鍵の恒久的な所有と同一視される。 条件付き休息許可パス(CT-DAP)を導入する。 CT-DAP(CT-DAP)は、破壊可能な認証要素に基づいて構築された暗号資産管理手法である。
  論文  参考訳（メタデータ） (2026-03-09T03:57:06Z)
• CREDIT: Certified Ownership Verification of Deep Neural Networks Against Model Extraction Attacks [54.04030169323115]
  我々は、モデル抽出攻撃(MEA)に対する認証された所有権検証であるCREDITを紹介する。 DNNモデル間の類似性を定量化し、実用的な検証しきい値を提案し、このしきい値に基づいてオーナシップ検証を行うための厳密な理論的保証を提供する。 我々は、さまざまなドメインやタスクにまたがるいくつかの主流データセットに対するアプローチを広範囲に評価し、最先端のパフォーマンスを実現した。
  論文  参考訳（メタデータ） (2026-02-23T23:36:25Z)
• Binding Agent ID: Unleashing the Power of AI Agents with accountability and credibility [46.323590135279126]
  BAID(Binding Agent ID)は、検証可能なユーザコードバインディングを確立するための総合的なアイデンティティ基盤である。 ブロックチェーンベースのID管理とzkVMベースの認証プロトコルの実現可能性を実証し、完全なプロトタイプシステムの実装と評価を行った。
  論文  参考訳（メタデータ） (2025-12-19T13:01:54Z)
• Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
  生成のための教師なし共形推論フレームワークを提案する。 我々のゲートは、分断されたUPPよりも厳密で安定した閾値を提供する。 その結果は、ラベルのない、API互換の、テスト時間フィルタリングのゲートになる。
  論文  参考訳（メタデータ） (2025-09-26T23:40:47Z)
• FedSOV: Federated Model Secure Ownership Verification with Unforgeable Signature [60.99054146321459]
  フェデレートラーニングにより、複数のパーティがプライベートデータを公開せずにグローバルモデルを学ぶことができる。 本稿では,FedSOVという暗号署名に基づくフェデレート学習モデルのオーナシップ検証手法を提案する。
  論文  参考訳（メタデータ） (2023-05-10T12:10:02Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)

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

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