作者：Shinpbo，Bitcoin Magazine； 翻译：金色财经cryptonaitive

　　害怕巫师（注：有能力使用魔法的人类）。不是那些巫师，这些是真正的巫师。

　　ZeroSync是一个通过使用零知识证明来扩展比特币的协会。近日ZeroSync开发者Robin Linus发布新的比特币提案BitVM，BitVM为未来比特币应用程序开发打开了非常有趣的大门。BitVM可以启用几乎任意的计算，并利用该计算来强制执行比特币链上的操作。

　　BitVM不需要对比特币进行任何共识更改。诀窍在于将所有这些逻辑移至链下，并且如果对方声称不诚实的结果，能够在链上挑战计算的一些步骤。简而言之，BitVM将以一种可执行的方式，即时地将任意的图灵完备计算引入比特币。

　　为了真正理解该提案背后的机制，我们需要了解一些有关计算的物理和逻辑基础知识。

　　每个人都知道，计算机内部只是传递各个1和0来执行所有操作，但这是如何工作的呢？这意味着什么？计算机中的每个芯片核心都由数百万或数十亿个逻辑门组成。

　　这些小设备接收一个或两个信息位（1或0）作为输入，并对它们执行简单的逻辑操作，以产生1或0的输出，然后将其馈送到下一个逻辑门中。

　　有许多不同类型的逻辑门，有些只是接收一个位并输出相同的数字（ buffer gate，缓冲门）。其他的接收一个位，并输出与接收到的相反的值（NOT门）。有些接收两个位，并且当两个输入位都是1时输出1，其他任何组合输出0（AND门）。最后，至少在下面的示例列表中，有一个门接收两个位，并在两个输入都是1时输出0，并在所有其他位组合上输出1（NAND门）。

NAND门真值表

　　NAND门的有趣之处在于你可以仅使用NAND门构建任何其他类型的逻辑门。它肯定不像只制作其他门的特殊版本那样高效，但它能完成任务。因此，鉴于你可以用NAND门构建任何逻辑门，你可以用NAND门构建任意计算的电路。

　　现在，如何使用现有的比特币脚本构建一个NAND门呢？用哈希锁和另外两个你可能不熟悉的操作码：OP_BOOLAND和OP_NOT。

　　首先，让我们看看哈希锁。创建一个分支脚本（branching script），可以通过两种方式之一花费，揭示哈希锁A的preimage，或者揭示哈希锁B的preimage。路径A会在堆栈上放置数字1，而路径B会放置数字0。