1 paper
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…