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

현재 언어 번역이 없어 원문을 표시합니다.
Sovereign提供rollup开发工具,致力于降低零知识技术的门槛,开发人员不再需要成为密码学博士,打造Rollups也不再需要专业的协议工程师。

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

공유하기:

작성자: 王尔玉

이 글은 PANews 입주 칼럼니스트의 관점으로, PANews의 입장을 대표하지 않으며 법적 책임을 지지 않습니다.

글 및 관점은 투자 조언을 구성하지 않습니다

이미지 출처: 王尔玉. 권리 침해가 있을 경우 저자에게 삭제를 요청해 주세요.

PANews 공식 계정을 팔로우하고 함께 상승장과 하락장을 헤쳐나가세요
PANews APP
샤오홍슈는 이르면 이달 홍콩 증시에 기업공개(IPO) 신청서를 제출할 계획이며, 예상 기업 가치는 310억 달러 이상입니다.
PANews 속보