本文讨论了如何使用 CTV（CheckTemplateVerify）和 CSFS (Constrained Script-based Funds Source) 来改进 BitVM 桥，主要包括：使用 CTV 可以消除对预签名承诺交易的需求，并且不需要诚实参与者的安全假设，从而提高安全性；CSFS 可以显著提高资本效率并降低启动负担；同时，非硬化的密钥派生也成为可能，简化了资金锁入的流程。
BitVM2 是一种对初版 BitVM 的改进，允许任何人作为验证者参与，优化了信任假设，并简化了设计，将审判的最长轮次降低到两轮。文章介绍了 BitVM2 的原理，通过 Lamport 签名将程序分割成多个步骤，并使用 Taptree 包含多个脚本来验证计算的正确性，同时还讨论了手续费和诚实操作员的局限性，并提供了相应的解决方案。
该UMIP提议向DVM添加对IS_RELAY_VALID价格请求的支持，通过验证来自Optimism或Arbitrum的桥接合约的 relay 请求，使用户能够快速将资金从L2转回L1，从而避免与rollup相关的漫长等待期。验证过程涉及多个合约的交互，包括BridgePool、BridgeAdmin等，以及对事件数据的核对。如果relay无效，价格应为0，否则为1。
BTCStudy
UMAprotocol