关于Rollup 你应该知道的基础知识

Layer 2 是解决⽅案的统称, 旨在通过在以太坊主⽹(第 1 层) 上处理交易来帮助扩展应⽤程序, 同时利⽤强⼤的主⽹分散式安全模型。当前以太坊交易速度慢,电费上涨使⽤⼾量增⼤时出现⽤⼾体验差的问题。第 2 层协议就是为了解决这个问题诞⽣。

Layer 2 是解决⽅案的统称, 旨在通过在以太坊主⽹(第 1 层) 上处理交易来帮助扩展应⽤程序, 同时利⽤ 强⼤的主⽹分散式安全模型。当⽹络繁忙时, 交易处理速度会受到影响, 这会使某些类型的 dapps 的⽤⼾体验变差。随着⽹络的⽇益繁忙, 电费也随着交易发送⽅的竞标⽽上涨。这可能会使使⽤以太坊变得⾮常昂贵。

rollup 中⽂直译为打包,以前的⽤法为编程语⾔模块打包器,相当于 python 中的 module。现在⽤于第 2 层协议中的⼀种解决⽅案。总的来说,它们把主链下的很多交易打包,⽣成⼀份声明或者证明,证明此包内的所有交易合法(即交易前 Merkle 树的根和前⼀包内的交易后根对应的上,且交易内容合 规),然后只将其中⼀部分内容发布到主链,从⽽增加速度,减少电费和交易费消耗。

花旗:预计存储芯片制造商未来定价能力低:8月22日消息,花旗根据需求趋势称,专注于存储芯片的半导体公司在下半年可能面临定价能力呈下降趋势的风险。鉴于服务器需求不温不火导致存储芯片需求进一步疲软的可能性增加,预计下半年该类芯片价格将面临额外的下行风险。分析师Peter Lee在谈到某一类存储芯片时预计,由于Alphabet、亚马逊和微软等公司正在消化库存,它们在下半年将不会下DRAM新订单。预计第四季度平均售价将较上季度下降17%,此前预期为下降13%。这一变化归因于“近期持续的宏观不确定性”。(金十)[2022/8/22 12:41:13]

交易执⾏在主⽹之外;

但交易数据或交易证明存储于主⽹, 以便于验证.

零知识证明 zk-rollup;

优化 optimistic-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 年,Shafi Goldwasser, Silvio Micali, and Charles Rackoff「The Knowledge Complexity of Interactive Proof-Systems」。⽽零知识证明⽤于 Rollup 最早出现于 2018 年 Barry 的⽩⽪书中。

美国10年期盈亏平衡通胀率升至2.223%为2014年以来最高:数据显示,美国10年期盈亏平衡通胀率升至2.223%,为2014年以来最高。[2021/2/12 19:38:22]

这⾥零知识证明主要是⽤于以太坊区块链上发布并公开记录该区块的有效性。在 Layer2 上被打包的交易将会以⼀个证明的形式发布于主链,这使得每个⼈都有验证它的办法。主要⽬的是防⽌有⼈恶意 利⽤Layer2 上的交易来篡改信息。值得注意的是,零知识证明并不是隐私保证,也不是加密系统。因为除了拥有该秘密的⼈以外,没有⼈可以解密。从诞⽣⾄今,零知识证明或者说 ZK-Rollup 经历了三个发展阶段:SNARK, STARK, 和 Bulletproofs. ⽬前来说 Zcash, ZK Sync(Matter Labs), DarkForest(Game) 等在使⽤SNARK,Monero 使⽤ Bulletproofs. 从下图中可以对⽐这三种⽅法的区别。具体例⼦将在后⽂介绍。

AOFEX创新型期权24H交易量2254万USDT:据AOFEX创新型期权交易数据:截至18:00, BTC 1M交割期权成交量456.2万USDT,多空换手频次15201次,看多/看空买入量比为1.27;5M交割期权成交量938.9万USDT,多空换手频次27013次,看多/看空买入比为1.26。

 AOFEX数字货币金融衍生品交易所,旨在为用户提供优质服务和资产安全保障。[2020/10/21]

