本文深入探讨了比特币脚本的潜力，重点介绍了Lamport签名如何作为全局键值对存储，在不影响交易ID的情况下承诺唯一数值，从而实现更灵活和高效的链上计算。文章还讨论了BitVM如何利用这些特性，将复杂计算分解为多个交易，并通过反模棱两可的特性来保证程序的正确执行，最后，通过三子棋的例子，展示了如何使用Lamport签名优化链上游戏。
BitVM2 是一种对初版 BitVM 的改进，允许任何人作为验证者参与，优化了信任假设，并简化了设计，将审判的最长轮次降低到两轮。文章介绍了 BitVM2 的原理，通过 Lamport 签名将程序分割成多个步骤，并使用 Taptree 包含多个脚本来验证计算的正确性，同时还讨论了手续费和诚实操作员的局限性，并提供了相应的解决方案。
BTCStudy