区块链“不可能三角”
区块链“不可能三角”是指区块链网络在设计时，必须在安全性、去中心化和可扩展性这三个目标之间进行权衡，很难同时实现三者的最大化，为了应对这一挑战，以太坊通过以下核心策略进行演进：
- 模块化架构
以太坊正从单体区块链向模块化架构转变，将系统分解为不同的功能组件：
-
共识：节点对区块排序和有效性达成一致。
-
执行：处理交易并更新状态。
-
数据可用性：确保交易数据可被查询和验证。
-
结算：保证交易的最终性和不可篡改性。
通过这种“分而治之”的方法，以太坊可以独立优化每个环节，从而在不牺牲去中心化的前提下提升整体性能。
- 以 Rollup 为中心的路线图
这是以太坊解决可扩展性问题的主导方案，目前主要分为 Optimistic Rollup（基于欺诈证明）和 ZK Rollup（基于数学的零知识证明）
-
执行下放：以太坊 L1 充当安全的结算层和数据可用性层，而将繁重的“执行”任务交给 Layer 2 (Rollups) 处理。
-
交易压缩： Rollups 将大量交易打包成一个包提交到 L1 ，极大地提高了每秒交易数 (TPS)，同时通过 L1 存储的交易数据和状态承诺继承了以太坊的安全性。
- Layer 1 协议级优化
在维持 L1 去中心化的同时，以太坊也在进行底层升级以支持扩展：
-
维持低门槛节点运行：为了确保去中心化，以太坊通过 Gas 限制 限制了每个区块的计算和存储需求，使普通用户也能负担得起运行节点的硬件成本。
-
EIP-4844 (Proto-Danksharding)：引入了专门用于 Rollup 数据的 Blob 空间，这是一种比传统 calldata 更高效、更廉价的数据存储机制，显著降低了 L2 的成本。
-
共识机制演进：转向 POS 并持续优化协议效率，以在提高 TPS 的同时保持网络的健壮性。
Optimistic Rollup 和 ZK Rollup
- Optimistic Rollups：采用 乐观验证模式。它默认提交到 Layer 1 的所有交易都是有效的。
其安全性依赖于经济激励机制：如果有人认为交易有误，可以在“挑战期”内提交 欺诈证明（fraud proof） 进行纠举，这意味着交易在 Layer 1 上达到最终确认需要等待挑战期结束。
- ZK Rollups：通过数学确定性来确保安全。它为每一批次交易生成零知识证明（如 zk-SNARKs 或 zk-STARKs），并将其提交至 Layer 1 进行验证。一旦通过验证，该批次中的所有交易在数学上即被确认为有效。
零知识证明的 zk-SNARKs 和 zk-STARKs
zk-SNARKs 和 zk-STARKs 是零知识证明（ Zero-Knowledge Proofs）在 ZK Rollups 扩容方案中应用最广泛的两类技术。
- 技术定义
-
zk-SNARKs：全称为“零知识简洁非交互式知识参数”（ Succinct Non-Interactive Argument of Knowledge）。
-
zk-STARKs：全称为“零知识可扩展透明知识参数”（ Scalable Transparent Argument of Knowledge）。
- 核心区别
- 信任设置：这是两者最显著的区别之一。信任设置是一个一次性的初始化过程，用于生成证明者（ Prover）和验证者（ Verifier）之间共享的公共参数，用户必须信任执行该设置的各方正确地生成了这些参数，并彻底销毁了生成过程中的 随机性数据（通常被称为 有毒废料）。如果这些“有毒废料”没有被销毁，持有该数据的人就可以伪造虚假的证明，从而在系统中创造出凭空产生的资产或篡改状态，而验证者无法察觉。
zk-STARKs 不需要信任设置。 在密码学中这意味着它们不依赖于初始的秘密参数生成过程，从而 提高了系统的透明度和更快的证明速度，但这是 zk-STARKs 通过牺牲一定的证明大小换来的。单个 STARK 证明的体积可能达到几十到几百 KB，而 SNARK 仅为几百字节。
- zk-STARKs 的抗量子性
zk-STARKs 通常被认为具有抗量子攻击（ Post-Quantum Secure）的特性。这是因为它们的技术基础与 zk-SNARKs 不同：
-
zk-SNARKs：通常依赖于椭圆曲线密码学（ Elliptic Curve Cryptography），而在理论上，足够强大的量子计算机可以破解此类加密。
-
zk-STARKs：依赖的是 抗碰撞哈希函数。目前认为，哈希算法在面对量子计算机攻击时具有 很强的鲁棒性，因此 zk-STARKs 被视为一种更具前瞻性、能够抵御未来量子计算威胁的隐私和扩容技术。
EIP-4844 引入的 Blob 空间是如何降低 L2 成本的
-
独立的专用数据空间：在此之前， Rollups 必须将其交易数据存放在以太坊交易的 calldata 区域。 calldata 是与普通 L1 交易共享的有限空间。 EIP-4844 引入了 Blobs，专门用于 Rollup 提交数据的独立、更高效的空间。
-
独立的 Gas 定价模型： Blob 空间拥有自己独立的 Gas 定价机制，与传统的 L1 执行层 Gas 分离开来。这意味着 L2 的数据提交成本不再直接受到 L1 上高频操作（如 NFT 铸造或代币交换）引发的 Gas 费波动的冲击。