Information Flow Control in Off-Chain Components

2026-08-27

AI Summary

本文研究了链下组件中的信息流控制问题，使用静态信息流控制技术来确保链上和链下组件间数据的完整性和保密性。

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.

Problem

• Information Flow Control
• Off-Chain Components
• Smart Contracts
• Blockchain

Innovation

• off-chain components
• information flow control
• blockchain architecture
• smart-contract language
• data integrity and secrecy