比特虚拟机：但是它能运行毁灭战士吗？

比特虚拟机：它能运行《毁灭战士》吗？

《忍者的稻草人（Strawman）》是我们的技术编辑忍者每周举行的系列活动，他挑战比特币社区，旨在引发关于激烈技术辩论的讨论。

______________________________________________________________

所以，某个完全自闭的新人从绝对无处可见的地方突然出现，并提出了一个我们现在可以毫不修改或分叉比特币进行的【疯狂的想法】，是吗？

真是太有比特币的特色了，罗宾。 （读者在继续之前可能至少应该试着阅读上面的这篇文章，看看它是否有助于你对BitVM的理解）

• 随着美国核心通胀数据的公布，比特币价格预测——牛市反转即将到来？
• 区块链分析师刚刚将这个新币添加到他们的投资组合中 – 他们知道些什么呢？
• 今天在DEXTools上最大的加密货币赢家 – LYNX，DEE，HOLD

虽然我认为这个想法的激动过度已经非常夸张，与现实脱节，但我仍然认为这是比特币历史上的一个重要时刻。在BitVM上构建东西的效率水平，以所需的Taproot树的大小和所需的预签名交易数量来衡量，绝对糟糕。至少对我来说，有一个非常开放的问题，那就是什么样的用例实际上会发现这种低效率是可以接受的交换条件来提供所需的保证，但可以实现的功能是巨大的。

已经提出了两个具体的想法，尽管在预签名交易和Taproot内部脚本的巨大离链成本方面，可能有意义的是为了获得BitVM可以提供的信任保证。

首先，一个新类型的双向钉扣，一个“哨兵钉扣”。可以设置一个联合边链，其中联合会将资金投入到强制执行边链逻辑的BitVM合约中。然后，每当他们处理提款时，他们必须向BitVM提供一个证明，以证明这是一个合法的提款。如果他们不这样做，作为监视塔功能的一组验证器可以在BitVM中没收联合会的资金。它提供了一种有趣的可能性，即在边链上保管资金的实体必须向外部方证明他们的行为是正确的，否则资金将被收走。这里与传统的可删除债券方案相比，新的动态在于仲裁删减发生的逻辑可以更加复杂，并且实际上是通过强制执行来验证的，而不是通过巧妙的密码学技巧或信任的另一层。

其次，UTXOracle。虽然这是一种非常棒的方法，可以用自己的节点无需信任地计算比特币的美元价格，但实际上没有办法以任何方式将这些数据“输入”到比特币脚本中，以在智能合约中可信地使用它们。BitVM提供了一种实现这一目标的方法。构建一个逻辑门电路以SPV验证比特币块（仅工作证明），实际的完整块可以被馈送到BitVM，并且通过足够长的字符串，你可以实际上在BitVM中使用UTXOracle逻辑，将合约的结果与从区块链派生的价格数据联系起来。

对于高价值的合约或边链来说，为了提供这些保证，可能值得付出几百兆字节，甚至一两个千兆字节的离链数据。总的来说，尽管BitVM并不能使比特币在一夜之间变成以太坊，而且进展可能会很缓慢和试验性，但它为如何使用比特币打开了一个全新的范例。

所以，就像上次一样，请发送你的想法、为了澄清对BitVM的理解提出的问题，或关于实际上可以用这个做什么的想法。我的私信是开放的，[email protected]是另一个选择。下周我会把一切都过一遍，希望我们都能更好地理解这个提议。

到下周。 

We will continue to update 算娘; if you have any questions or suggestions, please contact us!