3 papers
cs.CR2025
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…
cs.CR2025
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…
cs.CR2025
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…