2022-11-25

行业一直在寻找解决方案来解决比特币可编程性差，速度慢和不隐私的问题。
在数十年的可扩展性研究和用户体验了可扩展有实质性好处之后，研究人员开始研究比特币上构建有效性证明。
比特币的有效性证明可以在原生的图灵不完备脚本上做更改来构建rollup，或者在已有的双向支付通道上进行rollup。
比特币自出现以来，一直存在几个问题：可编程性差，速度慢，不隐私。行业也一直在寻找解决方案，比如通过可扩展性来提高速度。可扩展的研究已经进行了十多年，而且也在很多其他的区块链上实行，确实也解决了一些问题，用户们也看到了实质性的好处。现在有些研究人员就将注意力转移到了将有效性证明放在比特币上，比如这一套用在比特币或者比特币的二层（闪电网络）会不会也有同样的效果。主要通过技术层面，如何构建，构建之后的效果还有构建中可能存在的风险等方面讨论。
扩容需要解决的基本问题是避免中心化，除了这个，网络优化扩容主要有两个目的：第一个是减少区块传播延迟，第二个就是降低作为全节点参与比特币网络的宽带成本。Fibre协议就是通过减少区块传播延迟来实现可扩展性，由Matt Corallo开发的协议，可以将块传播的时间降低到比光速慢几毫秒；关于第二点，在BIP152中就有这样的技术，叫做紧凑块中继，通过减少对网络传播块时需要发送的数据量来降低了全节点的宽带成本。也是由Matt Corallo开发的，不过他并不是最早提出这个概念的，而是基于Greg Maxwell更早期的工作之上进行开发，Greg Maxwell是第一个提出在比特币环境中建立zk证明的人。

数学的运用，会越来越趋向未来。