2023-01-31 18:03

三分钟了解 ZK Rollup SDK 项目 Sovereign

原文:sovlabs.eth

编译:DeFi 之道

1 月 31 日消息,由前以太坊核心开发者 Cem Özer 创建的 Sovereign Labs 在由 Haun Ventures 牵头的一轮融资中筹集了 740 万美元,旨在让开发人员能够轻松部署 ZK Rollups 。

据悉,这轮种子轮融资于 2022 年 11 月份完成,其他参投方包括 1kx、Robot Ventures 、Maven 11 以及 Plaintext Capital,此外,区块链开发商 Celestia Labs 的通信主管 Ekram Ahmed 担任了该公司的战略顾问。

Sovereign 是一个开放的、相互关联的 rollup 生态,其目标是让所有开发人员能够部署可在任何区块链上运行的无缝互操作和可扩展的 rollup。这就是为什么 Sovereign 构建了一个 SDK,用于创建安全且可互操作的 sovereign zk-rollup 的最简单框架。


问题:区块链应用难以扩展


单体 L1 无法扩容

在寻求扩展区块链应用的过程中,出现了三种主要范式:特定于应用的 L1 (也称为应用链)、Optimistic Rollups 以及 Zk-Rollups。其中,L1 应用链是最容易设计和实现的,但它们有一个明显的缺点,即每条 L1 都必须招募自己的验证者,并说服他们投入足够的资金来保护区块链免受攻击,因此,这种方式只适用于少数资金充足的应用项目。

Optimistic Rollups 会打破可组合性

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

但目前主导 rollup 市场的 Optimistic Rollups 并不是灵丹妙药。为了最大程度地减少共享验证器集的负担,Optimistic Rollups 依靠欺诈证明来防止不当行为。在攻击期间,这些欺诈证明可能会被审查——因此 Optimistic Rollups 有很长的“最终延迟”,在此期间交易可能会因欺诈证明的出现而经历回滚。这使得跨链连接 Optimistic Rollups 变得缓慢且代价高昂。

因此, Optimistic Rollups 开发人员必须做出艰难的选择:他们是否构建狭窄的、特殊用途的 Rollups,并期望用户在链之间频繁跨链?或者他们是否构建通用 rollups ,试图在一个地方满足用户的所有需求?这两种选择都不好, Optimistic Rollups 之间的跨链太慢、太昂贵,并且风险太大,无法成为日常操作。而通用 Optimistic Rollups 存在单体 L1 的许多缺点:它们不仅存在自身的可扩展性问题,而且无法支持应用链可创建的功能的完全多样性。

Zk-Rollups 才是未来

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

既然 Zk-Rollups 是更好的扩容解决方案,那为什么目前使用它们的人还是少数呢?因为截至目前,实际构建 Zk-Rollups 是一项艰巨的任务,这需要专业密码学工程师团队多年的努力。


Sovereign SDK 是什么?


Sovereign SDK 之于 Zk-Rollups ,就像 Cosmos SDK 之于 L1 应用链。

它将提供通常进入区块链的所有样板,包括:p2p 网络、数据库和 RPC 节点,让构建者专注于其链的业务逻辑。此外,它将提供一组在零知识环境中高效运行的默认模块:代币实现、经过身份验证的数据存储和跨链桥模块。开发人员将能够将这些原语组合到应用链中,或者通过实施一组标准 API 完全从头开始构建自己的状态转换函数。

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


Sovereign SDK 将提供哪些属性?


1、Sovereign SDK rollups 将无缝互操作:Sovereign 使用一种基于证明聚合的新型跨链桥技术,允许共享 L1 上的 Sovereign SDK rollups 在没有一个受信任第三方的情况下来回跨链。由于 zk-proofs 可以聚合, rollups 将能够以最小的成本维护尽可能多的跨链桥。链下中继器可以将所有 peer rollup 的证明聚合成一个证明,并且可以在链上验证这个证明。而且由于状态转换被证明是有效的,因此无需向流动性提供者(LP)支付费用或等待一周的时间来完成交易。可以立即完成跨链,没有缺点。

2、Sovereign SDK rollups 将是安全可扩展的:通过专门为 Zk-Rollups 构建每个组件,Sovereign SDK 默认情况下将提供出色的性能。由于并行性的进步,Sovereign 的证明将以秒为单位测量延迟。借助零知识证明的魔力,区块链将能够在不牺牲最终用户可验证性的情况下进行扩容。

3、Sovereign SDK Rollups 可以在任何区块链上运行:Sovereign SDK 链将检查证明的责任委托给最终用户,而不是底层的 L1。这就是使它们成为“主权” rollups,而不是智能合约 rollups 的原因。由于数据可用性层不需要验证证明的能力,因此 Sovereign SDK rollups 可以自动跨任何 L1 进行移植。编写一次,就可以在任何地方运行。


Sovereign SDK 路线图的三个阶段


目前 Sovereign Labs 团队正在努力开发其 SDK,它的路线图被分为了三个阶段:

第一阶段:研究 (进行中)

Sovereign SDK 目前还处于研发阶段, Sovereign Labs 团队正在设计默认存储模块、加密经济学以及核心 API,他们也在研发一个原型,尽管 Sovereign SDK 的目标是支持广泛的数据可用性层和证明系统,但其当前的原型集成了用于数据可用性的 Celestia 以及用于证明的 Risc0 ,根据预计,Sovereign SDK 的第一阶段将在 2023 年第二季度左右完成。

第二阶段:初步实施

Sovereign SDK 的初始实施将与剩余的研究同时开始。在此期间, Sovereign Labs 将实现 p2p 网络、RPC 节点、核心 API 以及默认存储和排序模块。

第三阶段:强化

一旦 SDK 功能完成, Sovereign Labs 将需要大量时间进行代码清理、测试、模糊测试以及审计,在此期间,他们还将开发 SDK 的第一个用例(有关这些的更多详细信息将在之后公布)。在强化初始实施大约六个月后,我们预计会看到主网链将使用 Sovereign SDK。

本文链接:https://www.aixinzhijie.com/article/6801048
转载请注明文章出处

评论
登录 账号发表你的看法,还没有账号?立即免费 注册
下载
分享
收藏
阅读
评论
点赞
上一篇
下一篇