論文の概要: Information Flow Control in Off-Chain Components
- arxiv url: http://arxiv.org/abs/2608.26858v1
- Date: Thu, 27 Aug 2026 09:24:20 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-28 16:30:58.326738
- Title: Information Flow Control in Off-Chain Components
- Title（参考訳）: オフチェーンコンポーネントにおける情報フロー制御
- Abstract要約: 本稿では,オフチェーンコンポーネントを用いたブロックチェーンアーキテクチャのためのスマートコントラクト言語のモデルを開発する。
オフチェーンコンポーネントは、ブロックチェーンノードのネットワーク外の指定された場所で実行されるスマートコントラクトの一部です。
オンチェーンコンポーネントとオフチェーンコンポーネント間のデータの整合性と機密性の確保の問題について検討する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This paper develops a model of a smart-contract language for a blockchain architecture with off-chain components. Off-chain components are pieces of smart contracts that execute at designated locations outside of the network of blockchain nodes, but remain synchronised with the on-chain contract state. They react to changes to the on-chain state, but may also notify the on-chain component about events in the world, e.g. stock prices, weather data etc., or even act as a bridge between different blockchains. This affords greater flexibility for the developer, but may also enable new vulnerabilities. As a concrete example, we use the model to study the problem of ensuring integrity and secrecy of data between the on-chain and off-chain components, using static information flow control techniques. This fails, even in the absence of a loop construct, because off-chain components act as separate threads and can encode a blocking construct e.g. through recursive method calls. We end the paper with a discussion of possible ways to remedy this situation.
- Abstract（参考訳）: 本稿では,オフチェーンコンポーネントを用いたブロックチェーンアーキテクチャのためのスマートコントラクト言語のモデルを開発する。
オフチェーンコンポーネントは、ブロックチェーンノードのネットワーク外の指定された場所で実行されるスマートコントラクトの一部だが、オンチェーンのコントラクト状態と同期している。
オンチェーン状態の変更に反応するが、世界中のイベントや株価、天気予報などのオンチェーンコンポーネントを通知したり、あるいは異なるブロックチェーン間のブリッジとして機能することもある。
これにより、開発者の柔軟性が向上すると同時に、新たな脆弱性も実現される可能性がある。
具体例として、静的情報フロー制御技術を用いて、オンチェーンとオフチェーンコンポーネント間のデータの整合性と機密性の確保をモデルを用いて検討する。
オフチェーンコンポーネントが別々のスレッドとして機能し、再帰的なメソッド呼び出しを通じてブロッキングコンストラクトegをエンコードできるためである。
我々はこの状況を治療する方法を議論して、その論文を締めくくります。
関連論文リスト
- Exploring Blockchain Interoperability: Frameworks, Use Cases, and Future Challenges [3.851117907221546]
多くのアプリケーションがブロックチェーンの採用に移行しており、ユーザーは信頼できる方法で作業できる。
ますます多くのエンティティがアプリケーションをブロックチェーンに移行するにつれて、大量のデータを生成する。
これにより、ブロックチェーンを連携させる相互運用可能なソリューションの研究と開発につながった。
論文 参考訳（メタデータ） (2026-01-06T11:46:29Z) - BridgeShield: Enhancing Security for Cross-chain Bridge Applications via Heterogeneous Graph Mining [41.291205709614026]
ブロックチェーンの相互運用性を実現する上で、ブロックチェーンブリッジは重要な役割を果たす。
本質的に設計上の欠陥と、それらが持つ膨大な価値のため、ハッカー攻撃の標的となっている。
既存の検出方法は、主に単一チェーンの振る舞いに対処し、クロスチェーンのセマンティクスをキャプチャできない。
我々はBridgeShieldを提案する。BridgeShieldは、ソースチェーン、オフチェーンコーディネーション、デスティネーションチェーンを統一グラフ表現内で共同でモデル化するフレームワークである。
論文 参考訳（メタデータ） (2025-08-28T07:59:20Z) - BlockScan: Detecting Anomalies in Blockchain Transactions [16.73896087813861]
BlockScanはブロックチェーントランザクションの異常検出用にカスタマイズされたTransformerである。
この研究は、ブロックチェーンデータ分析にTransformerベースのアプローチを適用するための新しいベンチマークを設定する。
論文 参考訳（メタデータ） (2024-10-05T05:11:34Z) - Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs [0.820828081284034]
分散環境では、送信されたデータはセマンティック相互運用性の標準を使って構成されます。
本稿では,高レベルな意味知識グラフを用いたスマートコントラクト論理の符号化を提案する。
セマンティックなKGに基づいてスマートコントラクトコードを自動的に生成できることを示す。
論文 参考訳（メタデータ） (2024-09-11T13:46:24Z) - Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs [0.716879432974126]
本稿では,ZeroKnowledge Succinct Non-interactive Arguments of Knowledge (zk-SNARKs)に基づくオフチェーンアグリゲーション機構を持つオラクルを提案する。
提案されたソリューションは、ブロックチェーンにデータを送信するために、常に378kgasしか必要とせず、主にクエリされたブロックチェーンの基盤技術とは独立している。
論文 参考訳（メタデータ） (2024-05-14T07:48:19Z) - Blockchains for Internet of Things: Fundamentals, Applications, and Challenges [38.29453164670072]
すべてのブロックチェーンシステムが、特定のIoTアプリケーションに適しているわけではない。
パブリックブロックチェーンは機密データを格納するのに適していない。
ブロックチェーンのアプリケーションを、エッジAI、通信、ヘルスケアの3つの重要なIoT領域で調査する。
論文 参考訳（メタデータ） (2024-05-08T04:25:57Z) - Enhancing Trust and Privacy in Distributed Networks: A Comprehensive Survey on Blockchain-based Federated Learning [51.13534069758711]
ブロックチェーンのような分散型アプローチは、複数のエンティティ間でコンセンサスメカニズムを実装することで、魅力的なソリューションを提供する。
フェデレートラーニング(FL)は、参加者がデータのプライバシを保護しながら、協力的にモデルをトレーニングすることを可能にする。
本稿では,ブロックチェーンのセキュリティ機能とFLのプライバシ保護モデルトレーニング機能の相乗効果について検討する。
論文 参考訳（メタデータ） (2024-03-28T07:08:26Z) - Atomicity and Abstraction for Cross-Blockchain Interactions [2.041399528183464]
マルチチェーンのアトミックトランザクションの現在の方法は、暗号スワップの範囲に限られている。
まず、チェーン間の通信のための一様で高レベルなインターフェースを定義する。
次に、操作が複数の連鎖にまたがる一般的なトランザクションに対して原子性を保証するプロトコルを定式化する。
論文 参考訳（メタデータ） (2024-03-12T02:13:29Z) - Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳（メタデータ） (2024-01-28T10:46:17Z) - SoK: Security of Cross-chain Bridges: Attack Surfaces, Defenses, and Open Problems [43.80265187232706]
ブロックチェーン間のトークンとデータ交換を容易にするために、クロスチェーンブリッジが使用されている。
橋は人気が高まりつつあるが、まだ幼少期であり、最近は何度も攻撃を受けている。
本稿では,クロスチェーンブリッジのセキュリティ状況を概観的に分析する。
論文 参考訳（メタデータ） (2023-12-19T20:13:21Z) - Quantum-resistance in blockchain networks [46.63333997460008]
本稿では、ブロックチェーンネットワークにおける量子脅威を特定し、排除するために、米国間開発銀行、IDBラボ、LACChain、量子コンピューティング(CQC)、Tecnologicalo de Monterreyによる研究について述べる。
量子コンピューティングの出現は、非量子耐性暗号アルゴリズムを利用するため、インターネットプロトコルやブロックチェーンネットワークを脅かす。
論文 参考訳（メタデータ） (2021-06-11T23:39:25Z) - Selective Deletion in a Blockchain [0.0]
ブロックチェーンにおける単一エントリの選択的削除に関する最初の概念を提示する。
一般的なコンセンサスアルゴリズムは、定期的に要約ブロックを作成する機能によって拡張される。
Genesis Blockのシフトマーカーを使えば、ブロックチェーンの最初からデータを削除できる。
論文 参考訳（メタデータ） (2021-01-14T08:06:37Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。