Layer2

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设计，支持不同的区块大小。

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

zkSync采用PlonK零知识证明系统。在电路设计上，非常巧妙的将交易分割成一个个小的通用处理单元（Operation）。一个Operation对应的证明电路逻辑支持所有可能交易的Operation逻辑。多个有关联的Operation电路组成交易电路。多个交易的电路再组合成区块电路。从而，在固定大小的区块中也能包含不同组合的交易。

比特币在过去10年里取得了长足的进步，相对于其第一代软件，当前比特币协议的质量和可靠性已得到了显著提升。比特币快速和有机地吸引了大量开发者，让他们投入大量时间去改进其大部分底层代码库。

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉，有理解偏差，小伙伴们可以留言讨论。

Stacks 是比特币上的智能合约层。其正式构建始于 2017 年，最初版本于 2021 年上线。发起人是来自普林斯顿的一群计算机科学家。历史上 Stacks 曾面临诸多敌意，BTC Maxis 和以太坊信徒均视其为异类。随着 BTC L2 的叙事热度兴起，以及 Ordinals 等带来的 BTC

在 Rollup 中，追求交易最终性有三个阶段：排序者（Sequencer）的承诺、排序最终性、执行结算