論文の概要: An EVM-Cosmos Bridge for Atomic, Semantic-Preserving Transfer of Environmental Tokens

• arxiv url: http://arxiv.org/abs/2610.37663v1
• Date: Tue, 27 Oct 2026 17:59:30 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-29 04:15:49.280318
• Title: An EVM-Cosmos Bridge for Atomic, Semantic-Preserving Transfer of Environmental Tokens
• Title（参考訳）: 環境トークンの原子・セマンティック保存転送のためのEVM-コスモスブリッジ
• Abstract要約: セマンティックミキシングと原子性に対処するブリッジを提案する。 原子性については、ハッシュ・タイムロック契約(HTLC)を2つの取引所から1つの取引所へ拡張する。 また、Cosmos起源のメッセージの統合障害モードについても文書化します。
• 参考スコア（独自算出の注目度）: 2.8417162417125943
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Transferring semantically typed tokens between heterogeneous blockchains (e.g. EVM and Cosmos ecosystems) raises two problems: semantic mixing, the loss of a token's domainspecific meaning in transit (e.g., CO2 removals issued under different methodologies), and atomicity despite divergent consensus and timing assumptions. We propose a bridge that addresses both. A deterministic indicator identity derived from cryptographic commitments, mirrored in class registries on both chains and checked at mint time, preventing semantic mixing by construction. For atomicity, we extend hash time-locked contracts (HTLCs) from two-party exchange to single-owner transfer with an automatic callback that burns the source escrow after a destination claim, and a protocol-minimum bounty that makes the fallback burn incentive-compatible even against adversarial senders. We machine-check the protocol's invariants with TLC (supply conservation fails without the rational-monitor assumption and holds with it) and validate a bidirectional prototype on Polygon and Neutron mainnets over Axelar GMP: fully automatic transfers with a median end-to-end latency of 97 s over 50 Polygon to Neutron transfers across 7 days (all completed by the on-chain automatic callback) and 93 s in the reverse direction, and semantic-validation overhead below 0.4% of messaging cost. We also document the integration failure modes of Cosmos originated messaging, whose dominant operational risk proves to be relay eligibility rather than latency.
• Abstract（参考訳）: 異種ブロックチェーン(例えばEVMとCosmosエコシステム)間のセマンティック型付きトークンの転送は、セマンティックミキシング、トランジットにおけるトークンのドメイン固有の意味の喪失(例えば、異なる方法論で発行されたCO2除去)、異なるコンセンサスとタイミング仮定にもかかわらずアトミック性という2つの問題を引き起こす。 我々は両方に対処する橋を提案する。 暗号的コミットメントから導かれる決定論的指標識別は、両方のチェーン上のクラスレジストリにミラーされ、ミント時間でチェックされ、構成によるセマンティックミキシングが防止される。 原子性のために、我々はハッシュ時間ロック契約(HTLC)を2つの交換所から単一所有者への転送に拡張し、宛先要求後のソースエスクローを燃やす自動コールバックと、フォールバックを相手の送信者に対してもインセンティブに適合させるプロトコル最小の報奨金を行う。 我々は、TLCによるプロトコルの不変性(供給保存は有理モニタの仮定なしで失敗し、それを保持する)をマシンでチェックし、Axelar GMP上でPolygonとNeutronのメインネット上で双方向のプロトタイプを検証する。 また、Cosmosが生み出したメッセージの統合障害モードも文書化しています。

関連論文リスト

• SILMARILS-MV: Information-Theoretically Secure Multi-Verifier Signatures with Dealer-Free Key Issuance and Linear Aggregation for Permissioned Blockchains [5.44675196576365]
  SILMARILS-MV はベクトル $= A,e(m)$ であり、各検証子は、誰も学ばない仮想アンカーから派生した秘密の機能 $c_i = T (x_i) を保持する。 100バリデータを持つRust HotStuffのプロトタイプでは、SILMARILS-MVはML-DSA-44よりも毎秒2.8倍、暗号CPUは67倍、モンテカルロ攻撃はバウンダリにマッチする。
  論文  参考訳（メタデータ） (2026-10-22T18:52:14Z)
• Bridging the Opacity: Evidence-Backed Cross-Chain Transaction Correspondence Reconstruction Across Heterogeneous Blockchains [69.29257298191438]
  クロスチェーンブリッジは相互運用を可能にするが、不正な資金の追跡に必要なトランザクションパスも破壊する。 サードパーティの調査員は通常、ブリッジバックエンドが保持するソース・ツー・デスティネーションマッピングにアクセスすることができない。 我々は,クロスチェーントランザクション通信を再構築するエビデンス駆動システムであるXSplicerを提案する。
  論文  参考訳（メタデータ） (2026-09-16T05:38:42Z)
• Internalising the Identity Primitive: Cryptographic Individuality for an Autonomous Agent on a Public Blockchain [0.0]
  パブリックブロックチェーン上のソフトウェアエージェントは、権限と経済的所有権を蓄積する。 この論文の中心的な貢献は、エージェントアイデンティティーのキーからウェイトへのバインドに対する信頼の根のシフトである。 我々は、神経ネットワークの重みが秘密鍵の決定論的機能であるエージェントであるSolana devnetを設計し、デプロイする。
  論文  参考訳（メタデータ） (2026-08-04T00:47:13Z)
• GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
  マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。 バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。 パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
  論文  参考訳（メタデータ） (2026-04-27T11:34:21Z)
• Sedna: Sharding transactions in multiple concurrent proposer blockchains [42.71280924071485]
  Sednaは、単純なトランザクションレプリケーションを検証可能な、レートレスなコーディングに置き換える、ユーザ対応のプロトコルです。 我々は,Sednaが生かさとインフンチル・デコードプライバシーを保証することを証明し,MEV曝露を著しく低減した。
  論文  参考訳（メタデータ） (2025-12-18T20:12:55Z)
• Validated Strong Consensus Protocol for Asynchronous Vote-based Blockchains [4.79997217554732]
  投票ベースのブロックチェーンは、Byzantine Fault Toleranceコンセンサスプロトコルを使用して、ある状態から別の状態へ移行する。 本稿では,非同期環境におけるリーダベースの協調を可能にする,強大なBFTコンセンサスモデルを提案する。 我々のプロトコルはメッセージの複雑さを大幅に減らし、しきい値のシグネチャに頼ることなく線形ビューの変更を実現する最初のプロトコルです。
  論文  参考訳（メタデータ） (2024-09-12T15:54:40Z)
• The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
  本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。 Aptosのメインネットからの測定によると、楽観的なアプローチは遅延オーバーヘッドを71%削減する。
  論文  参考訳（メタデータ） (2024-07-16T20:53:04Z)
• Your Trust, Your Terms: A General Paradigm for Near-Instant Cross-Chain Transfer [26.61748905524824]
  セキュアで高性能なクロスチェーン決済を実現するために、Delegated Ownership Transfer(DOT)パラダイムを導入します。 DOTは、キーオーナシップをバリューオーナシップから切り離して、セキュアで高性能なクロスチェーン支払いを可能にする。 プロトタイプでは、クロスチェーン支払いは16.70ms以下で、原子スワップは33.09ms以下で完了しており、コストはLayer-1ガス料金から完全に切り離されている。
  論文  参考訳（メタデータ） (2024-03-22T13:21:09Z)

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

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