介绍 Sovereign - Notes

Sovereign是一个开放的、相互关联的rollup生态系统，我们的目标是使所有开发人员能够部署可在任何区块链上运行的无缝互操作和可扩展的rollups。

这就是我们构建Sovereign SDK 的原因，这是用于创建安全且可互操作的Sovereign zk-rollup 的最简单框架。

问题：区块链应用程序无法扩展

单片 L1 无法扩展

在寻求扩展区块链应用程序的过程中，出现了三种主要范式：特定于应用程序的第 1 层、optimistic rollups和 zk rollups。

特定于应用程序的第 1 层是最容易设计和实现的 - 但它们有一个明显的缺点：每个第 1 层都必须招募自己的验证者，并说服他们投入足够的资金来保护链免受攻击。

资本成本就是这样，这种方法只适用于少数资金充足的应用程序。

Optimistic rollups打破可组合性

Rollups试图通过允许开发人员使用新逻辑扩展现有区块链来解决这个问题，而不是启动新逻辑，这大大降低了应用链开发的进入门槛。

但Optimistic的rollups（今天主导市场的rollups）并不是灵丹妙药，为了最大程度地减少共享验证器集的负担，Optimisticrollups依赖于欺诈证明来防止不当行为。

在攻击期间，这些欺诈证明可能会被审查 - 因此Optimistic的rollups具有很长的“最终延迟”，在此期间，交易可以通过欺诈证明的出现来回滚，这使得桥接Optimisticrollups变得缓慢且成本高昂。

因此，Optimistic的rollups开发人员必须做出艰难的选择：他们是否构建狭窄的、专用的rollups，并期望用户频繁地在链之间架桥？或者他们是否构建了试图在一个位置满足用户所有需求的通用rollups？

这两种选择都不好，在Optimistic链之间架起桥梁太慢，太昂贵，风险太大，无法成为日常操作。但是，Optimistic rollups经常存在单片 L1 的许多缺点：它们不仅存在自身的可扩展性问题，而且还无法支持应用链可以创建的全部功能多样性。

Zk-Rollups是未来

出于所有这些原因，我们预计 zk-rollups 将成为主要的扩展范式，它们具有Optimistic rollups的优点，但没有长时间的最终延迟。用户无需等待数天才能查看欺诈证明是否出现，而是可以在创建有效性证明后立即确信他们的交易是最终的 - 这个过程可能只需要几秒钟。

但是，如果 zk-rollups 是卓越的扩展解决方案，为什么不是每个人都使用它们呢？因为到目前为止，实际构建 zk-rollups 是一项艰巨的任务 - 需要专业密码工程师多年的努力。

什么是Sovereign软件开发工具包？

Sovereign SDK 旨在为 zk-rollups 做 Cosmos SDK对第 1 层链所做的工作。

它将提供通常进入区块链的所有样板 - p2p网络，数据库和RPC节点 - 让构建者专注于其链的业务逻辑。此外，它还将提供一组在零知识环境中高效运行的默认模块：令牌实现、经过身份验证的数据存储和桥接模块。

开发人员将能够将这些原语组合到应用程序链中，或者通过实现一组标准的 API 完全从头开始构建自己的状态转换函数。

更好的是，Sovereign SDK将是第一个抽象出零知识细节的rollups框架，为了利用它的强大功能，开发人员不需要成为密码学专家。相反，开发人员将能够用惯用的 Rust（或最终C++）编写他们的应用程序，SDK 会自动将其编译为高效的 zk虚拟机。

基于证明聚合的桥接

Sovereign SDK 将提供哪些属性？

1，Sovereign SDK rollups将实现无缝互操作，我们使用基于证明聚合的新型桥接技术，允许共享 L1 上的Sovereign SDK rollups在没有受信任的第三方的情况下来回桥接。

由于 zk 证明可以聚合，因此rollups将能够以最低的成本维护任意数量的桥，链下中继器可以将所有对等节点rollups的证明聚合到一个证明中，并且只有单个证明可以在链上验证。

由于状态转换被证明是有效的，因此无需向流动性提供者支付费用或等待一周才能完成交易，马上桥接，没有缺点。

2，Sovereign SDK rollups将安全缩放，通过专门构建每个组件，特别是用于zk-rollups，Sovereign SDK将在默认情况下提供出色的性能。

由于并行性的进步，我们的证明将以秒为单位测量延迟，凭借零知识证明的魔力，链将能够在不牺牲最终用户可验证性的情况下进行扩展。

3，Sovereign SDK rollups可以在任何区块链上运行，Sovereign SDK 链将检查证明的责任委托给最终用户，而不是底层 L1，这就是使它们成为“Sovereign”rollups而不是智能合约rollups的原因。

由于数据可用性层不需要验证证明的功能，因此Sovereign SDK rollups可自动跨任何 L1 移植，一次编写，随处运行。

我们目前正在努力开发Sovereign SDK，我们目前的路线图分为三个阶段：

第一阶段：研究（进行中）

Sovereign SDK目前正在进行研发，我们正在设计默认存储模块、加密经济学和核心 API。（如果您有兴趣解决这些问题，请查看我们的工作委员会)

我们还在研究原型，尽管SDK将支持广泛的数据可用性层和证明系统，但我们当前的原型集成了用于数据可用性的Celestia和用于证明的Risc0，我们预计这一阶段将在2023年第二季度左右完成。

第 2 阶段：初始实施

SovereignSDK的初始实施将与其余研究同时开始，在此期间，我们将实现对等网络、RPC 节点、核心 API 以及默认存储和排序模块。

第 3 阶段：硬化

SDK 功能完成后，我们将需要大量时间进行代码清理、测试、模糊测试和审核。在此期间，我们还将开始开发 SDK 的第一个用例（有关这些用例的更多详细信息将公布！我们希望看到主网链在强化初始实现大约六个月后使用 SDK。

在Sovereign实验室，我们希望看到区块链支持数十亿用户，只有当没有密码学博士学位的开发人员可以访问零知识技术时，并且如果不是专业协议工程师的开发人员可以访问构建rollups时，才会发生这种情况。

但是，如果以牺牲最终用户的可验证性为代价，那么无限的可扩展性就毫无价值，如果构建、运行或查看区块链的状态需要某个中心化实体的合作，那么我们就失败了。

这就是为什么 Sovereign SDK 将始终是完全免费和开源的 - 以及我们致力于设计堆栈的每个组件以实现最大的弹性，但不要只相信我们的话。我们正在公共场所建造 - 快来看看吧。

缩放应该很简单。有了Sovereign SDK，它最终会成为现实。