由于 Plasma 和侧链的扩容性问题,Rollup 本⾝被视为新兴解决⽅案,⽽ZK-Rollup⼜是其中可扩容性最强的,也是处理交易速度最快的,相对于 Plasma 和 OP-Rollup⽽⾔。它的数据只有很少⼀部分存储于主链上。

单笔交易费降低。

⼀般说来,它的验证速度快,证明⽣成速度很慢。但是由于它的⽣成依赖于智能合约,所以相当于 把所有⼈的⼯作分给了⼀个⼈做,剩下的⼈的⼯作就是简单的验证,这⾥单指 SNARK。

不需要欺诈游戏,从⽽使交易快速被验证⼊块 (约⼗分钟)。

零知识证明的计算困难要求数据优化以获取最⼤吞吐量。

ZK-Rollup 需要⽣成⼀个初始串,这会使系统中⼼化⼀些。

量⼦计算可以破解,这⾥指 SNARK。STARK 可以抵御量⼦攻击。

它需要的安全性假设更⾼。

优化 Rollup 出现于 2019 年 7⽉,由 John Adler 在以太坊基⾦会研究论坛上提出想法。⽬前使⽤ Optimistic-Rollup 的有 Optimism, Fuel Labs, Arbitrum 想法较为简单,这⾥OP-Rollup⼀共有两种链下⻆⾊,聚合者 (Aggregator) 和验证者 (Validator)。在 Layer2 发⽣的交易被聚合者打包,并⽣成⼀个 Merkle 树的头,和智能合约。在聚合者质押⼀笔资⾦ 后,聚合者可以将打包的交易上传⾄主链。验证者审查该打包,可以提出质疑,并给出欺诈证明 (fraud proof)。

欺诈证明:验证者可以审查资⾦状态和总和,对⽐于⾃⼰的本地状态,若发现有⾮正常更新,则验证 者可以提出质疑并更改从该区块到之后的所有区块 (区块在从 rollup 上传⾄主链后会有 1-2 周的质疑时 间,若此时间内⽆⼈质疑则该区块完结)。提出质疑的验证者可以得到聚合者质押的资⾦。

OP-Rollup 使⽤博弈论和验证游戏来确保数据验证,它们的运作假设是每个⼈都遵守道德规范,但如 果有恶意⽅发布交易,则区块回退,因此命名为 Optimistic Rollups。

特点

另⼀份对⽐表格⻅下图:

总结⽽⾔,Rollup 想法并不难掌握,该想法侧重于打包链下交易并设法放⼊主链。打包的交易发⽣并执⾏于链下,从⽽加快交易速度。链上存储的数据减少⾄只需要 Merkle 树的头或者⼀个证明,从⽽节省费⽤。对⽐⽽⾔,笔者更看好 ZK-Rollup 在⻓期的前景,OP-Rollup 原本最⼤的优势在于其应⽤性及⽤户体验良好。这两点优势在 ZK-Rollup 已经应⽤EVM 及⽬前⻜速发展中已经逐渐消失。⽽ZK-Rollup 的安全性 更强,理论交易速度更快,存储数据更少从⽽更加节省费⽤。只有⼀点⽬前存疑,就是 ZK-Rollup 的计算性过⾼,可能还是会导致费⽤上的劣势。另⼀点疑问将在下篇⽂章中给出,当然也可能是笔者对于 SNARK 应⽤于实践的过程了解不甚所导致。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

比特币推动ETH进入通缩时代?一文读懂伦敦升级

今年下半年,以太坊社区将迎来两大变革性重点升级:「伦敦升级」和「上海升级」。 伦敦升级包含的 EIP-1559 将改变以太坊主网的 Gas 费用结构,为 ETH 代币模型引入销毁机制,同时 EIP-3529 将直接影响到升级后以太坊上的 Gas Token 失效。

DAI了解Solana:涡轮机、海湾流和海平面

历经两轮牛市,Solana终于在2021年大放异彩。 Solana是一个高性能、高质量的公链,旨在不牺牲去中心化或安全性的情况下,提供快速、便宜、抗审查的区块链网络,以满足快速增长的应用落地需求。 目前,分片、侧链等仍是各大公链试图提高自身性能的主流方案。 然而,Solana另辟蹊径,利用自己独创的新技术,带来了更有效的可扩展性解决方案。

[0:15ms0-0:890ms