新的机会：图灵完备的智能合约登陆比特币

room

ZeroSync 开发者 Robin Linus发表了一篇关于比特币协议 BitVM 的论文，该协议能够处理图灵完备的智能合约。十年来，以太坊凭借图灵完备性将自己与比特币区分开来——这被称为“比特币脚本历史上最令人兴奋的发现”，比特币最大化主义
者现在可以构建图灵完备的智能合约。

如果计算机程序可以使用任意类型的计算来找到任何计算问题的答案，那么它就是图灵完备的。图灵完备的智能合约可以运行任何计算机请求的逻辑，例如加法、乘法、存储/写入、检索/读取、擦除/删除、if-else 条件、返回语句等，并产生此类计算机的结果程序。

BitVM 协议是比特币虚拟机的缩写，它使用零知识证明来压缩区块链外的数据处理，然后将结果提交给 Taproot 比特币交易，以供矿工和节点进行最终验证。这样一来，BitVM 就类似于以太坊的 roll-up。

Linus以“任何可计算函数都可以在比特币上验证”的口号宣布了该协议。
原文链接

room

BitVM 协议的技术细节

该协议不需要软分叉或硬分叉来激活。BitVM 已经活跃，不需要改变比特币的共识规则。

BitVM 仅要求比特币验证 BitVM 生成的最终欺诈证明的真实性或虚假性。

BitVM（是的，可以有很多虚拟机）基于 NAND 门或逻辑门，如果接收到两个“1”位，则仅产生“0”位。与非门可以产生所有其他类型的逻辑门。尽管 NAND 门效率较低，但它们对于任意类似计算的应用程序很有用。

BitVM 使用比特币区块链上智能合约的三个基本操作：签名、时间锁和哈希锁操作。

例如，它使用散列锁以及 OP_BOOLAND 和 OP_NOT 代码来生成 NAND 门。哈希锁加上这两个操作码可以单独获取一位输入，并根据输入是“1”还是“0”生成一位输出。

OP_BOOLAND 和 OP_NOT 生成的两个位可以发送到另一个名为 OP_EQUALVERIFY 的操作码。如果 OP_EQUALVERIFY 无法验证该位是否与所需输出匹配，则验证声明的尝试将被拒绝。

同样，与非门允许需要回答两个“是或否”问题的应用。当与将其他问题的答案合并为两个输入的操作码结合使用时，请考虑 BitVM 的一个简单示例：托管智能合约。

room

比特币虚拟机的简单示例

将上述技术能力放在一起，考虑有人将比特币发送到 BitVM 合约地址。这个 BitVM 将是一个智能合约：一种托管支付服务。

一系列非常简单的 NAND 门可以自动托管传入的比特币一定数量的区块。一个门可以通过回答以下问题来产生最后的“1”位中的第一个：“时间锁中有钱吗？” 然后，如果交易对手随后在该时间内继续完成交易，则另一个 NAND 门可以创建另一个“1”位。满足托管条款后，预期接收者将从托管处收到付款。另一方面，如果托管在交易对手完成交易之前到期，则网关会输出“0”位，付款人将收到退款。

比特币爱好者已经在尝试其他类型的 BitVM。Linus 的白皮书建议了一些介绍性应用，例如需要至少两名玩家的游戏，如国际象棋或扑克。具有明确规则集、数据和计算要求的游戏允许玩家就简单的规则达成一致，并通过 BitVM 协议防止作弊。

其他可能的应用包括连接其他区块链、预测市场或模拟比特币操作码。