Sovereign：为Rollups提供开发工具包，降低零知识证明技术使用门槛

近日，一家专注于构建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依赖欺诈证明来防止不当行为。这导致交易有很长的"最终性延迟"，可能会因欺诈证明的出现而回滚。因此，对optimistic rollups的桥接变得缓慢且昂贵。

Zk-Rollups的优势

基于上述原因，zk-rollups被认为是未来主导的扩展方案。它具有optimistic rollups的优点，同时没有长时间的最终性延迟。用户无需等待数天来确认是否出现欺诈证明，只要有效性证明被创建（可能只需几秒），用户就能确信交易已经完成。

然而，构建zk-rollups仍然是一项艰巨任务，需要高度专业的密码学工程师长期投入。这正是Sovereign SDK旨在解决的问题。

Sovereign SDK的特点

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

Sovereign SDK的主要特点包括：

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

2. 安全且可扩展：通过针对zk-rollups的使用场景定制每个组件，Sovereign SDK默认提供优秀性能。

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

4. 降低使用门槛：开发人员无需成为密码学专家，只需使用常用的编程语言（如Rust或C++）编写应用程序，SDK会自动将其汇编至高效的zk虚拟机。

项目发展路线

Sovereign SDK的开发路线分为三个阶段：

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

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

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

结语

Sovereign Labs的愿景是让区块链为数十亿用户提供支持。为实现这一目标，降低零知识技术的使用门槛至关重要。Sovereign SDK将始终保持完全免费和开源，致力于以最高的韧性标准打造每一个技术组件。通过这种方式，Sovereign希望能够推动区块链技术的普及，同时保持终端用户的可验证性和去中心化的本质。