Sovereign：为Rollup提供开发工具包，简化零知识证明技术的应用

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

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

区块链应用程序扩展的困境

传统L1的局限性

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

Optimistic Rollups的不足

Rollups通过允许开发人员使用新逻辑扩展现有区块链来解决这个问题。然而，目前主流的optimistic rollups也存在问题。它们依赖欺诈证明来防止不当行为，但这可能导致较长的"最终性延迟"，使得跨rollup的桥接变得缓慢且昂贵。

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，开发研究原型。

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

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

Sovereign Labs的愿景是让区块链能够支持数十亿用户。为实现这一目标，他们致力于降低零知识技术的使用门槛，同时保持终端用户的可验证性和去中心化。Sovereign SDK将保持完全免费和开源，并以最高的韧性标准构建每一个技术组件。