5 papers · 1 filter
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…
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…
Smart Contract Languages: a comparative analysis
Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi +11
Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart con…
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.…