感谢FelixLange,MartinSwende,MariusvanderWijden和MarkTyneway的反馈和校对。
我们能将区块链的可扩展性提升到多少？是否真的能像ElonMusk所说的那样“区块时间加速十倍，区块大小增长十倍并且手续费降低一百倍”，而不会导致极度中心化并违背区块链的本质属性？如果答案是否定的，那我们能达到什么程度？改变公式算法会怎样？更重要的是，如果引入类似ZK-SNARK或分片的功能会怎样？一个分片型的区块链在理论上能够不断添加分片，那么是否真的可以这么做呢？
事实证明，无论是否使用分片，都有重要且非常微妙的技术因素限制了区块链的可扩展性。许多情况都有解决方案，但是即使有了解决方案，也存在局限性。这篇文章将探讨其中的许多问题。
如果只是简单地拔高参数，问题似乎就能得到解决。但是我们会因此付出什么代价？
普通用户能够运行节点对于区块链的去中心化至关重要
想象一下凌晨两点多，你接到了一个紧急呼叫，来自世界另一端帮你运行矿池(质押池)的人。从大约14分钟前开始，你的池子和其他几个人从链中分离了出来，而网络仍然维持着79%的算力。根据你的节点，多数链的区块是无效的。这时出现了余额错误：区块似乎错误地将450万枚额外代币分配给了一个未知地址。
一小时后，你和其他两个同样遭遇意外的小矿池参与者、一些区块浏览器和交易所方在一个聊天室中，看见有人贴出了一条推特的链接，开头写着“宣布新的链上可持续协议开发基金”。
到了早上，相关讨论广泛散布在推特以及一个不审查内容的社区论坛上。但那时450万枚代币中的很大一部分已经在链上转换为其他资产，并且进行了数十亿美元的defi交易。79％的共识节点，以及所有主要的区块链浏览器和轻钱包的端点都遵循了这条新链。也许新的开发者基金将为某些开发提供资金，或者也许所有这些都被领先的矿池、交易所及其裙带所吞并。但是无论结果如何，该基金实际上都成为了既成事实，普通用户无法反抗。
或许还有这么一部主题电影。或许会由MolochDAO或其他组织进行资助。
Vitalik：跨链证明是实现跨链社交恢复钱包的关键，ZK-SNARK等是可行选择:6月20日消息，以太坊联合创始人VitalikButerin在最新文章《更深入探讨钱包和其他用例的跨L2读取》中指出，实现跨链社交恢复钱包的一个可行方案是维护一个存放在特定位置的密钥库，以及多个不同位置的钱包，这些钱包可以读取密钥库来更新自身的验证密钥视图或在每次交易验证过程中。跨链证明是实现这个功能的关键，需要对其进行深度优化，可能的方案包括零知识证明（ZK-SNARK）、等待Verkle证明或自定义KZG解决方案。
从长远看，我们需要实现聚合协议，通过生成聚合证明来打包所有用户提交的操作，以此来降低成本。这可能需要将其集成到ERC-4337生态系统中，可能需要对ERC-4337进行一些修改。同时，为了减少从L2内部读取L1状态的延迟，L2应被优化。
钱包不只可以放在L2上，也可以放在与以太坊连接程度较低的系统上，如L3或只同意包含以太坊状态根的独立链。然而，密钥库应放在L1或高安全性的ZK-rollupL2上。尽管这样会增加复杂性，但从长期来看，可能在L2上设置密钥库才是成本更低的方案。在这个过程中，我们也需要致力于提供保护隐私的解决方案，并确保我们的方案可以与隐私保护方案兼容。[2023/6/21 21:50:47]
这种情形会发生在你的区块链中吗？你所在区块链社区的精英，包括矿池、区块浏览器和托管节点，可能协调得很好，他们很可能都在同一个telegram频道和微信群中。如果他们真的想出于利益突然对协议规则进行修改，那么他们可能具备这种能力。以太坊区块链在十小时内完全解决了共识失败，如果是只有一个客户端实现的区块链，并且只需要将代码更改部署到几十个节点，那么可以更快地协调客户端代码的更改。能够抵御这种社会性协作攻击的唯一可靠方式是“被动防御”，而这种力量来自去一个中心化的群体：用户。
想象一下，如果用户运行区块链的验证节点(无论是直接验证还是其他间接技术)，并自动拒绝违反协议规则的区块，即使超过90%的矿工或质押者支持这些区块，故事会如何发展。
如果每个用户都运行一个验证节点，那么攻击很快就会失败：有些矿池和交易所会进行分叉，并且在整个过程中看起来很愚蠢。但是即使只有一些用户运行验证节点，攻击者也无法大获全胜。相反，攻击会导致混乱，不同用户会看到不同的区块链版本。最坏情况下，随之而来的市场恐慌和可能持续的链分叉将大幅减少攻击者的利润。对如此旷日持久的冲突进行应对的想法本身就可以阻止大多数攻击。
ZK-EVM Kakarot完成pre-seed轮融资，Vitalik、StarkWare等参投:6月2日消息，zkEVM 开发平台 Kakarot 完成Pre-Seed 轮融资，StarkWare、LambdaClass 和天使投资人 Vitalik、Nicolas Bacca、Rand Hindi 等参投。
Kakarot zkEVM 是 Cairo 实施的 EVM，利用 STARK 证明来证明交易和区块，确保透明度和安全性。据介绍，Kakarot zkEVM 发展分为三个阶段：1、作为 EVM 存在于 Starknet L2 上；2、和 Starknet 定序器 Madara 合力创建第 3 层 zkEVM；3、Kakarot 和 Madara 组合启用类型 1 zkEVM。[2023/6/2 11:54:47]
Hasu关于这一点的看法：
“我们要明确一件事，我们之所以能够抵御恶意的协议更改，是因为拥有用户验证区块链的文化，而不是因为PoW或PoS。”
假设你的社区有37个节点运行者，以及80000名被动监听者，对签名和区块头进行检查，那么攻击者就获胜了。如果每个人都运行节点的话，攻击者就会失败。我们不清楚针对协同攻击的启动群体免疫的确切阈值是多少，但有一点是绝对清楚的：好的节点越多，恶意的节点就越少，而且我们所需的数量肯定不止于几百几千个。
那么全节点工作的上限是什么？
为了使得有尽可能多的用户能够运行全节点，我们会将注意力集中在普通消费级硬件上。即使能够轻松购买到专用硬件，这能够降低一些全节点的门槛，但事实上对可扩展性的提升并不如我们想象的那般。
全节点处理大量交易的能力主要受限于三个方面：
算力：在保证安全的前提下，我们能划分多少CPU来运行节点？
带宽：基于当前的网络连接，一个区块能包含多少字节？
存储：我们能要求用户使用多大的空间来进行存储？此外，其读取速度应该达到多少？(即，HDD足够吗？还是说我们需要SSD？)
Vitalik Buterin：并不认为zkPorter具有比Optimistic Rollup更强的安全保证，且没有紧密耦合性:以太坊联合创始人Vitalik Buterin针对Matter Labs披露的zkPorter扩容方案表示：并不认为zkPorter具有比Optimistic Rollup更强的安全保证，宁愿将资产放在Optimistic Rollup中，而不是链下数据可用性系统中。zkPorter链下数据可用性的安全级别要低于基础链，且没有紧密耦合性（Tight coupling）。另一方面，分片中的数据可用性层将受到整个以太坊网络的保护，并兼具紧密耦合性。如果某些应用程序同时使用链下数据可用性也是可以的，但前提是链下数据在基于分片的数据可用性可用之前明确为临时措施，但是我认为这没有必要。[2021/4/14 20:17:45]
许多使用“简单”技术对区块链进行大幅扩容的错误看法都源自于对这些数字过于乐观的估计。我们可以依次来讨论这三个因素：
算力
错误答案：100%的CPU应该用于区块验证
正确答案：约5-10%的CPU可以用于区块验证
限制之所以这么低的四个主要原因如下：
我们需要一个安全边界来覆盖DoS攻击的可能性(攻击者利用代码弱点制造的交易需要比常规交易更长的处理时间)
节点需要在离线之后能够与区块链同步。如果我掉线一分钟，那我应该要能够在几秒钟之内完成同步
运行节点不应该很快地耗尽电池，也不应该拖慢其他应用的运行速度
节点也有其他非区块生产的工作要进行，大多数是验证以及对p2p网络中输入的交易和请求做出响应
请注意，直到最近大多数针对“为什么只需要5-10%？”这一点的解释都侧重于另一个不同的问题：因为PoW出块时间不定，验证区块需要很长时间，会增加同时创建多个区块的风险。这个问题有很多修复方法，例如BitcoinNG，或使用PoS权益证明。但这些并没有解决其他四个问题，因此它们并没有如许多人所料在可扩展性方面获得巨大进展。
并行性也不是灵丹妙药。通常，即使是看似单线程区块链的客户端也已经并行化了：签名可以由一个线程验证，而执行由其他线程完成，并且有一个单独的线程在后台处理交易池逻辑。而且所有线程的使用率越接近100%，运行节点的能源消耗就越多，针对DoS的安全系数就越低。
带宽
动态 | EOS 的Activity指数为42,115,791 排名第一:据IMEOS报道，截止12月05号03点，blocktivity.info上显示，排名第一的 EOS 的Activity指数为42,115,791 ，排名第二、第三分别为 TLOS 和 KIN 。Acitivity指数为最近24小时内在区块链上执行的操作数量。[2019/12/5]
错误答案：如果没2-3秒都产生10MB的区块，那么大多数用户的网络都大于10MB/秒，他们当然都能处理这些区块
正确答案：或许我们能在每12秒处理1-5MB的区块，但这依然很难
如今，我们经常听到关于互联网连接可以提供多少带宽的广为传播的统计数据：100Mbps甚至1Gbps的数字很常见。但是由于以下几个原因，宣称的带宽与预期实际带宽之间存在很大差异：
“Mbps”是指“每秒数百万bits”；一个bit是一个字节的1/8，因此我们需要将宣称的bit数除以8以获得字节数。
网络运营商，就像其他公司一样，经常编造谎言。
总是有多个应用使用同一个网络连接，所以节点无法独占整个带宽。
P2P网络不可避免地会引入开销：节点通常最终会多次下载和重新上传同一个块(更不用说交易在被打包进区块之前还要通过mempool进行广播)。
当Starkware在2019年进行一项实验时，他们在交易数据gas成本降低后首次发布了500kB的区块，一些节点实际上无法处理这种大小的区块。处理大区块的能力已经并将持续得到改善。但是无论我们做什么，我们仍然无法获取以MB/秒为单位的平均带宽，说服自己我们可以接受1秒的延迟，并且有能力处理那种大小的区块。
存储
错误答案：10TB
正确答案：512GB
正如大家可能猜到的，这里的主要论点与其他地方相同：理论与实践之间的差异。理论上，我们可以在亚马逊上购买8TB固态驱动(确实需要SSD或NVME；HDD对于区块链状态存储来说太慢了)。实际上，我用来写这篇博文的笔记本电脑有512GB，如果你让人们去购买硬件，许多人就会变得懒惰(或者他们无法负担800美元的8TBSSD)并使用中心化服务。即使可以将区块链装到某个存储设备上，大量活动也可以快速地耗尽磁盘并迫使你购入新磁盘。
一群区块链协议研究员对每个人的磁盘空间进行了调查。我知道样本量很小，但仍然...
动态 | EOS的Activity指数以47,221,545排名第一:据blocktivity.info数据，截止北京时间18年12月08日11点00分 ，区块链活跃度指数排名前五名分别为：EOS，WAX，TRON，BitShares，Kin。其中EOS的Activity指数为47,221,545，排名第1。Activity指数为最近24小时内在区块链上执行的操作数量。[2018/12/8]
此外，存储大小决定了新节点能够上线并开始参与网络所需的时间。现有节点必须存储的任何数据都是新节点必须下载的数据。这个初始同步时间(和带宽)也是用户能够运行节点的主要障碍。在写这篇博文时，同步一个新的geth节点花了我大约15个小时。如果以太坊的使用量增加10倍，那么同步一个新的geth节点将至少需要一周时间，而且更有可能导致节点的互联网连接受到限制。这在攻击期间更为重要，当用户之前未运行节点时对攻击做出成功响应需要用户启用新节点。
交互效应
此外，这三类成本之间存在交互效应。由于数据库在内部使用树结构来存储和检索数据，因此从数据库中获取数据的成本随着数据库大小的对数而增加。事实上，因为顶级(或前几级)可以缓存在RAM中，所以磁盘访问成本与数据库大小成正比，是RAM中缓存数据大小的倍数。
不要从字面上理解这个图，不同的数据库以不同的方式工作，通常内存中的部分只是一个单独(但很大)的层(参见leveldb中使用的LSM树)。但基本原理是一样的。
例如，如果缓存为4GB，并且我们假设数据库的每一层比上一层大4倍，那么以太坊当前的~64GB状态将需要~2次访问。但是如果状态大小增加4倍到~256GB，那么这将增加到~3次访问。因此，gas上限增加4倍实际上可以转化为区块验证时间增加约6倍。这种影响可能会更大：硬盘在已满状态下比空闲时需要花更长时间来读写。
这对以太坊来说意味着什么？
现在在以太坊区块链中，运行一个节点对许多用户来说已经是一项挑战，尽管至少使用常规硬件仍然是可能的(我写这篇文章时刚刚在我的笔记本电脑上同步了一个节点！)。因此，我们即将遭遇瓶颈。核心开发者最关心的问题是存储大小。因此，目前在解决计算和数据瓶颈方面的巨大努力，甚至对共识算法的改变，都不太可能带来gaslimit的大幅提升。即使解决了以太坊最大的DoS弱点，也只能将gaslimit提高20%。
对于存储大小的问题，唯一解决方案是无状态和状态逾期。无状态使得节点群能够在不维护永久存储的情况下进行验证。状态逾期会使最近未访问过的状态失活，用户需要手动提供证明来更新。这两条路径已经研究了很长时间，并且已经开始了关于无状态的概念验证实现。这两项改进相结合可以大大缓解这些担忧，并为显著提升gaslimit开辟空间。但即使在实施无状态和状态逾期之后，gaslimit也可能只会安全地提升约3倍，直到其他限制开始发挥作用。
另一个可能的中期解决方案使使用ZK-SNARKs来验证交易。ZK-SNARKs能够保证普通用户无需个人存储状态或是验证区块，即使他们仍然需要下载区块中的所有数据来抵御数据不可用攻击。另外，即使攻击者不能强行提交无效区块，但是如果运行一个共识节点的难度过高，依然会有协调审查攻击的风险。因此，ZK-SNARKs不能无限地提升节点能力，但是仍然能够对其进行大幅提升(或许是1-2个数量级)。一些区块链在layer1上探索该形式，以太坊则通过layer2协议(也叫ZKrollups)来获益，例如zksync,Loopring和Starknet。
分片之后又会如何？
分片从根本上解决了上述限制，因为它将区块链上包含的数据与单个节点需要处理和存储的数据解耦了。节点验证区块不是通过亲自下载和执行，而是使用先进的数学和密码学技术来间接验证区块。
因此，分片区块链可以安全地拥有非分片区块链无法实现的非常高水平的吞吐量。这确实需要大量的密码学技术来有效替代朴素完整验证，以拒绝无效区块，但这是可以做到的：该理论已经具备了基础，并且基于草案规范的概念验证已经在进行中。
以太坊计划采用二次方分片(quadraticsharding)，其中总可扩展性受到以下事实的限制：节点必须能够同时处理单个分片和信标链，而信标链必须为每个分片执行一些固定的管理工作。如果分片太大，节点就不能再处理单个分片，如果分片太多，节点就不能再处理信标链。这两个约束的乘积构成了上限。
可以想象，通过三次方分片甚至指数分片，我们可以走得更远。在这样的设计中，数据可用性采样肯定会变得更加复杂，但这是可以实现的。但以太坊并没有超越二次方，原因在于，从交易分片到交易分片的分片所获得的额外可扩展性收益实际上无法在其他风险程度可接受的前提下实现。
那么这些风险是什么呢？
最低用户数量
可以想象，只要有一个用户愿意参与，非分片区块链就可以运行。但分片区块链并非如此：单个节点无法处理整条链，因此需要足够的节点以共同处理区块链。如果每个节点可以处理50TPS，而链可以处理10000TPS，那么链至少需要200个节点才能存续。如果链在任何时候都少于200个节点，那可能会出现节点无法再保持同步，或者节点停止检测无效区块，或者还可能会发生许多其他坏事，具体取决于节点软件的设置。
在实践中，由于需要冗余(包括数据可用性采样)，安全的最低数量比简单的“链TPS除以节点TPS”高几倍，对于上面的例子，我们将其设置位1000个节点。
如果分片区块链的容量增加10倍，则最低用户数也增加10倍。现在大家可能会问：为什么我们不从较低的容量开始，当用户很多时再增加，因为这是我们的实际需要，用户数量回落再降低容量？
这里有几个问题：
区块链本身无法可靠地检测到其上有多少唯一用户，因此需要某种治理来检测和设置分片数量。对容量限制的治理很容易成为分裂和冲突的根源。
如果许多用户突然同时意外掉线怎么办？
增加启动分叉所需的最低用户数量，使得防御恶意控制更加艰难。
最低用户数为1,000，这几乎可以说是没问题的。另一方面，最低用户数设为100万，这肯定是不行。即使最低用户数为10,000也可以说开始变得有风险。因此，似乎很难证明超过几百个分片的分片区块链是合理的。
历史可检索性
用户真正珍视的区块链重要属性是永久性。当公司破产或是维护该生态系统不再产生利益时，存储在服务器上的数字资产将在10年内不再存在。而以太坊上的NFT是永久的。
是的，到2372年人们仍能够下载并查阅你的加密猫。
但是一旦区块链的容量过高，存储所有这些数据就会变得更加困难，直到某时出现巨大风险，某些历史数据最终将……没人存储。
要量化这种风险很容易。以区块链的数据容量(MB/sec)为单位，乘以~30得到每年存储的数据量(TB)。当前的分片计划的数据容量约为1.3MB/秒，因此约为40TB/年。如果增加10倍，则为400TB/年。如果我们不仅希望可以访问数据，而且是以一种便捷的方式，我们还需要元数据(例如解压缩汇总交易)，因此每年达到4PB，或十年后达到40PB。InternetArchive(互联网档案馆)使用50PB。所以这可以说是分片区块链的安全大小上限。
因此，看起来在这两个维度上，以太坊分片设计实际上已经非常接近合理的最大安全值。常数可以增加一点，但不能增加太多。
结语
尝试扩容区块链的方法有两种：基础的技术改进和简单地提升参数。首先，提升参数听起来很有吸引力：如果您是在餐纸上进行数学运算，这就很容易让自己相信消费级笔记本电脑每秒可以处理数千笔交易，不需要ZK-SNARK、rollups或分片。不幸的是，有很多微妙的理由可以解释为什么这种方法是有根本缺陷的。
运行区块链节点的计算机无法使用100％的CPU来验证区块链；他们需要很大的安全边际来抵抗意外的DoS攻击，他们需要备用容量来执行诸如在内存池中处理交易之类的任务，并且用户不希望在计算机上运行节点的时候无法同时用于任何其他应用。带宽也会受限：10MB/s的连接并不意味着每秒可以处理10MB的区块！也许每12秒才能处理1-5MB的块。存储也是一样，提高运行节点的硬件要求并且限制专门的节点运行者并不是解决方案。对于去中心化的区块链而言，普通用户能够运行节点并形成一种文化，即运行节点是一种普遍行为，这一点至关重要。
然而，基础的技术改进是可行的。当前，以太坊的主要瓶颈是存储大小，而无状态性和状态逾期可以解决该问题，并使其能够最多增长约3倍，但不能再多，因为我们希望运行节点比当前更容易。采用分片的区块链可以进一步扩展，因为分片区块链中的单个节点不需要处理每笔交易。但即使是分片区块链，容量也有局限性：随着容量的增加，最低安全用户数增加，归档区块链的成本(以及如果没有人归档链，数据存在丢失的风险)就会上升。但是我们不必过于担心：这些限制足以我们在保证区块链完全安全性的同时每秒处理一百万笔交易以上。但是要在不损害区块链最宝贵的去中心化特性的前提下实现这一点，我们需要付出更多努力。
原文链接：https://vitalik.ca/general/2021/05/23/scaling.html
ECN的翻译工作旨在为中国以太坊社区传递优质资讯和学习资源，文章版权归原作者所有，转载须注明原文出处以及ETH中文站。若需长期转载，请联系eth@ecn.co进行授权。
来源|vitalik.ca
作者|VitalikButerin
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。