Preprint
Aug 2026
Information Flow Control in Off-Chain Components
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 ch...
S. Lybech, Eun-Young Kang, Riccardo Tonello et al.
· 0 citations