论文标题
比特币合同的重新谈判和递归
Renegotiation and recursion in Bitcoin contracts
论文作者
论文摘要
BITML是表达可以在比特币上运行的智能合约的过程计算。目前的限制之一是，一旦规定了合同，参与者将无法重新谈判其条款：这可以防止表达共同的金融合同，在此期间，参与者必须在运行时间内添加资金。在本文中，我们扩展了BITML，并具有新的合同重新谈判的原始原始性。同时，新的原始性可用于编写递归合同，这在原始BITML中是不可能的。我们表明，尽管表现力提高，但仍然可以对标准比特币执行BITML，从而保留BITML的安全保证。
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.
