Information Flow Control in Off-Chain Components
- URL: http://arxiv.org/abs/2608.26858v1
- Date: Thu, 27 Aug 2026 09:24:20 GMT
- Title: Information Flow Control in Off-Chain Components
- Abstract summary: This paper develops a model of a smart-contract language for a blockchain architecture with off-chain components.<n>Off-chain components are pieces of smart contracts that execute at designated locations outside of the network of blockchain nodes.<n>We study the problem of ensuring integrity and secrecy of data between the on-chain and off-chain components.
- Score: 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.
Related papers
- Exploring Blockchain Interoperability: Frameworks, Use Cases, and Future Challenges [3.851117907221546]
Many applications are moving to blockchain adoption, enabling users to work in a trustworthy manner.<n>As more and more entities move their applications to the blockchain, they generate large volumes of data.<n>This has led to the research and development of interoperable solutions allowing blockchains to connect together.
arXiv Detail & Related papers (2026-01-06T11:46:29Z) - BridgeShield: Enhancing Security for Cross-chain Bridge Applications via Heterogeneous Graph Mining [41.291205709614026]
Cross-chain bridges play a vital role in enabling blockchain interoperability.<n>Due to the inherent design flaws and the enormous value they hold, they have become prime targets for hacker attacks.<n>Existing detection methods mainly address single-chain behaviors and fail to capture cross-chain semantics.<n>We propose BridgeShield, a detection framework that jointly models the source chain, off-chain coordination, and destination chain within a unified graph representation.
arXiv Detail & Related papers (2025-08-28T07:59:20Z) - BlockScan: Detecting Anomalies in Blockchain Transactions [16.73896087813861]
BlockScan is a customized Transformer for anomaly detection in blockchain transactions.<n>This work sets a new benchmark for applying Transformer-based approaches in blockchain data analysis.
arXiv Detail & Related papers (2024-10-05T05:11:34Z) - Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs [0.820828081284034]
In a distributed setting, transmitted data will be structured using standards for semantic interoperability.
We propose the encoding of smart contract logic using a high-level semantic Knowledge Graph.
We show that it is feasible to automatically generate smart contract code based on a semantic KG.
arXiv Detail & Related papers (2024-09-11T13:46:24Z) - Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs [0.716879432974126]
We propose an oracle with an off-chain aggregation mechanism based on ZeroKnowledge Succinct Non-interactive Arguments of Knowledge (zk-SNARKs) to facilitate cross-blockchain communication.
The proposed solution only requires constant 378 kgas to submit data on the blockchain and is primarily independent of the underlying technology of the queried blockchains.
arXiv Detail & Related papers (2024-05-14T07:48:19Z) - Blockchains for Internet of Things: Fundamentals, Applications, and Challenges [38.29453164670072]
Not every blockchain system is suitable for specific IoT applications.
Public blockchains are not suitable for storing sensitive data.
We explore the blockchain's application in three pivotal IoT areas: edge AI, communications, and healthcare.
arXiv Detail & Related papers (2024-05-08T04:25:57Z) - Enhancing Trust and Privacy in Distributed Networks: A Comprehensive Survey on Blockchain-based Federated Learning [51.13534069758711]
Decentralized approaches like blockchain offer a compelling solution by implementing a consensus mechanism among multiple entities.
Federated Learning (FL) enables participants to collaboratively train models while safeguarding data privacy.
This paper investigates the synergy between blockchain's security features and FL's privacy-preserving model training capabilities.
arXiv Detail & Related papers (2024-03-28T07:08:26Z) - Atomicity and Abstraction for Cross-Blockchain Interactions [2.041399528183464]
Current methods for multi-chain atomic transactions are limited in scope to cryptocurrency swaps.
We first define a uniform, high-level interface for communication between chains.
We then formulate a protocol that guarantees atomicity for general transactions whose operations may span several chains.
arXiv Detail & Related papers (2024-03-12T02:13:29Z) - Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence (GAI) has emerged as a promising solution to address challenges of blockchain technology.
In this paper, we first introduce GAI techniques, outline their applications, and discuss existing solutions for integrating GAI into blockchains.
arXiv Detail & Related papers (2024-01-28T10:46:17Z) - SoK: Security of Cross-chain Bridges: Attack Surfaces, Defenses, and Open Problems [43.80265187232706]
Cross-chain bridges are used to facilitate token and data exchanges across blockchains.
Although bridges are becoming increasingly popular, they are still in their infancy and have been attacked multiple times recently.
This paper analyzes the security landscape of cross-chain bridges in a holistic manner.
arXiv Detail & Related papers (2023-12-19T20:13:21Z) - Quantum-resistance in blockchain networks [46.63333997460008]
This paper describes the work carried out by the Inter-American Development Bank, the IDB Lab, LACChain, Quantum Computing (CQC), and Tecnologico de Monterrey to identify and eliminate quantum threats in blockchain networks.
The advent of quantum computing threatens internet protocols and blockchain networks because they utilize non-quantum resistant cryptographic algorithms.
arXiv Detail & Related papers (2021-06-11T23:39:25Z) - Selective Deletion in a Blockchain [0.0]
We present the first concept for the selective deletion of single entries in a blockchain.
The general consensus algorithm is extended by the functionality of regularly creating summary blocks.
With a shifting marker of the Genesis Block, data can be deleted from the beginning of a blockchain.
arXiv Detail & Related papers (2021-01-14T08:06:37Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.