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…
A theoretical basis for MEV
Massimo Bartoletti, Roberto Zunino
Maximal Extractable Value (MEV) refers to a wide class of economic attacks to public blockchains, where adversaries with the power to reorder, drop or insert transactions in a bloc…
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…