原文:《Introducing Sovereign

编译:王尔玉,PANews

专注于构建rollup的加密项目Sovereign Labs完成740万美元种子轮融资。本轮融资由Haun Ventures领投,Maven 11、1KX、Robot Ventures和Plaintext Capital参投。该项目发言人表示,此次融资使该公司的估值达到了“八位数”。据了解,Sovereign Labs正在构建一个软件开发工具包(SDK),帮助开发人员创建安全且可互操作的零知识rollup。本文是Sovereign官方撰写的项目介绍,PANews翻译如下。

Sovereign是一个开放互联的rollup生态系统。致力于让所有开发人员都能部署能够无缝互操作和可扩展的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?

Sovereign SDK致力于为zk-rollups做Cosmos SDK为L1公链所做的事情。

它将提供通常由区块链提供的各种样板组件,如p2p网络、数据库和RPC节点,让构建者可以专注于自身区块链的商业逻辑。此外,它将提供一组在零知识环境下高效运行的默认模块:代币部署,经验证的数据存储,及桥接模块。开发人员可将这些原语组件整合至应用链中,或通过部署一组标准API,完全从头构建自己的状态转换函数(state-transition functions)。

不仅如此,Sovereign SDK将成为首个剔除复杂的零知识细节的rollup框架。要利用其强大功能,开发人员无需成为密码学专家,只需通过惯用的Rust(或最终使用C++)编写应用程序即可,SDK会将之自动汇编至高效zk虚拟机

一文了解Sovereign:为Rollups提供SDK,降低零知识证明技术使用门槛

基于证明聚合的桥接

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将始终保持完全免费和开源,并致力于以最高的韧性标准来打造技术机构中的每一个组件。最后,空口无凭,我们的建设过程是公开的。