1. 引言
ZK Stack有2个关键特性:
- sovereignty 主权:作为创建者,可对自己的链有完全的自由和权利来定制链的每一个方面。
- Hyperchains独立运行,依赖以太坊L1来提供安全性和活性。
- seamless connectivity 无缝连接。
- Hyperbridges促进了Hyperchains之间无需信任的互操作性。这些Hyperbridges实现了快速、经济高效(相当于一笔交易)的跨Hyperchains资产交换,在几分钟内完成整个信任链路。
2. Hyperbridges
传统bridge是在链A burn,在链B mint。不同于传统bridge,Hyperchains中所实现的原生hyper-bridges,其burn和mint的为实际token,而不是虚拟token representation。Hyperchain中存储的mint claim commitments,可确保对底层链是零开销的,且要求所有Hyperchains信任其它Hyperchains上的hyper-bridges,从而保证token supply的完整性。
3. Hyperchains
Hyperchains:zkEVM的这些类似分形(fractal-like)的实例并行运行,在L1主网上settle。
任何人都可 以无需许可的方式开发和部署Hyperchains,但是,为维护信任和互操作性,需使用与main zkSync L2 instance完全相同的zkEVM引擎,从而在无额外信任假设的情况下确保安全性。
受Cosmos或Substrate模块化启发,Hyperchain SDK框架为开发者提供了选择组件或设计组件的灵活性。
借助ZKP chains或Hyperchains,Fractal scaling(分形扩容),为超级扩容链生态提供了非凡的解决方案。
多个ZKP chains并行运行,这些链的block proofs聚合为一个final block在L1上settle。
该方案的美妙之处在于Hyperchains能够模拟(mimic)整个系统,使无限层的Hyperchains(L3、L4及更高层)能够相互叠加。
Hyperchain SDK 为开发者提供了多种定制选项,以满足特定需求。主要选项包含:
- 中心化Sequencer:由单个运营商通过REST API来接收用户交易。需信任该运营商来维护活性,阻止MEV滥用,避免未固化交易的重组。这种模式的优势是低延迟,适合用作高频交易场景。
- 去中心化Sequencer:Hyperchain中有共识算法,开发者可选择现有的如Tendermint或HotStuff with permissionless dPoS。或者,利用L1保证的最终性checkpoints,可以设计出一种更简单、性能更高的共识算法。
- 优先队列(Priority Queue):这种模式消除了对Sequencer的需求,允许批量提交所有交易。
参考资料
[1] 2023年6月博客 Hyperchains and Hyperbridges: Understanding the zkSync’s New ZK Stack Platform
[2] 2023年6月博客 Introducing the ZK Stack
zkSync系列博客
- zkSync 概览
- zkSync 基本原理
- zkSync 代码解析