Aggelos Kiayias and Orfeas Stefanos Thyfronitis Litos
parameterized by an update function$ U
A key technical contribution: a generic way to capture side effects on the blockchain
model a hybrid world where ideal functionalities and blockchain smart contracts interact, i.e. an ideal functionality can read from and post messages to the blockchain and invoke smart contract methods.
This notion is a natural extension of the global ledger functionality (Bitcoin as a Transaction Ledger), which models the blockchain as a shared resource accessible in both the real and ideal worlds and the commonly-used “coins” model, in which ideal functionalities and parties can both send and receive money
operate with coins.
a synchronous version of the global UC framework (GUC)