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

专注于构建rollup的加密项目Sovereign Labs完成740万美元种子轮融资。某知名风投机构领投，多家资本参投。该项目发言人表示，此次融资使公司估值达到了"八位数"。Sovereign Labs正在构建一个软件开发工具包(SDK)，帮助开发人员创建安全且可互操作的零知识rollup。

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

区块链应用程序扩展的痛点

目前区块链应用程序的扩展主要有三种范式：专门针对应用程序的L1公链、optimistic rollups及zk-rollups。

L1公链的局限性

针对应用程序的L1公链最易设计和部署，但存在明显缺陷。每个L1都必须招募自己的验证者，并说服他们质押足够的资金，以保护区块链免受攻击。由于资金成本高昂，该方法仅适用于少数资金充沛的应用程序。

Optimistic Rollups的不足

Optimistic rollups虽然降低了应用链的开发门槛，但也存在问题。它们依赖欺诈证明来防止不当行为，这导致了很长的"最终性延迟"，交易可能因欺诈证明的出现而回滚。对optimistic rollups的桥接因此变得缓慢而昂贵。

开发人员面临两难选择：是构建针对狭窄用途的rollup，让用户频繁桥接？还是构建通用rollup，以满足用户的全部需求？这两种选择都不够理想。

Zk-Rollups的优势

Zk-rollups被认为是未来的主导扩展范式。它具有optimistic rollups的优点，同时没有长时间的最终性延迟。用户无需等待数天，只要有效性证明被创建出来（可能只需几秒），就可以确信交易已经完成。

然而，目前构建zk-rollups仍是一项艰巨任务，需要专业的密码学工程师持续数年的投入。

Sovereign SDK的解决方案

Sovereign SDK旨在为zk-rollups提供类似于Cosmos SDK为L1公链所做的支持。它将提供区块链常见的样板组件，如p2p网络、数据库和RPC节点，让构建者可以专注于自身区块链的商业逻辑。

此外，它还将提供一组在零知识环境下高效运行的默认模块：代币部署、经验证的数据存储及桥接模块。开发人员可将这些原语组件整合至应用链中，或通过部署一组标准API，完全从头构建自己的状态转换函数。

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。开发研究原型，集成用于数据可用性的Celestia和用于证明的Risc0。

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

3. 硬化历练阶段：进行代码清理、测试、模糊测试和审计，同时开发SDK的首个用例。

Sovereign Labs的愿景是让区块链为数十亿用户提供支持。为此，他们致力于降低零知识技术的门槛，同时保持终端用户的可验证性。Sovereign SDK将始终保持完全免费和开源，并以最高的韧性标准来打造每一个技术组件。