原文标题:《 CryptoYC Insight|Rollup 学习笔记 》原文来源: Heng Youzhe, CryptoYC Labs Layer 2 是解决⽅案的统称, 旨在通过在以太坊主⽹(第 1 层) 上处理交易来帮助扩展应⽤程序, 同时利⽤强⼤的主⽹分散式安全模型。当前以太坊交易速度慢,电费上涨使⽤⼾量增⼤时出现⽤⼾体验差的问题。第 2 层协议就是为了解决这个问题诞⽣。 Layer 2 是什么Layer 2 是解决⽅案的统称, 旨在通过在以太坊主⽹(第 1 层) 上处理交易来帮助扩展应⽤程序, 同时利⽤ 强⼤的主⽹分散式安全模型。当⽹络繁忙时, 交易处理速度会受到影响, 这会使某些类型的 dapps 的⽤⼾体验变差。随着⽹络的⽇益繁忙, 电费也随着交易发送⽅的竞标⽽上涨。这可能会使使⽤以太坊变得⾮常昂贵。 Rollup 是什么rollup 中⽂直译为打包,以前的⽤法为编程语⾔模块打包器,相当于 python 中的 module。现在⽤于第 2 层协议中的⼀种解决⽅案。总的来说,它们把主链下的很多交易打包,⽣成⼀份声明或者证明,证明此包内的所有交易合法(即交易前 Merkle 树的根和前⼀包内的交易后根对应的上,且交易内容合 规),然后只将其中⼀部分内容发布到主链,从⽽增加速度,减少电费和交易费消耗。 特点
这⾥仅为简单介绍,详细部分会另开⽂章介绍。简单来说,零知识证明就是在不暴露秘密的情况下,说服对⽅我有这么⼀个秘密。例如对于 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 的⽩⽪书中。 零知识证明在 rollup 中的作⽤这⾥零知识证明主要是⽤于以太坊区块链上发布并公开记录该区块的有效性。在 Layer2 上被打包的交易将会以⼀个证明的形式发布于主链,这使得每个⼈都有验证它的办法。主要⽬的是防⽌有⼈恶意 利⽤Layer2 上的交易来篡改信息。值得注意的是,零知识证明并不是隐私保证,也不是加密系统。因为除了拥有该秘密的⼈以外,没有⼈可以解密。从诞⽣⾄今,零知识证明或者说 ZK-Rollup 经历了三个发展阶段:SNARK, STARK, 和 Bulletproofs. ⽬前来说 Zcash, ZK Sync(Matter Labs), DarkForest(Game) 等在使⽤SNARK,Monero 使⽤ Bulletproofs. 从下图中可以对⽐这三种⽅法的区别。具体例⼦将在后⽂介绍。 (责任编辑:admin) |