TapTree

本文介绍了 Ark v2，旨在解决 Ark 构造中的流动性锁定问题。Ark v2 允许服务供应商（ASP）回收流动性而无需等待过期时间，通过引入撤销机制，类似于闪电通道，用户通过揭晓私钥来撤销通道状态，ASP 聚合这些私钥以回收流动性，从而提高效率。

Ark v2 旨在解决 Ark 网络中流动性锁定的问题。通过引入新的 TapTree 结构和撤销机制，允许服务提供商在用户花费其 vTXO 后，无需等待到期日即可回收流动性。这种设计借鉴了 Lightning 网络的撤销方案，并利用零知识证明来验证大规模的撤销分支。

BitVM2 是一种对初版 BitVM 的改进，允许任何人作为验证者参与，优化了信任假设，并简化了设计，将审判的最长轮次降低到两轮。文章介绍了 BitVM2 的原理，通过 Lamport 签名将程序分割成多个步骤，并使用 Taptree 包含多个脚本来验证计算的正确性，同时还讨论了手续费和诚实操作员的局限性，并提供了相应的解决方案。