Secure compilation of rich smart contracts on poor UTXO blockchains

arXiv:2305.09545v3 Announce Type: replace
Abstract: Most blockchain platforms from Ethereum onwards render smart contracts as stateful reactive objects that update their state and transfer crypto-assets in response to transactions. A drawback of this design is that when users submit a transaction, they cannot predict in which state it will be executed. This exposes them to transaction-ordering attacks, a widespread class of attacks where adversaries with the power to construct blocks of transactions can extract value from smart contracts (the so-called …

arxiv assets blockchain blockchains contracts crypto cs.cr design ethereum platforms poor predict response smart smart contracts state transaction transactions transfer update