原文标题:《CryptoYCInsight|Rollup学习笔记》原文来源:HengYouzhe,CryptoYCLabs
Layer2是解决?案的统称,旨在通过在以太坊主?(第1层)上处理交易来帮助扩展应?程序,同时利?强?的主?分散式安全模型。当前以太坊交易速度慢,电费上涨使??量增?时出现??体验差的问题。第2层协议就是为了解决这个问题诞?。
Layer2是什么
Layer2是解决?案的统称,旨在通过在以太坊主?(第1层)上处理交易来帮助扩展应?程序,同时利?强?的主?分散式安全模型。当?络繁忙时,交易处理速度会受到影响,这会使某些类型的dapps的??体验变差。随着?络的?益繁忙,电费也随着交易发送?的竞标?上涨。这可能会使使?以太坊变得?常昂贵。
Rollup是什么
rollup中?直译为打包,以前的?法为编程语?模块打包器,相当于python中的module。现在?于第2层协议中的?种解决?案。总的来说,它们把主链下的很多交易打包,?成?份声明或者证明,证明此包内的所有交易合法,然后只将其中?部分内容发布到主链,从?增加速度,减少电费和交易费消耗。
知情人士:美国或将达成一项关于稳定币的全面框架协议:金色财经报道,美国众议院金融服务委员会的多数民主党人反对一项法案,该法案将指示监管机构为数字资产从证券过渡到商品提供明确的路径,以及美国加密货币监管的其他重大变化。民主党领袖、众议员Maxine Waters表示,该法案对加密行业过于友好,他们对共和党人决定推进一项大规模市场结构法案以改写美国的投资者保护法案感到失望。由于民主党以微弱优势控制参议院,民主党的反对使市场法案在本届国会成为法律的道路变得复杂。如果党内大多数成员反对,拜登不太可能将一项法案签署为法律。
不过,Waters和众议院金融服务委员会主席Patrick McHenry乐观地认为,稳定币法案或是可行的,正在进行的最后一刻谈判可能会就稳定币立法与市场法案达成更多协议,并将在周四进行委员会投票。[2023/7/27 16:01:01]
特点
交易执?在主?之外;
dYdX关于“从LP奖励转向做市商返利”的提案已通过,做市商返利增长为0.85bps:7月24日消息,据Snapshot投票页面显示,dYdX关于“从LP奖励转向做市商返利”的提案已通过,该提案提议将做市商返利由0.5bps提升为0.85bps,将LP奖励减少50%,由1150685 DYDX/epoch降为575342.5DYDX/epoch,LP削减部分将进入奖励金库,通过DAO投票分配。预计这一减少将导致交易所流动性改善,达到或接近账面顶部;对于LP来说,经济上大致是中性的;它将显著减少每月DYDX释放。目前提案已通过,减少LP奖励需要在短时间锁内进行链上投票。[2023/7/24 15:54:51]
但交易数据或交易证明存储于主?,以便于验证.
种类
零知识证明zk-rollup;
优化optimistic-rollup(笔者?译)
关于“在YAM中禁用Rebase机制”的链上治理投票正式结束:官方消息,关于“在YAM中禁用Rebase机制”的链上治理投票正式结束。355000票赞成,910票反对。提案已在队列中,并将在12小时的强制时间锁定后执行。[2020/12/29 15:57:58]
ZK-Rollup
简介
这?仅为简单介绍,详细部分会另开?章介绍。简单来说,零知识证明就是在不暴露秘密的情况下,说服对?我有这么?个秘密。例如对于A,B两?,A知道秘密a,b(和a+b=7),B知道线性映射f(x),B发给A映射f,A计算f(a)和f(b)并发给B,B计算f(a)+f(b)=f(a+b)。如果f(a+b)=f(7),那么B可以确信A知道a+b=7。从历史来讲,零知识这?概念最早出现于1985年,ShafiGoldwasser,SilvioMicali,andCharlesRackoff「TheKnowledgeComplexityofInteractiveProof-Systems」。?零知识证明?于Rollup最早出现于2018年Barry的??书中。
声音 | 复旦大学教授斯雪明:未来区块链体结构将向拟态群体异构体系结构发展:中国计算机学会区块链专委会主任、复旦大学教授斯雪明在题为“区块链—形式化表示与体系结构演进”的演讲中表示提出了区块链拟态群体异构体系结构。该结构包括: 1.区块链系统中的部件可以根据应用场景动态调整变化; 2.不同部件的不同实现方式,完成统一的目的; 3.系统的部件异构,构建最适合应用的区块链系统。 针对特定的应用场景,选择合适的异构部件,构建最优的体系结构, 达到理想的应用目标。[2018/11/25]
零知识证明在rollup中的作?
这?零知识证明主要是?于以太坊区块链上发布并公开记录该区块的有效性。在Layer2上被打包的交易将会以?个证明的形式发布于主链,这使得每个?都有验证它的办法。主要?的是防?有?恶意利?Layer2上的交易来篡改信息。值得注意的是,零知识证明并不是隐私保证,也不是加密系统。因为除了拥有该秘密的?以外,没有?可以解密。从诞??今,零知识证明或者说ZK-Rollup经历了三个发展阶段:SNARK,STARK,和Bulletproofs.?前来说Zcash,ZKSync(MatterLabs),DarkForest(Game)等在使?SNARK,Monero使?Bulletproofs.从下图中可以对?这三种?法的区别。具体例?将在后?介绍。
动态 | 阿里帮助茅台开发二维码-区块链溯源认证系统:据新浪科技报道,马云率队夜访茅台集团,表达了推动两家集团进一步战略合作的意愿。党委书记、董事长李保芳表示,阿里帮助茅台开发的产品二维码-区块链溯源认证系统,有效提升了产品溯源、真假验证、交易支付等方面的服务水平。[2018/9/8]
特点
对?Plasma和侧链
由于Plasma和侧链的扩容性问题,Rollup本?被视为新兴解决?案,?ZK-Rollup?是其中可扩容性最强的,也是处理交易速度最快的,相对于Plasma和OP-Rollup??。它的数据只有很少?部分存储于主链上。
单笔交易费降低。
对?OP-Rollup
?般说来,它的验证速度快,证明?成速度很慢。但是由于它的?成依赖于智能合约,所以相当于把所有?的?作分给了?个?做,剩下的?的?作就是简单的验证,这?单指SNARK。
不需要欺诈游戏,从?使交易快速被验证?块(约?分钟)。
零知识证明的计算困难要求数据优化以获取最?吞吐量。
ZK-Rollup需要?成?个初始串,这会使系统中?化?些。
量?计算可以破解,这?指SNARK。STARK可以抵御量?攻击。
它需要的安全性假设更?。
OP-Rollup
简介
优化Rollup出现于2019年7?,由JohnAdler在以太坊基?会研究论坛上提出想法。?前使?Optimistic-Rollup的有Optimism,FuelLabs,Arbitrum想法较为简单,这?OP-Rollup?共有两种链下??,聚合者(Aggregator)和验证者(Validator)。在Layer2发?的交易被聚合者打包,并?成?个Merkle树的头,和智能合约。在聚合者质押?笔资?后,聚合者可以将打包的交易上传?主链。验证者审查该打包,可以提出质疑,并给出欺诈证明(fraudproof)。
欺诈证明:验证者可以审查资?状态和总和,对?于??的本地状态,若发现有?正常更新,则验证者可以提出质疑并更改从该区块到之后的所有区块(区块在从rollup上传?主链后会有1-2周的质疑时间,若此时间内??质疑则该区块完结)。提出质疑的验证者可以得到聚合者质押的资?。
OP-Rollup使?博弈论和验证游戏来确保数据验证,它们的运作假设是每个?都遵守道德规范,但如果有恶意?发布交易,则区块回退,因此命名为OptimisticRollups。
特点
?交易周期:相对于ZK-Rollup??,OP-Rollup需要1-2周时间完结区块。交易速度不慢,但交易状态完结需要较?周期。
?应?性:?前??两种Rollup均?持EVM。ZK-Rollup最近也?持EVM,使得OP-Rollup失去了原本优势的其中之?。
?交易速度与交易费:现实交易速度500笔/每秒,相对于ZK-Rollup的2000笔/每秒存在劣势。
?数据记录:所有交易数据均记录在主链,?需信任第三?,但也加重了交易费。
?安全假设:OP-Rollup假设?多数验证者是诚实的。
另?份对?表格?下图:
总结
总结??,Rollup想法并不难掌握,该想法侧重于打包链下交易并设法放?主链。打包的交易发?并执?于链下,从?加快交易速度。链上存储的数据减少?只需要Merkle树的头或者?个证明,从?节省费?。对???,笔者更看好ZK-Rollup在?期的前景,OP-Rollup原本最?的优势在于其应?性及?户体验良好。这两点优势在ZK-Rollup已经应?EVM及?前?速发展中已经逐渐消失。?ZK-Rollup的安全性更强,理论交易速度更快,存储数据更少从?更加节省费?。只有?点?前存疑,就是ZK-Rollup的计算性过?,可能还是会导致费?上的劣势。另?点疑问将在下篇?章中给出,当然也可能是笔者对于SNARK应?于实践的过程了解不甚所导致。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。