内容简介：编者注：本文为 iden3 的技术总监 Jordi Baylina 介绍 ZKRollup 可扩展方案的幻灯片，对 ZKRollup 的方方面面都做了介绍。为方便阅读，由编者根据内容划分了章节。简介 ZK-Rollup 的基本属性，包括 ZK-Rollup 如何实现可扩展性、简洁的可验证性和数据可用性（“我们不需要在数据上形成共识，只需要保证数据总是公开可得。”）。
编者注：本文为 iden3 的技术总监 Jordi Baylina 介绍 ZKRollup 可扩展方案的幻灯片，对 ZKRollup 的方方面面都做了介绍。为方便阅读，由编者根据内容划分了章节。
Part-1
简介 ZK-Rollup 的基本属性，包括 ZK-Rollup 如何实现可扩展性、简洁的可验证性和数据可用性（“我们不需要在数据上形成共识，只需要保证数据总是公开可得。”）。
Part-2
介绍 ZK-Rollup 的状态转换方式以及交易的构成。还介绍了交易的不同类型和处理方式，以及资金退出机制。
Part-3
这一部分介绍了 ZK-Rollup 的运营者和网络架构，包括验证者混洗、并行化证明构造、验证者罚没措施等设计。有趣的是，iden 3 所用的方案会将没收的资金用作安全赏金，激励开发者攻破方案所用的密码学元件。
Part-4
这一部分介绍的的是与交易密切相关的设计，包括交易的格式、链上/链下 哈希的方式、手续费收取方式、签名验证方法，等。
Part-5
这一部分讲的是 iden 3 会用到的 ZK 方案，以及成本（性能）估计。
附录
这一部分介绍了用来表示状态的默克尔树（稀疏默克尔树）与常用默克尔树的不同，解释了在稀疏默克尔树模式下是如何验证及更新状态的。
（完）
原文链接: https://ipfs.io/ipfs/QmUHpp1nkFFeT3eodJHj9V9xWyhnwEpenxHAGYgB7Lzjgw
作者:Jordi Baylina
以上所述就是小编给大家介绍的《引介 | 扩展区块链：ZK-Rollup》，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持！
猜你喜欢:
- 引介 | Fuel：免信任的侧链
- 引介 | ETH-Pow算法分析
- 引介 | Wisps：Create2 的奇妙世界
- 引介 | 形式化验证 Gasper 共识机制的终局性
- 引介 | Linkdrops：以太坊上发红包的开源标准
- 引介 | ETH 1.0 需要为 ETH 2.0 提供什么支持？
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
程序设计语言理论基础
米切尔 / 电子工业出版社 / 2006-11 / 68.00元
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!
