编者注：本文为 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
你可能还喜欢：
引介 | Rollup 各方案异同简介
科普 | ZK Rollup & Optimistic Rollup
干货 | 再议有效性证明 vs. 错误性证明