30 citations · 65 across the 12 of their papers we have counts for
3 papers · 2 filters
DeFi composability as MEV non-interference
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Complex DeFi services are usually constructed by composing a variety of simpler smart contracts. The permissionless nature of the blockchains where these smart contracts are execut…
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.…
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…