作为通用图灵机的自复制币
密码学与安全
2018-06-27 v1
摘要
区块链系统中智能合约语言的图灵完备性常与多种语言特性（如循环）相关联。相反，我们表明，区块链系统的图灵完备性可通过展开多个交易与区块之间的递归调用实现，而非使用单一交易。我们通过在使用未花费交易输出（UTXO）模型的一小组语言特性下构造一个简单的通用图灵机来证明这一点，并显式给出了输入与输出交易状态之间的关系。该方法既不需要无界循环，也不需要可能无限的验证时间。
引用
@article{arxiv.1806.10116,
title = {Self-Reproducing Coins as Universal Turing Machine},
author = {Alexander Chepurnoy and Vasily Kharin and Dmitry Meshkov},
journal= {arXiv preprint arXiv:1806.10116},
year = {2018}
}