引介 | 扩展区块链: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