最新报道:本文针对比特币Layer2扩容场景下,总结了比特币范式下的限制和突围技术,研究有效性证明和欺诈证明技术,并梳理了比特币范式下所独有的脚本切分技术。 比特币的Layer2扩容技术主要包括有效性证明和欺诈证明。有效性证明基于悲观假设,需提供L2状态转换正确的证据;欺诈证明基于乐观假设,默认接纳状态转换,除非有人证明有误。比特币范式下的限制包括UTXO模型的无状态性、脚本空间限制、UTXO花费方式限制和预签限制。通过比特承诺、Taproot、connector output和契约等技术,可以突破这些限制。 比特承诺通过对值进行签名,实现有状态的比特币脚本;Taproot通过结合MAST和Schnorr签名,突破脚本空间限制;connector output通过SIGHASH flag,实现UTXO间的条件花费;契约通过引入新的操作码,突破预签限制。 在比特币Layer2扩容中,BitVM1采用多轮欺诈证明机制,BitVM2采用一轮欺诈证明机制,而bitcoin-circle stark采用有效性证明。脚本切分技术可将verifier算法切分为多个小于4MB的chunk,分布到各个tapleaf中。