比特币合约中的重新协商与递归
密码学与安全
2020-04-23 v2 编程语言
摘要
BitML 是一种用于表达可在比特币上运行的智能合约的进程演算。其当前的局限性之一是，一旦合约被约定，参与者无法重新协商其条款：这阻碍了表达常见的金融合约，其中资金需在运行时由参与者追加。在本文中，我们扩展了 BitML，引入了一种用于合约重新协商的新原语。同时，该新原语可用于编写递归合约，而这在原始 BitML 中是不可能的。我们表明，尽管表达力增强，仍可在标准比特币上执行 BitML，并保持 BitML 的安全保证。
引用
@article{arxiv.2003.00296,
title = {Renegotiation and recursion in Bitcoin contracts},
author = {Massimo Bartoletti and Maurizio Murgia and Roberto Zunino},
journal= {arXiv preprint arXiv:2003.00296},
year = {2020}
}
备注
Full version of the paper presented at COORDINATION 2020