比特币的可编程性：详解限制条款

近期比特币社区掀起了一波关于重新启用某些操作码的讨论,引发了人们对限制条款和比特币可编程性的关注。本文将对限制条款进行概览性介绍和讨论。

什么是限制条款

限制条款是一种能够给未来的比特币交易设置条件的机制。与当前比特币脚本仅限制如何解锁不同,限制条款可以进一步限制UTXO之后的花费,实现"专款专用"的效果。

限制条款不只是为了限制而限制,更是设置了交易执行的规则。用户只能按照预先设定的规则来执行交易,从而完成预定的业务流程。这反而可以解锁更多应用场景。

应用场景

确保Staking的惩罚

在Bitcoin staking中,限制条款可用于确保对作恶用户的惩罚交易能够强制执行,防止用户逃脱惩罚。

拥堵控制

在网络拥堵时,限制条款可以让发送方先承诺到一笔批量发送的交易上,等到手续费率降低时再发送具体交易,从而降低成本。

保管库

限制条款可以构建更安全的保管库应用,即使账户被黑也能限制资金使用。

更健壮和灵活的状态通道

限制条款可以实现新的状态通道设计,如Eltoo和Ark,使闪电网络等更加健壮和灵活。

限制条款技术概览

限制条款有多种实现技术,可以从类型、实现方式、递归性等方面进行分类。主流的限制条款设计包括OP_CTV、APO、OP_VAULT等。

限制条款的设计

限制条款的设计主要围绕如何实现交易的"内省",即检查交易自身的内容。主要有基于操作码和基于签名两种思路。

APO

SIGHASH_ANYPREVOUT(APO)是一种新的签名方式,只对交易输出签名而不对输入签名,可以灵活地将预签名的交易附加到任何满足条件的UTXO上。

OP_CTV

OP_CHECKTEMPLATEVERIFY(CTV)通过改进操作码,允许用户限制比特币的使用方式。它可以用于拥塞控制、构建支出树等场景。

OP_CAT

OP_CAT可以对堆栈中的两个元素进行拼接,能够灵活地实现多种功能,如Merkle树验证、增强Schnorr签名等。

结语

限制条款可以在比特币脚本中直接实现对交易进一步花费的限定,从而实现类似智能合约的效果。这种编程方式可以更原生地在比特币上验证,改进主链和链外应用,并开拓新的应用方向。

然而,限制条款也可能导致一些计划外的滥用或漏洞,因此社区对此比较谨慎。限制条款相关的升级涉及共识规则的软分叉,可能需要较长时间才能完成。