Tapscript

该BIP（比特币改进提案）提出了两种新的Tapscript操作码OP_VAULT和OP_VAULT_RECOVER，旨在为比特币添加共识支持，实现一种专门的承诺（covenant）。这些操作码允许用户在指定资金可以花费到任意目的地之前强制执行一段延迟期，但可以通过预先指定的“恢复”路径随时取回资金，从而显著降低密钥泄露导致资金丢失的风险。

该文档详细描述了 Taproot 脚本验证的语义，包括对签名操作码的修改、多重签名策略的实现、以及资源限制的变化等。Tapscript通过软分叉进行升级，并引入了OP_SUCCESS操作码以实现更简洁的新操作码引入方式，旨在改进比特币脚本系统的灵活性和效率。

本文介绍了 Tapscript，它是对比特币脚本语言 Script 的升级版，建立在 Schnorr 签名的批量可验证性之上，并简化了新功能的添加。

本文档描述了将单个 Taproot Asset 发送到熟悉的 `bech32m` 地址的方法，以及将该地址映射到有效的 Taproot Asset 脚本树的方法，该脚本树可以包含在广播事务中以完成转移。一旦交易被广播，接收者可以使用已确认交易的先前输出点在他们选择的 Universe 中查找完整的资产证明。

Taproot 是比特币自 2017 年隔离见证（SegWit）升级以来的最大升级，它通过引入 Schnorr 签名、Taproot 和 Tapscript 等技术，提升了比特币的可扩展性、隐私性，并为未来的创新打开了大门，例如 Scriptless Scripts、MuSig、适配器签名、PTLC、DLC 等。

该提议旨在替代 BIP118 和 BIP119，通过引入新的 Tapscript 操作码 OP_TXHASH 和 OP_CHECKSIGFROMSTACK(VERIFY)，以一种综合的方式实现两种提议的功能，同时保持较低的风险。该提议试图解决社区对于 BIP118 和 BIP119 的一些批评，并为比特币脚本编程的未来发展提供更清晰的升级路径。

本文是作者关于Lisp替代比特币脚本的研究，探讨了使用Lisp作为tapscript替代方案的可能性。作者设计了一种名为btclisp的Lisp语言，并重复了Chia Lisp的大部分设计选择。文章还讨论了椭圆曲线密码学计算、交易内省、数字处理、序列化、开销控制以及中间状态处理等方面的问题，并提出了未来的工作方向。

本文介绍了基于 Ark 的 VTXO 范式实现的比特币虚拟通道技术，旨在实现高效、低成本的比特币支付通道。它通过将智能合约转移到链下，利用 Tapscript 封装多方合约，实现了比传统斯皮尔曼支付通道更优的方案。

该BIP提出了两种新的tapscript操作码 OP_VAULT 和 OP_VAULT_RECOVER，旨在通过结合 OP_CHECKTEMPLATEVERIFY 实现一种专门的限制条款（covenant），允许用户在资金被花费到任意目的地之前强制执行一段时延，期间资金可以被转移到预先指定的 “复原” 路径中。此举旨在降低私钥泄露的风险，并提供一种可证明的时间锁机制，以应对潜在的攻击。

该BIP (Bitcoin Improvement Proposal) 提议引入一个新的操作码 OP_CHECKOUTPUTSHASHVERIFY，用于Tapscript版本0。这个新的操作码可以用于交易拥塞控制和支付通道的实例化等。该操作码验证输出的 SHA256 双哈希是否与提供的值匹配，从而实现有限的智能合约功能，例如拥塞控制交易、通道工厂和钱包保险库，同时尽量减少对现有代码库的影响。

该BIP提议激活一个新的操作码OP_CHECKOUTPUTSHASHVERIFY，用于Tapscript版本0。

该提案引入了一种新的操作码 OP_CHECKOUTPUTSHASHVERIFY，用于Tapscript版本0。它通过验证输出的哈希值来实现对交易输出的限制，从而实现交易拥塞控制、支付通道实例化等功能。该操作码通过限制单个输入和匹配输出哈希来实现最小化的合约功能，旨在提升比特币交易的效率和灵活性。

该提案建议在 Tapscript 中添加一个操作码 `OP_STARK_VERIFY`，用于在比特币链上原生验证 STARK 证明，旨在实现零知识证明的链上验证，并提供后量子安全性。该提案概述了动机、威胁模型、边界/定价方法和初始操作码语义，用于支持有效性汇总、后量子签名和隐私保护交易等应用。

本文主要介绍了跨输入签名聚合（CISA）技术，这种技术可以减少比特币交易的体积。文章探讨了“减半聚合”技术，并分析了其在闪电网络通道公示中的应用，提出了将CISA集成到比特币协议中的几种方案，包括重新定义OP_SUCCESS、定义新的叶子版本或隔离见证版本等，同时讨论了减半聚合与交易池缓存、重组以及适配器签名之间的关系。