编者注:本文为 iden3的技术总监Jordi Baylina介绍ZKRollup 可扩展方案的幻灯片,对ZKRollup的方方面面都做了介绍。为方便阅读,由编者根据内容划分了章节。
简介 ZK-Rollup的基本属性,包括ZK-Rollup如何实现可扩展性、简洁的可验证性和数据可用性(“我们不需要在数据上形成共识,只需要保证数据总是公开可得。”)。
介绍 ZK-Rollup的状态转换方式以及交易的构成。还介绍了交易的不同类型和处理方式,以及资金退出机制。
这一部分介绍了 ZK-Rollup 的运营者和网络架构,包括验证者混洗、并行化证明构造、验证者罚没措施等设计。有趣的是,iden 3 所用的方案会将没收的资金用作安全赏金,激励开发者攻破方案所用的密码学元件。
这一部分介绍的的是与交易密切相关的设计,包括交易的格式、链上/链下 哈希的方式、手续费收取方式、签名验证方法,等。
这一部分讲的是 iden 3 会用到的 ZK 方案,以及成本(性能)估计。
这一部分介绍了用来表示状态的默克尔树(稀疏默克尔树)与常用默克尔树的不同,解释了在稀疏默克尔树模式下是如何验证及更新状态的。
(完)原文链接:https://ipfs.io/ipfs/QmUHpp1nkFFeT3eodJHj9V9xWyhnwEpenxHAGYgB7Lzjgw作者: Jordi Baylina
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。