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使用欺诈证明来防止不当行为。这导致了较长的"最终性延迟"，交易可能因欺诈证明而被回滚。因此，optimistic rollups之间的桥接变得缓慢、昂贵且风险较高。

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的愿景是让区块链能够支持数十亿用户。为实现这一目标，他们致力于降低零知识技术的使用门槛，使开发人员无需成为密码学专家就能构建Rollups。同时，他们坚持保持SDK完全免费和开源，并以最高标准打造每个技术组件，以确保终端用户的可验证性不被牺牲。