比特币
Ctrl+D收藏简单区块链

L2的了解与思索_算力

作者:

时间:2021/8/10 10:08:07

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。这类交易数据信息的随时随地可浏览,称

标签:

区块链热门资讯
400项高频率事宜“无证办理”_算力

400项高频率事宜“无证办理”  专升本报名吉安县讯 (新闻记者李歆 报道员曾诗敏)身份证件、户口簿、社会保障卡等各种证照已不会再是“必须品”,只需群众自己在场就可以办理所需事宜。

2021/8/10 9:56:55
Zerogoki进攻事情剖析_算力

Zerogoki进攻事情剖析 中国北京时间2021年8月8日13点(区块链高宽比12982491),Zerogoki新项目下的合同遭受进攻,累计损害约6七万美金。 Zerogoki是Duet Protocol的一个属下新项目,用于在以太币区块链平台上引进衍生产品。

2021/8/10 9:51:12
“币圈”须不断“缩圈”_算力

“币圈”须不断“缩圈” 近日,中央人民银行举办的2021年下半年工作大会上提及,催促具体指导服务平台公司对比管控规定全方位整顿,对虚拟货币交易炒作维持高压态势。略逊一筹,中国人民银行上海市总公司表明,将不断预防虚拟货币交易和ICO代币总发售风险性,催促探索与发现违反规定业务流程整顿。

2021/8/10 9:45:24
OKX