作者：SatoshiVM，翻译：金色财经xiaozou

SatoshiVM可验证**比特币执行跟踪函数，扩展比特币的可用性，同时仍然使用比特币的共识效力。

下面，让我们深入来看SatoshiVM框架。

从零开始的创新总是充满挑战，SatoshiVM也不例外。然而，我们欣赏BitVM的创新，特别是其PoC部署—Tapleaf电路。正是由于这些创新，SatoshiVM的愿景才得以成真。

BitVM表示，**函数执行的合法性都可以在比特币上实现。这涉及到两个角色：prover（证明者）和verifier（验证者）。prover提交函数的输入和输出，验证者通过欺诈证明来确定prover的正确性。这一切都在比特币上进行。

每个函数**都可以使用最基本的逻辑门（logic gates）来实现，Tapleaf电路（Bifrost形式）使用了布尔（boolean）电路。它们在比特币上转换为Taproot脚本，**验证函数的执行。

基于上述思想和机制，SatoshiVM引入了一种更有效的解决方案。它将验证过程减少至两个可以按时间顺序执行的事务：bit承诺和验证。这就需要使用时间锁脚本来度量验证过程中的时间差，**从整体上考虑验证结果的有效性。

在实际执行中，可以通过观察哪一方**支付了相应的taproot UTXOs（未花费交易支出）来确定prover是否有恶意行为。只有当与bit承诺和验证相对应的UTXOs都被prover支付时，一个验证才被证明是合法的。

由于这些验证过程在比特币上是透明的，每个**验证结果都可以由第三方群体确认。结果被提交给需要验证的相应源，从而允许后续操作。

在解决了比特币交易执行合法性的验证之后，另一个挑战是排序器在L2块内是否可重新排序交易。所以，我们引入了SVMZK，一个用于非交互式零知识（NIZK）证明的工具包，以促进向比特币**提交简洁结果。

SVMZK是整个框架的关键组成部分。使用SVMZK中的减法和比较算法，可以通过比较排序器和验证者内存池中的交易数量来验证L2块中交易包的合法性。