5 papers
A formal framework for the economic security of DeFi compositions
Massimo Bartoletti, Riccado Marchesin, Roberto Zunino
Decentralized Finance (DeFi) services are usually constructed by composing a variety of smart contracts. While composability is a key driver of the success of DeFi, it also creates…
Certifying optimal MEV strategies with Lean
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Maximal Extractable Value (MEV) refers to a class of attacks to decentralized applications where the adversary profits by manipulating the ordering, inclusion, or exclusion of tran…
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
Dario Maddaloni, Riccardo Marchesin, Roberto Zunino
We consider the execution of smart contracts on Bitcoin. There, every contract step corresponds to appending to the blockchain a new transaction that spends the output representing…
Scalable UTXO Smart Contracts via Fine-Grained Distributed State
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
UTXO-based smart contract platforms face an efficiency bottleneck, in that any transaction sent to a contract must specify the entire updated contract state. This requirement becom…
Secure compilation of rich smart contracts on poor UTXO blockchains
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
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.…