L2的了解与思索_算力

L2的了解与思索

Layer2是个大的话题讨论。是不是区块链技术，是不是安全性，资产状态确定时间Layer2的关键的话题讨论。近期有点儿時间，汇总一下Layer2的了解和思索。

Layer2，相对性于Layer1，在Layer1的基本上给予更丰富作用，更强的客户体验。抽象性一下Layer2的逻辑性及其互动实体模型以下：

除开Layer1的交易外（出金），别的Layer2的交易都是在Layer2执行。为了更好地Layer2在必需时修复交易状态，全部Layer2的交易数据信息必须安全存储。简易考虑，也为了更好地和Layer1维持一样的安全系数，全部Layer2的交易数据信息一般储存在Layer1。这类交易数据信息的随时随地可浏览，称之为"Data Availability"（数据信息易用性）。全部的Layer2交易都是在Layer2执行，并同歩到Layer1。怎样证实Layer2同歩的状态恰当，不一样的layer2计划方案有不一样的完成方式。

从Layer2状态同歩方法，Layer2分成两大类：一类是主链完成（Side Chain），一类是Rollup。主链，便是根据有别于Layer1的的共识开展Layer2状态向Layer1的同歩。仅从这一点，全部主链的安全系数，就减少到Layer2的的共识的安全系数。Rollup又分成二种：一种是zkRollup，一种是Optimistic Rollup。说白了Optimistic Rollup，开朗性Rollup，期待绝大部分状况下Rollup恰当向Layer1同歩状态。与此同时，为了更好地避免同歩不正确的状态，给予了挑战体制。开朗预估挑战的概率较为小。在必须挑战的状况下，Layer1能够分辨恰当状态。zkRollup是最立即的状态同歩方法，根据零知识证明技术性，在向Layer1递交状态的与此同时给予状态转变 的证实。Layer完成归类以下：

zkRollup，依照选用的零知识证明协议书又分成三类：1/ Groth16 2/ PLONK 3/ STARK。Groth16协议书必须对于每一个电路开展原始设定(Trusted Setup)。PLONK协议书在一定经营规模下的电路只必须一次原始设定。STARK协议书不用原始设定。可是，相对性此外二种优化算法，STARK协议书，证实信息量大，认证时间长。相对而言，在Layer2的情景下，PLONK是现阶段普遍应用的优化算法。

STARK协议书和SNARK(Groth16/PLONK)协议书较为（来自Matter Labs的github连接）：

https://github.com/matter-labs/awesome-zero-knowledge-proofs

汇总一下，从安全系数角度观察，各种各样Layer2的排列以下：zkRollup，optimistic Rollup，主链。从取现的時间也证实了安全系数，zkRollup的取现是分鐘等级，别的二种计划方案，钟头乃至是天等级。zkSync是相对完善的zkRollup开源软件。

zkRollup，虽好，现阶段存有非常大的缺点：可编程控制器能力差。

相对性别的Rollup计划方案，zkRollup计划方案多了zk证实系统软件。换句话说，在Layer2每一个交易除开“执行”外，还必须转化成证实，证实执行全过程的准确性。了解零知识证明技术性的小伙伴们都了解，零知识证明的安全系数取决于”电路“的安全系数。针对Layer2，每一种交易的解决”干固“为电路，电路逻辑性彻底公布。相匹配于每一种电路，存有唯一的认证密匙。认证密匙用在Layer1认证状态证实。根据认证的状态证实，合乎干固电路的逻辑性。

重要就取决于Layer2交易的执行和干固电路词义是不是一致。公布电路便是一种的共识方法，供任何人查看电路逻辑性。简易的说，为了更好地完成zkRollup，必须完成Layer2执行相匹配的电路。实际上，电路的完成相对性繁杂，沒有程序设计语言，许多状况下全是笔写R1CS。进一步，为了更好地运用zk证实系统软件，为了更好地提升电路的完成，全部Layer2的状态常常提升为电路友善构造（merkle树）。因此 ，zkRollup的系统软件必须考虑到电路的构造，进而管束了Layer2交易及其帐户实体模型。仔细的小伙伴们能够发觉，无论是zksync/zkswap/loopring，都只完成了特殊交易情景。

