SatoshiVM可验证一切比特币执行追踪函数公式，拓展比特币的易用性，与此同时仍然使用比特币共识法律效力。下边，使我们深层次来说SatoshiVM架构。从零开始的自主创新一直充满激情，SatoshiVM也是如此。但是，大家赏析BitVM的突破，特别是其PoC布署—Tapleaf电源电路。也正是因为这种自主创新，SatoshiVM的美好愿景才最终如愿以偿。
BitVM表明，一切函数公式执行的合法性都能在比特币上进行。这涉及到两种角色：prover(证明者)和verifier(验证者)。prover递交函数输入输出，验证者通过诈骗证实来决定prover的准确性。这一切都在比特币中进行。
每一个函数公式最后都可以用最基本逻辑门(logic gates)来达到，Tapleaf电源电路(Bifrost方式)采用了布尔运算(boolean)电源电路。它在比特币上转换为Taproot脚本制作，最后验证函数执行。
基于上述观念和机制，SatoshiVM引入了一种更有效的解决方案。这将验证全过程减少至2个能够按照时间顺序执行事务：bit承诺和验证。这就需要使用时长锁脚原本衡量验证环节中的时间差，最后从总体上考虑到验证结论实效性。
在具体执行中，可以通过观察哪一方最后付了对应的taproot UTXOs(未耗费买卖开支)来决定prover是否存在恶意行为。只有在与bit承诺和验证相对应UTXOs都已经被prover付款时，一个验证才会被证实是合理的。
由于这类验证全过程在比特币上是透明的，每一个最后验证结论都能够由第三方人群确定。最后被递交给必须验证的相应源，进而容许后面实际操作。在克服了比特币买卖执行合法性的验证以后，另一个挑战是排序器在L2块内是否可以再次排序买卖。因此，大家引入了SVMZK，一个用于非互动式零知识(NIZK)证明工具箱，以推动向比特币高效率递交简约结论。
SVMZK是所有架构的重要构成部分。应用SVMZK里的加减法和分析优化算法，能通过较为排序器及验证者内存池里的买卖总数来验证L2块中买卖包的合法性。
下一篇：最后一页
