Sovereign：为Rollups提供SDK，降低零知识证明技术门槛

近日，一家专注于构建rollup的加密项目完成了740万美元的种子轮融资，估值达到"八位数"。该项目正在开发一个软件开发工具包(SDK)，旨在帮助开发人员创建安全且可互操作的零知识rollup。以下是对该项目的详细介绍。

Sovereign是一个开放互联的rollup生态系统，致力于让所有开发人员能够部署可无缝互操作和可扩展的rollups，并在各种区块链上运行。这就是Sovereign SDK的诞生初衷，它将成为创建安全且可互操作的主权zk-rollup的最简便框架。

当前区块链扩展方案的局限性

L1公链的扩展困境

目前，区块链应用程序的扩展主要有三种方式：针对特定应用的L1公链、optimistic rollups和zk-rollups。针对应用的L1公链虽然设计和部署较为简单，但存在明显缺陷。每个L1都需要招募验证者并说服他们质押足够资金以保护网络安全，这种高昂的资金成本使得该方法只适用于少数资金充裕的应用。

Optimistic Rollups的局限

Rollups的思路是允许开发人员使用新逻辑扩展现有区块链，而不是启动新的区块链。这大大降低了应用链的开发门槛。然而，当前主流的optimistic rollups也并非完美无缺。它们依赖欺诈证明来防止不当行为，这导致了较长的"最终性延迟"，交易可能因欺诈证明而回滚。这使得对optimistic rollups的桥接变得缓慢且昂贵。

开发人员面临两难选择：是构建针对特定用途的rollup，还是构建通用rollup？前者需要用户频繁在区块链间桥接，后者则面临与L1公链相似的可扩展性问题。

Zk-Rollups的优势与挑战

相比之下，zk-rollups被认为是更有前景的扩展方案。它具备optimistic rollups的优点，同时没有长时间的最终性延迟。一旦有效性证明生成（通常只需几秒），用户就能确信交易已完成。

然而，zk-rollups尚未大规模普及的原因在于其构建过程极为复杂，需要高度专业的密码学工程师长期投入。

Sovereign SDK的解决方案

Sovereign SDK旨在为zk-rollups提供类似Cosmos SDK为L1公链所做的支持。它将提供区块链常见的基础组件，如p2p网络、数据库和RPC节点，让开发者能够专注于自身的业务逻辑。此外，它还将提供一系列在零知识环境下高效运行的默认模块，包括代币部署、经验证的数据存储和桥接模块。

Sovereign SDK的一大特点是简化了复杂的零知识细节。开发人员无需成为密码学专家，只需使用常见的编程语言（如Rust或C++）编写应用程序，SDK就能自动将其编译为高效的zk虚拟机。

Sovereign SDK的主要特性

1. 无缝互操作：通过基于证明聚合的桥接技术，实现共享L1上的Sovereign SDK rollups之间的快速、低成本桥接。

2. 安全性与可扩展性：通过为zk-rollups定制每个组件，Sovereign SDK默认提供出色性能。借助并行技术，证明延迟可控制在数秒内。

3. 跨链兼容性：Sovereign SDK Rollups可在任何区块链上运行，因为它们将验证证明的责任交给了终端用户，而非底层L1公链。

项目发展路线

Sovereign SDK的开发计划分为三个阶段：

1. 研究阶段（进行中）：设计默认存储模块、加密经济模型和核心API，预计2023年第二季度完成。

2. 初步部署阶段：部署p2p网络、RPC节点、核心API以及默认存储和排序模块。

3. 硬化历练阶段：进行代码清理、测试、模糊测试和审计，同时开发SDK的首个用例。预计初始部署的硬化将持续约六个月，之后SDK将登陆主网。

结语

Sovereign Labs的目标是让区块链能够支持数十亿用户。为此，必须降低零知识技术的使用门槛，使普通开发人员也能轻松构建Rollups。同时，项目强调不会以牺牲终端用户的可验证性为代价追求可扩展性。Sovereign SDK将保持完全免费和开源，并致力于以最高标准构建每一个技术组件，确保整个生态系统的韧性和去中心化。