Skip to Main content Skip to Navigation
Conference papers

Renegotiation and Recursion in Bitcoin Contracts

Abstract : BitML is a process calculus to express smart contracts that can be run on Bitcoin. One of its current limitations is that, once a contract has been stipulated, the participants cannot renegotiate its terms: this prevents expressing common financial contracts, where funds have to be added by participants at run-time. In this paper, we extend BitML with a new primitive for contract renegotiation. At the same time, the new primitive can be used to write recursive contracts, which was not possible in the original BitML. We show that, despite the increased expressiveness, it is still possible to execute BitML on standard Bitcoin, preserving the security guarantees of BitML.
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, June 29, 2021 - 4:13:20 PM
Last modification on : Tuesday, June 29, 2021 - 4:30:36 PM
Long-term archiving on: : Thursday, September 30, 2021 - 7:14:38 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Massimo Bartoletti, Maurizio Murgia, Roberto Zunino. Renegotiation and Recursion in Bitcoin Contracts. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.261-278, ⟨10.1007/978-3-030-50029-0_17⟩. ⟨hal-03273996⟩



Record views