一文了解Sovereign：为Rollups提供SDK，降低零知识证明技术使用门槛
原文：《》
编译：王尔玉，PANews
专注于构建rollup的加密项目Sovereign Labs完成740万美元种子轮融资。本轮融资由Haun Ventures领投，Maven 11、1KX、Robot Ventures和Plaintext Capital参投。该项目发言人表示，此次融资使该公司的估值达到了“八位数”。据了解，Sovereign Labs正在构建一个软件开发工具包(SDK)，帮助开发人员创建安全且可互操作的零知识rollup。本文是Sovereign官方撰写的项目介绍，PANews翻译如下。
Sovereign是一个开放互联的生态系统。致力于让所有开发人员都能部署能够无缝互操作和可扩展的rollups，且能在所有区块链上运行。这就是打造Sovereign SDK的初衷，这将是最简单的用于创建安全且可互操作的主权zk-rollup的框架。
痛点：区块链应用程序无法扩展
铁板一块的L1无法扩展
目前区块链应用程序的扩展主要有三种范式：专门针对应用程序的L1公链、optimistic rollups及zk-rollups。针对应用程序的L1公链最易设计和部署，但存在明显缺陷。每个L1都必须招募自己的验证者，并说服他们质押足够的资金，以保护区块链免受攻击。由于资金成本高昂，该方法仅适用于少数资金充沛的应用程序。
Optimistic Rollups会破坏可组合性
Rollups解决这个问题的思路是：允许开发人员使用新逻辑扩展现有区块链，而非启动新区块链。这大大降低了应用链的开发门槛。
但如今的optimistic rollups也不是灵丹妙药。为了最大程度地减少共享验证者集的负担，optimistic rollups依靠欺诈证明（fraud proofs）来防止不当行为。受到攻击时，欺诈证明可能会面临审查，因此optimistic rollups有很长的“最终性延迟”，交易会因欺诈证明的出现而回滚。对optimistic rollups的桥接会因此变得缓慢而昂贵。
optimistic rollup开发人员必须做出艰难抉择：到底是构建针对狭窄的具体用途的rollup，让用户在区块链之间频繁桥接？还是构建通用rollup，以在一个地方满足用户的全部需求？这两种选择都不够好。Optimistic各链之间的桥接速度太慢，费用太高，风险太大，不能满足日常使用。而通用optimistic rollups要面对铁板一块的L1公链的许多缺陷：它们不仅存在自身的可扩展性问题，而且无法支持应用链可创建的完整的多样功能。
Zk-Rollups才是未来
基于上述原因，我们预计zk-rollups将成为主导的扩展范式。它具有optimistic rollups的优点，同时没有长时间的最终性延迟。用户无需等待数天以确定是否出现欺诈证明，只要有效性证明被创建出来（可能只需几秒），用户即可确信交易已经完成。
那么，既然zk-rollups是更好的扩展方案，为何尚未大规模普及呢？原因是目前为止，实际构建zk-rollups是一项艰巨任务，需要非常专业的密码学工程师持续数年的投入。
Sovereign应运而生
什么是Sovereign SDK？
致力于为zk-rollups做Cosmos SDK为L1公链所做的事情。
它将提供通常由区块链提供的各种样板组件，如p2p网络、数据库和RPC节点，让构建者可以专注于自身区块链的商业逻辑。此外，它将提供一组在零知识环境下高效运行的默认模块：代币部署，经验证的数据存储，及桥接模块。开发人员可将这些原语组件整合至应用链中，或通过部署一组标准API，完全从头构建自己的状态转换函数（state-transition functions）。
不仅如此，Sovereign SDK将成为首个剔除复杂的零知识细节的rollup框架。要利用其强大功能，开发人员无需成为密码学专家，只需通过惯用的Rust（或最终使用C++）编写应用程序即可，会将之自动汇编至的。
基于证明聚合的桥接
Sovereign SDK有哪些特性？
1. Sovereign SDKrollups可实现无缝互操作。我们使用一种基于证明聚合的新型桥接技术，可在无需受信任的第三方的情况下，实现共享L1上的Sovereign SDK rollups的来回桥接。zk-proofs可实现聚合，rollups将能以最小的成本维护尽可能多的桥接。链下中继器可将所有同期rollups的证明聚合成单一证明，然后只需在链上验证该单一证明即可。而且由于状态转换被证明是有效的，因此无需向流动性提供者支付费用或等待一周时间来完成交易。即刻桥接，完美无缺。
2.Sovereign SDKrollups将是安全且可扩展的。通过针对zk-rollups中的使用场景，量身定制每个组件，Sovereign SDK将默认提供出色性能。得益于并行性技术的进步，我们的证明将只有数秒延迟。借助零知识证明的魔力，区块链将能在不牺牲终端用户可验证性的情况下实现扩展。
3.Sovereign SDK Rollups可在任何区块链上运行。SovereignSDK链将检查证明的责任委托给终端用户，而非底层的L1公链。因此，它们才被称为“主权”（sovereign）rollup，而非智能合约rollup。由于数据可用性层无需具备验证证明的能力，Sovereign SDK rollup可自动移植到任何L1。
项目进展
目前正在努力开发Sovereign SDK，路线图分为三个阶段。
第一阶段：研究（进行中）
Sovereign SDK正在研发中。我们正在设计默认存储模块、加密经济模型和核心API。我们也在开发一个研究原型。SDK将支持广泛的数据可用性层和证明系统，但我们当前的原型集成了用于数据可用性的Celestia和用于证明的Risc0。我们预计该阶段将在2023年第二季度前后完成。
第二阶段：初步部署
Sovereign SDK的初步部署将与剩余研究同步进行。在此期间，我们将部署p2p网络、RPC节点、核心API以及默认存储和排序模块。
第三阶段：硬化历练
SDK功能完善后，我们将投入大量时间进行代码清理、测试、模糊测试和审计。同时，我们还将开发SDK的首个用例。预计初始部署的硬化将持续约六个月，随后SDK将登陆主网。
让扩展更容易
Sovereign Labs希望看到区块链为数十亿用户提供支持。要实现这一点，必须降低零知识技术的门槛：开发人员不再需要成为密码学博士，打造Rollups也不再需要专业的协议工程师。
但如果以牺牲终端用户的可验证性为代价，无限可扩展性也就毫无意义了。如果构建、运行或查看区块链的状态仍需依靠与某个中心化实体的合作，我们也不必奢谈胜利了。正因为此，Sovereign SDK将始终保持完全免费和开源，并致力于以最高的韧性标准来打造技术机构中的每一个组件。最后，空口无凭，我们的建设过程是的。
