BTC区块大小、交易大小、opcode数量限制等问题探讨
来源：闪电HSL
在最新的BCH协议修改提案bch-vm-limits里，我读到了一个全新的概念“计算密度（density of computation）”。计算密度这个概念在其他UTXO链上是没有的。我很好奇这是个啥东西，做了点调研。
什么是计算密度？
比特币有区块大小限制1M交易区块体+3M的签名区块，针对每笔交易有尺寸大小、opcode数量的限制。以太坊的交易单个区块也有gas limits上限的限制。对EOS研究较深的朋友一定还知道，EOS有cpu、RAM和Net这三个资源，发eos交易是需要消耗这三个资源。
这些都是为了维持区块链网络安全，防止恶意交易攻击网络。
最经典的一个合法交易恶意攻击以太坊网络的案例是2018年的Fom3D最终大奖的领取当中那个经典的“针对以太网络攻击”事件。需要了解Fom3D的全貌需要大家自己搜索一下，本文不浪费字数来解释了。
当时攻击者在区块高度6191897和6191902之间构造了一笔特别的合约交易，消耗掉了区块里的所有gas limits，让其他用户的交易无法被打包，只能打包黑客自己的交易，从而最终领取走了10469ETH的大奖。
在防止区块链网络被恶意攻击的这三种经典设计里，Btc的区块大小和交易大小限制，ETH的区块 gaslimits限制，和EOS的CPU&RAM&Net资源限制。
BTC的设计是最原始，也是最安全的设计，久经考验。从BCH诞生至今，也是延续了一样的设计，只是在具体的参数上有所调整。
ETH的gas limits设计应该是最成功的设计，目前已经成为了行业标准。
EOS的设计到现在为止，应该说是一个失败的设计，RAM等资源没有履行设计理念，反而成为了一种炒作的代币。
题外话，ETH曾经也有一个叫gastoken的项目，允许用户把gas当成一个币来炒，但被V神他们给禁止了。
请注意上面的用户，btc是最安全的，gas limits是最成功的。
在衡量安全性和可编程性上，gas limits的设计在可编程性达到了极致，在EVM上实现了图灵完备，这是以太坊诞生了繁荣经济生态的决定性因素。
BTC等UTXO的生态则明显受困于可编程性，特别是交易的opcode数量限制，这加减乘除的数量都给你限制住了，你还怎么编程啊。但很明显，BTC这种区块大小和交易大小的限制，为比特币的去中心化和安全性提供了极致的安全性。比特币网络从未出现过被DDOS而产生大问题的情况，当“恶意的”海量交易或复杂的合约交易（P2SH）涌进来memepool时，唯一需要做的事就是等待区块慢慢打包，不会产生额外的问题。
UTXO技术，提高可编程性，很可能就会导致额外的安全性问题。
BCH的计算密度这个新概念，就是想平衡UTXO的可编程性和安全性，试图在保证BCH网络安全性的前提下大大提高UTXO的可编程性。
计算密度的定义是根据每个输入数据的字节长度，限制该输入能够执行的计算操作。即交易中每个输入会根据其大小（字节数）分配一定的计算预算，这个预算决定了节点在验证该交易时可以进行的最大计算量。
Bch-vm-limits协议里提供了计算公式，这个公式我看不懂，我只知道这个计算量主要是指哈希计算。这个太细节了，涉及到bch交易的构造和验证，管不了那么多了。
和gas limit将计算和gas费直接挂钩不同，计算密度并不改变BCH交易的矿工费设计，矿工费还是按一直以来的sats/byte来计算。
Gas limit的设计相当于只要你出钱（出gas费）你就可以设计任意复杂的合约，前提就是不要触及单个区块的gas limit上限。现在单个区块的gas limit是3000万gas，如果gas price是10gwei，消费光3000万gas limit需要0.3ETH。3000万gas是一个非常大的量，可以设计出非常非常复杂的合约。
BCH的计算密度，是约束单位交易大小的可计算量，我估计能设计出来的合约复杂程度肯定是远小于gas limit的设计，但远高于BTC和BCH当初的限制交易大小和opcode数量，文档描述是增强了100倍。
协议的设计者Jason Dreyzehner在文档里对计算密度的好处写了一箩筐，对比gas limit，各种夸。希望在真实的生产环节能兑现。
在实际的应用场景上，开发者就写的更夸张了，涉及到了量子密码学、零知识证明、同态加密，等加密数字货币技术领域的皇冠上的明珠级别的场景。但现在肯定无法辨别真伪了。
最后，感觉BCH的开发者还是挺有创新能力的，包括像2023年激活的cashtoken，以及今年要搞的计算密度，我都是在整个币圈第一次见到的技术。
