二层扩容

本文探讨了以太坊通过 Rollup 扩展性能时面临的碎片化问题，并介绍了 Taiko 提出的基于增强 Rollup（Based Booster Rollup，BBR）架构。BBR 旨在通过共享状态、同步处理和统一部署等技术优势，将多个 Rollup 连接成一个统一的整体，从而提升用户体验和开发者效率，并为 DeFi、NFT 和游戏等应用带来新的可能性。

基于 EIP-4844 Economics and Rollup Strategies 的分析框架进一步挖掘 EIP-4844 新引入的 Blob 市场会如何影响其主要的需求方 Rollup 的数据可用策略。

EIP-4844 引入新的数据存储类型“blob”， 为 Layer 2 扩容方案提供更低的 DA 方案。

Layer2是个大的话题。是否去中心化，是否安全，资金状态确认时间是Layer2的主要的讨论话题。最近有点时间，总结一下Layer2的理解和思考。

本文从演化角度讨论 Rollup Layer2 的发展以及演进

Mixin 是一个免费、快速的点对点跨链数字资产交易网络，可帮助其他区块链分布式账本获得超高 TPS、亚秒级确认、零手续费、加强隐私、无限扩展的能力。

Matter-Labs开源了PLONK算法的验证电路，能实现多个PLONK证明的聚合证明。聚合电路证明某个证明可验证，并且验证使用的VK是正确的。注意的是，PLONK算法验证的最后一步（配对函数）并没有在电路中验证，而是依赖智能合约进行验证。

随着 BTC 扩容叙事不断发酵，涌现出了五花八门的 BTC Layer 2 项目。Layer 2 逐渐从以技术为导向的区块链扩容路线变成一个模糊的营销标签。

Arbitrum是Layer2 Rollup的一种方案。采用挑战机制确定Rollup状态的终局性。为了引入轻便挑战机制，Arbitrum定义了AVM，一种可以方便证明执行状态的虚拟机，并设计了mini语言和编译器。在AVM上模拟了EVM的执行环境，兼容EVM。挑战时将执行过程进行400分分割，由L1执行少量指令确定状态是否正确。

zkSync通过zk Rollup协议，实现了L2的转账。zkSync项目非常完整，是学习L2非常好的参考项目。zkSync采用Plonk零知识证明算法向L1证明状态的正确性。Plonk算法是Universal的零知识证明算法，只需要一次可信设置。zkSync电路设计采用Chunk设计，支持不同的区块大小。

本文介绍了以太坊的Rollups技术，Rollups是一种Layer2解决方案，通过将交易处理从主链转移到链下，从而提高交易速度和降低交易成本。文章详细解释了Optimistic Rollups和Zero-Knowledge Rollups两种主要类型，并讨论了Rollups面临的挑战，例如状态碎片化和数据可用性问题。

zkSync虽然采用PLONK零知识证明算法，但是电路的搭建开发采用的R1CS形式。zkSync电路处理包括：1/电路转换 2/PLONK证明计算。Transpile实现了电路的格式转换。电路转换的目的是获取：1/sigma函数 2/ 门系数多项式。

本文介绍了 Polygon 的 ZK Rollup 解决方案，包括 Polygon Zero、Hermez、Miden 和 Nightfall，它们旨在提高以太坊的扩展性、降低交易费用并保护用户隐私。文章还对比了这些方案与其他 ZK Rollup 的不同之处，并强调了 ZK Rollup 在可扩展性、低交易费用和安全性方面的重要性。

本文探讨了 Rollup 技术的一些局限性，并分析了解决这些问题的几种方案，包括 Rollup 框架、共享排序器（Shared Sequencer）和 Rollup 即服务（RaaS）。文章深入研究了这些方案的机制、特点以及它们如何塑造 Rollup 生态系统的未来发展。虽然这些解决方案在不断演进，但实际应用案例的增长速度却未能跟上基础设施的发展速度。