换个角度来看，假如必须根据zkRollup适用EVM的交易执行，必须将EVM的交易抽象性成电路友善的帐户实体模型。这类抽象性并不易，其次，EVM的叙述电路能够预料较为大。从零知识证明的特性看，这些方面会限定全部zkRollup的特性。

再看一下zkRollup计划方案在Layer1的gas耗费。全部zkRollup计划方案的关键gas耗费为三一部分（withdraw不考虑到以内）：

Transaction Raw Data：在zksync中称之为pub data。为了更好地确保data availability，全部的Layer2的交易都是会以裸数据信息的方式递交到Layer1。

Layer2 Block管理方法：在Layer2递交区块链状态时，Layer1维护保养着Layer2的区块链构造和状态。

认证Layer2 Block状态：在Layer2递交证实时，Layer1必须认证状态证实。

以一个区块链350笔交易，每一个交易的Transaction Raw Data的尺寸为20字节为例子，一个区块链解决的gas耗费：

尽管以上的数据信息并不是精准值，可是足够表明交易原始记录在全部zkRollup计划方案中的gas耗费占有率是十分高的。从这一角度观察，Layer2的有一些项目分析根据别的链下的方法储存交易数据信息。

Optimistic Rollup兼容EVM。换句话说，Layer2适用可编程控制器性，而且在以太币上的程序流程基本上无缝拼接转移。为了更好地确保链上的状态恰当，这二种计划方案都给予一段时间内的挑战体制。挑战者给予挑战的直接证据，Layer1选择恰当是否。

Optimism选用OVM执行Layer2交易。取名字OVM是为了更好地区别Layer1的EVM。由于递交到Layer1的状态必须检测准确性，Layer1必须“播放”Layer2的交易，换句话说，Layer1在有一些状况下必须执行OVM交易的执行。Optimistic Rollup最繁杂的地区也取决于此，用EVM仿真模拟OVM，并执行Layer2的交易。显而易见，在Layer1的EVM仿真模拟OVM的执行是较为繁杂，耗费很大的实际操作。

Arbitrum也是选用挑战体制。为了更好地防止挑战的gas花费低，Arbitrum引进了AVM：

相对性于EVM，AVM是一个相对性简易的vm虚拟机。Arbitrum在AVMvm虚拟机上仿真模拟EVM执行自然环境。换句话说，全部的Layer2交易全是在AVM执行，交易的执行状态可以用AVM状态表明。在递交到Layer1的状态有矛盾时，挑战彼此（Asserter和Challenger）先将状态切分，找到“分歧点”。确立分歧点后，挑战彼此都可以给予执行自然环境，Layer1执行有关实际操作明确以前递交的状态是不是恰当。在Layer1挑战的是AVM的状态，分歧点的AVM的命令执行。

简易的说，为了更好地省挑战的gas花费，Arbitrum选用了精减的AVM（十分便捷状态表明），根据迅速切分，在链上只必须执行一个命令，分辨状态是不是执行恰当。Arbitrum详细介绍文本文档中提及，全部挑战必须大约500字节的数据信息和9w上下的gas。在AVM的基本上，Arbitrum设计方案了mini语言表达和c语言编译器，仿真模拟了EVM的执行自然环境，进而兼容EVM。

Layer2，相对性于Layer1，在Layer1的基本上给予更丰富作用，更强的客户体验。资产状态可预测性时间，安全系数，可编程控制器性是现阶段探讨的聚焦点。zkRollup是资产状态可预测性更快的计划方案。optimistic Rollup/主链具备可编程控制器性。zkRollup适用EVM的证实是个希望的方位。

除开Layer1的交易外（出金），别的Layer2的交易都是在Layer2执行。为了更好地Layer2在必需时修复交易状态，全部Layer2的交易数据信息必须安全存储。简易考虑，也为了更好地和Layer1维持一样的安全系数，全部Layer2的交易数据信息一般储存在Layer1。这类交易数据信息的随时随地可浏览，称

标签：

区块链热门资讯