Andreas Freund 博士(联合主席)代表 EEA 社区项目 L2 标准工作组
我们生活在一个多链的世界,数十亿美元的资产价值锁定在 100 多条链上。 而这些区块链资产的所有者的行为就像他们在传统金融中的资产一样:他们正在寻找套利机会来赚钱。 然而,与传统金融世界不同,在传统金融世界中,一个国家的资产可以在另一个国家的套利活动中使用,而无需通过可信赖的中介机构转移资产,同样的方法在很长一段时间内对区块链都不起作用,原因有以下三个:
- 区块链不能相互交谈,
- 由于公共区块链的不信任性质,在特定区块链上进行套利需要所有相关资产都存在于该区块链上,
- 并且在去信任区块链之间没有传统金融中可信赖的中介。
为了解决区块链上资本效率低下的问题,并在此过程中赚钱,有进取心的个人创建了区块链桥梁来应对这三个挑战,并开始将区块链生态系统连接在一起——是的,你现在可以在以太坊上交易比特币。 当然,网桥也可以用于其他类型的功能; 但是,主要功能是提高资本效率。
在高层次上,区块链桥连接两个区块链,促进 安全且可验证 通讯 通过信息和/或资产的转移在这些区块链之间。
这提供了许多机会,例如
- 资产跨链转移,
- 新的去中心化应用程序 (dApps) 和平台,允许用户访问各种区块链的优势——从而增强他们的能力,
- 来自不同区块链生态系统的开发人员可以协作并构建新的解决方案。
桥有两种基本类型:
受信任的桥梁 | 无需信任的桥梁 |
依赖中央实体或系统进行操作。 | 使用去中心化系统进行操作,例如带有嵌入式算法的智能合约。 |
关于资金保管和桥梁安全的信任假设。 用户主要依赖网桥运营商的声誉。 | 桥的安全性与底层区块链的安全性相同。 |
用户需要放弃对其加密资产的控制。 | 使用户能够通过智能合约控制他们的资金。 |
在两组信任假设中,我们可以区分不同的、常见的桥梁设计类型:
- 锁定、铸造和销毁代币桥:即时保证最终性,因为目标区块链上的铸造资产可以在需要时发生,而不会出现交易失败的可能性。 用户在目标区块链上收到一种合成资产,通常称为包装资产,而不是原生资产。
- 具有统一流动性的本地资产池的流动性网络:一个区块链上的单个资产池与其他区块链上的其他资产池相连,共享访问彼此的流动性。 这种方法无法实现即时的、有保证的最终性,因为如果共享池中缺乏流动性,交易可能会失败。
然而,所有设计,以及在任何信任假设下,都必须解决区块链桥面临的两个难题。
星际之门的 Ryan Zarick 提出的弥合三难困境
桥接协议可能只有以下三个属性中的两个:
- 即时保证确定性: 保证在源区块链上执行交易并在目标区块链上完成交易后立即在目标区块链上接收资产。
- 统一流动性: 源和目标区块链之间所有资产的单一流动资金池。
- 原生资产: 接收目标区块链资产,而不是代表源区块链上原始资产的桥铸造的资产。
由 Connext 的 Arjun Bhuptani 提出的互操作性三难困境
互操作性协议可能只有以下三个属性中的两个:
- 不信任: 与底层区块链相同的安全保证,无需新的信任假设。
- 可扩展性: 能够连接不同的区块链。
- 普遍性: 允许任意数据消息传递
除了可以通过巧妙设计解决的三难困境之外,区块链桥的最大挑战是安全性,正如 2021 年和 2022 年的许多黑客攻击所证明的那样; 无论是 Wormhole、Ronin、Harmony 还是 Nomad 事件。 从根本上说,区块链之间的桥梁仅与资产的桥梁(链)中使用的最不安全的区块链一样安全。 但是,对于锚定在同一第 2 层 (L1) 区块链上的第 1 层平台之间的桥梁来说,后一个问题不是问题,因为它们从共享的 L1 区块链共享相同的安全保证。
到目前为止,我们还没有具体讨论旨在扩展 L2 区块链同时继承 L1 安全保证的 L1 平台,因为 L2 严格来说是一种特定类型的桥:本地桥。 然而,在 L2 之间创建桥梁时,L2 平台有一些特性,例如 optimistic rollups vs. zk-rollups vs Validium rollups vs Volition rollups。 这些差异使它们变得特别,因为 L2 与 L1 以及不同 L2 之间在信任假设和最终性方面存在差异。
L2 之间的桥梁很重要的原因与 L1 相同:L2 资产正在寻求其他 L2 的资本效率,以及可移植性和其他功能。
如前所述,如果桥接的 L2 锚定在同一 L2 上,则可以克服 L1 平台上本机信任假设的差异。 而且这座桥不需要额外的信任假设。 然而,锚 L2 上 L1 交易最终性的差异使得以信任最小化的方式在 L2 之间桥接资产具有挑战性。
深入研究 L2 桥,我们发现 L2 到 L2 桥理想情况下应满足以下标准:
- 客户端必须从它们通过抽象层连接的每个 L2 协议中抽象出来——松散耦合范例。
- 客户端必须能够验证从抽象层返回的数据是否有效,理想情况下无需将信任模型更改为目标 L2 协议所使用的模型。
- 接口 L2 协议不需要结构/协议更改。
- 第三方必须能够独立构建目标 L2 协议的接口——理想情况下是标准化接口。
从目前的情况来看,人们会发现大多数 L2 桥将 L2 视为另一个区块链。 请注意,Optimistic rollup 中使用的欺诈证明和 zk-rollups 解决方案中使用的有效性证明取代了“正常”L1 到 L1 桥接中使用的块头和 Merkle 证明.
下面我们总结了 L2 桥的当前和非常多样化的景观 带有名称、简要摘要和桥梁设计类型:
桥名 | 课程描述 | 设计类型 |
啤酒花交换 | Rollup-to-rollup 通用令牌桥。 它允许用户几乎立即将令牌从一个汇总发送到另一个汇总,而无需等待汇总的挑战期。 https://hop.exchange/whitepaper.pdf | 流动性网络(使用自动做市商) |
星际之门 | 可组合的原生资产桥和基于 LayerZero 构建的 dApp。 DeFi 用户可以在单笔交易中在 Stargate 上跨链交换原生资产。 应用程序组成 Stargate 以在应用程序级别创建本机跨链交易。 这些跨链交换由社区拥有的 Stargate 统一流动资金池支持。 https://www.dropbox.com/s/gf3606jedromp61/Delta-Solving.The.Bridging-Trilemma.pdf?dl=0 | 流动性网络 |
突触协议 | 一个令牌桥,利用链和流动性池之间的验证器来执行跨链和同链交换。 | 混合(令牌桥/流动性网络) |
横过 | 一个跨链乐观桥,使用称为中继器的参与者来满足目标链上的用户传输请求。 中继器随后会通过向以太坊上的乐观预言机提供其行为证明来获得补偿。 该架构利用以太坊上的单一流动性池和目标链上的独立存款/偿还池,这些池使用规范桥进行重新平衡。 | 流动性网络 |
默 | 使用户能够将令牌从一个汇总移动到另一个汇总。 用户通过在源汇总上提供令牌来请求传输。 流动性提供者然后填写请求并直接将令牌发送给目标汇总上的用户。 该协议的核心重点是尽可能方便最终用户使用。 这是通过分离两个不同的关注点来实现的:向最终用户提供的服务,以及流动性提供者回收资金。 请求一到达,就乐观地提供服务。 源汇总的退款由其自身的机制保证,并与实际服务分离。 | 流动性网络 |
双经济连字符 | 多链中继网络利用基于智能合约的钱包,供用户与流动性提供者交互,在不同(乐观的)L2 网络之间转移代币。 | 流动性网络 |
蹦极 | 这座桥建在 插座 以套接字流动性层 (SLL) 作为主要组件的基础设施和 SDK。 SLL 汇集了多个桥接器和 DEX 的流动性,还允许 P2P 结算。 这与流动性池网络不同,因为这个单一的元桥允许根据用户的偏好(例如成本、延迟或安全性)通过最佳桥动态选择和路由资金。 | 流动资金池聚合器 |
赛乐桥 | 一个去中心化的非托管资产桥,支持跨越 110 多个区块链和第 30 层汇总的 2 多个代币。 它建立在 Celer 链间消息框架之上,而 Celer 链间消息框架建立在 Celer State Guardian Network (SGN) 之上。 SGN 是建立在 Tendermint 上的权益证明 (PoS) 区块链,充当不同区块链之间的消息路由器。 | 流动性网络 |
康耐特 | 调度和处理与跨链发送资金相关的消息。 用于规范资产、快速流动性和稳定掉期的托管基金。 Connext 合约使用菱形模式,因此它包含一组 Facets,这些 Facets 充当功能组的逻辑边界。 Facets共享合约存储,可以单独升级。 | 混合(令牌桥/流动性网络) |
麋鹿金融 | 使用具有以下功能的 ElkNet
|
混合(令牌桥/流动性网络) |
LIFI | 桥接器和 DEX 聚合器,可将任何链上的任何资产路由到所需链上的所需资产,通过 SDK 在 API/合约级别提供,或作为 dApp 中的可嵌入小部件 | 流动资金池聚合器 |
层交换 | 以低廉的费用将代币从中心化交易账户直接桥接到第 2 层网络(乐观和 zk-rollups)。 | 流动性网络(使用自动做市商) |
介子 | 一个使用哈希时间锁定合约 (HTLC) 的原子互换应用程序,使用用户之间的安全通信与流动性提供者中继网络相结合,用于支持的代币。 | 流动性网络 |
O3掉期 | Swap 和 Bridge 的 O3 跨链机制聚合了跨链的多个流动性池,允许与计划中的加油站进行简单的一次性确认交易,解决每个链上的汽油费需求。 | 流动资金池聚合器 |
轨道 | 用于传输以太坊原生资产的去中心化交叉汇总桥。 系统有两个角色:Sender 和 Maker。 在他们有资格成为“发送方”的交叉汇总服务提供商之前,“制造商”需要将超额保证金存入 Orbiter 的合约。 在通常的过程中,‘Sender’在‘Source Network’上将资产发送给‘Maker’,‘Maker’在‘Destination Network’上将资产发回给‘Sender’。 | 流动性网络 |
保利网络 | 允许用户使用 Lock-Mint 交换在不同区块链之间转移资产。 它使用 PolyNetwork 链来验证和协调受支持链上中继器之间的消息传递。 每条链都有一组 Relayers,而 PolyNetwork 链有一组 Keepers,用于签署跨链消息。 与 Poly Bridge 集成的链需要支持轻客户端验证,因为跨链消息的验证包括通过 Merkle 证明验证块头和交易。 桥梁基础设施使用的一些智能合约未在 Etherscan 上验证。 | 令牌桥 |
航海者 (路由器协议) | 路由器协议使用寻路算法找到最佳路径,利用类似于 Cosmos 的 IBC 的路由器网络将资产从源链移动到目标链。 | 流动性网络 |
翁布里亚网络 | 翁布里亚有三个主要协议协同工作:
两种协议协同工作以提供加密货币网络之间的资产迁移 |
流动性网络(使用自动做市商) |
通过协议 | 该协议是链、DEX 和桥接器的聚合器,用于优化资产传输路径。 这允许以三种方式进行资产桥接:
|
混合(令牌桥/流动性网络) |
Multichain | Multichain 是经过外部验证的桥梁。 它使用运行 SMPC(安全多方计算)协议的节点网络。 它通过令牌桥和流动性网络支持数十个区块链和数千个令牌。 | 混合(令牌桥/流动性网络 |
轨道桥 | Orbit Bridge 是 Orbit Chain 项目的一部分。 它是一个跨链桥,允许用户在支持的区块链之间转移代币。 令牌存放在源链上,“表示令牌”在目标链上铸造。 存入的代币没有精确锁定,Orbit Farm 可以在 DeFi 协议中使用。 应计利息不会直接传递给代币存款人。 桥接合约实施和农场合约源代码未在 Etherscan 上验证。 | 令牌桥 |
传送门(虫洞) | Portal Token Bridge 建立在 Wormhole 之上,Wormhole 是一种消息传递协议,它利用专门的节点网络来执行跨链通信。 | 令牌桥 |
卫星(Axelar) | Satellite 是由 Axelar 网络提供支持的代币桥 | 流动性网络 |
L2Beat 项目维护一个活跃的网桥列表 与桥中具有总值锁定 (TVL) 的 L2 相关,以及描述和简要风险评估(如果有)。
L2 桥风险概况
最后,当用户使用 L2 Bridges 时,实际上,任何网桥都需要小心,并且需要针对给定的网桥评估以下风险:
资金损失
- 预言机、中继器或验证器串通提交欺诈性证明(例如,块哈希、块头、Merkle 证明、欺诈证明、有效性证明)和/或中继未缓解的欺诈性传输
- 验证者/中继者私钥被泄露
- 验证者恶意铸造新代币
- 虚假声明没有及时提出异议(乐观消息协议)
- 目标区块链重组发生在乐观的预言机/中继器争议时间过去后(乐观的消息传递协议)。
- 协议中涉及或使用的未经验证的合约源代码包含恶意代码或功能,可以被合约所有者/管理员滥用
- Token Bridge 所有者行为不端,或发起影响用户资金的时间敏感的紧急行动,并且没有与用户群进行适当的沟通
- 协议合约暂停(如果功能存在)
- 协议合约收到恶意代码更新
冻结资金
- 中继器/流动性提供者不对用户交易(消息)采取行动
- 协议合约暂停(如果功能存在)
- 协议合约收到恶意代码更新
- 桥上目标代币流动性不足
审查用户
- 目标或目标 L2 或两者上的预言机或中继器无法促进传输(消息)
- 协议合约暂停(如果功能存在)
虽然此列表并不详尽,但它很好地概述了当前使用桥梁的相关风险。
这里有 使用零知识证明 (zkp) 技术进行的新开发 旨在减轻上述一些风险因素并解决两个桥梁难题。 特别是,zkps 的使用允许以下桥接设计特征:
- 去信任和安全 因为源区块链和目标区块链上区块头的正确性可以通过 zk-SNARKs 证明,zk-SNARKs 可以在 EVM 兼容的区块链上进行验证。 因此,不需要外部信任假设,假设源和目标区块链以及使用的轻客户端协议是安全的,并且我们在中继网络中有 1-of-N 诚实节点。
- 无需许可和去中心化 因为任何人都可以加入网桥的中继网络,不需要 PoS 风格或类似的验证方案
- 扩展 因为应用程序可以检索 zkp 验证的块头,并执行特定于应用程序的验证和功能
- 更高效 因为新的、优化的证明方案具有较短的证明生成和快速的证明验证时间
尽管还早,但这些类型的开发有望加速桥梁生态系统的成熟和安全。
我们可以将以上关于二层桥的讨论和概述总结如下:
- L2 Bridges 是 L2 生态系统的重要粘合剂,可进一步促进 L2 互操作性以及整个生态系统中资产和应用程序的高效使用。
- 在锚定在同一 L2 上的 L2 上使用的 L1 网桥,例如以太坊主网,比 L1 之间的网桥更安全——假设源代码是安全的,这通常是一个很大的假设。
- 与所有分布式系统架构一样,需要做出重要的权衡,如两个假设的三难困境——桥接三难困境和互操作性三难困境所表达的那样。
- L2 Bridges 有非常不同的信任假设,例如,可信与不信任的桥梁,以及非常不同的设计选择,例如,锁定-薄荷-燃烧与流动性网络。
- L2 Bridges 生态系统仍处于初期阶段,并且处于不断变化的状态。
- 建议用户进行尽职调查,以评估哪些 L2 网桥能够提供满足其需求的最佳风险回报概况。
- 使用最新的 zkp 技术正在进行新的开发,这些技术有效地解决了两个桥梁难题,并有助于提高桥梁的整体安全性。
虽然仍处于标准化 L2 互操作性框架的早期阶段,但这些都是重要的发展,需要认真对待,因为这些项目中的任何一个都可能成为“THE”桥接框架——它还不是 VHS 与 Betamax,但我们正在那里。
L2 WG 非常感谢 Tas Dienes(企业基金会)、Daniel Goldman(Offchain Labs)和 Bartek Kiepuszewski(L2Beat)仔细阅读了手稿并提出了宝贵的内容建议。
- SEO 支持的内容和 PR 分发。 今天得到放大。
- 柏拉图区块链。 Web3 元宇宙智能。 知识放大。 访问这里。
- Sumber: https://entethalliance.org/2023-02-28-state-of-l2-bridges/
- 1
- 10
- 2021
- 2022
- 9
- a
- 能力
- Able
- 关于
- 以上
- 加快
- ACCESS
- 账号管理
- 实现
- 承认
- 横过
- 法案
- 操作
- 行动
- 要积极。
- 演员
- 额外
- 地址
- 解决
- 后
- 聚集
- 汇总
- 聚合
- 算法
- 算法
- 所有类型
- 允许
- 已经
- 锚
- 和
- 另一个
- 任何人
- 应用领域
- 应用领域
- 应用程序(DApp)
- 的途径
- 套利
- 套利机会
- 架构
- 抵达
- 评定
- 财富
- 办公室文员:
- 相关
- 自动化
- 自动做市商
- 可使用
- 车轴
- 巴斯
- 背部
- 基本包
- 因为
- 成为
- before
- 作为
- 如下。
- 伯克利
- 最佳
- 之间
- 超越
- 经济学
- 大
- 最大
- 十亿美元
- 位
- 比特币
- 阻止
- blockchain
- 区块链生态系统
- 块链
- 边界
- 桥
- 桥接的
- 桥梁
- 桥接
- 建立
- 建
- 燃烧
- 被称为
- 不能
- 能力
- 资本
- 资本效率
- 关心
- 小心
- 中央
- 中央实体
- 集中
- 集中交换
- 链
- 链
- 挑战
- 挑战
- 挑战
- 更改
- 改变
- 特点
- 选择
- 索赔
- 客户
- 联席主席
- 码
- 合作
- 结合
- 相当常见
- 通信
- 沟通
- 通信
- 社体的一部分
- 相比
- 元件
- 计算
- 关注
- 分享链接
- 已联繫
- 所连接
- 常数
- 恒积
- 包含
- 内容
- 合同
- 合同的
- 对比
- 控制
- 协调
- 核心
- 价格
- 国家
- 套餐
- 创建信息图
- 创建
- 创造
- 标准
- 交叉链
- 跨链桥
- 加密
- 加密资产
- cryptocurrency
- 电流
- 当前状态
- 保管
- 习俗
- 丹尼尔
- DAPP
- DApps
- data
- 分散
- 分散
- 分散的应用程序
- 更深
- DEFI
- DeFi协议
- 需求
- 证明
- 部署
- 定金
- 沉积
- 储户
- 描述
- 设计
- 设计
- 设计
- 期望
- 目的地
- 开发
- 发展
- 地塞米松
- DEXs
- 钻石
- DID
- 差异
- 差异
- 不同
- 勤勉
- 直接
- 讨论
- 争议
- 区分
- 分布
- 几十个
- Dropbox
- 每
- 早
- 赚
- 生态系统
- 生态系统
- 只
- 效率
- 高效
- 或
- 嵌入式
- 紧急
- enable
- 使
- 加强
- 企业
- 进取心
- 完全
- 实体
- 复仇
- 以太坊主网
- etherscan
- 评估
- 交换
- 执行
- 执行
- 存在
- 表示
- 外部
- 外部
- 面部彩妆
- 面
- 促进
- 促进
- 因素
- 失败
- 失败
- 农场
- 高效率
- 特征
- 费
- 费用
- 填
- 终局
- 金融
- 找到最适合您的地方
- FLUX
- 专注焦点
- 以下
- 如下
- 公式
- 基金会
- 骨架
- 骗局
- 欺诈证明
- 欺诈
- 止
- 履行
- 功能
- 功能
- 功能
- 功能
- 从根本上
- 资金
- 资金
- 进一步
- 天然气
- 其他咨询
- 产生
- 代
- 越来越
- 给
- 特定
- 给
- 高盛
- 非常好
- 组的
- 保证
- 保证
- 担保
- 监护人
- 黑客
- 手柄
- 和谐
- 哈希
- 有
- 头
- 帮助
- 高
- 但是
- HTTPS
- IBC
- 立即
- 影响力故事
- 履行
- 重要
- 改善
- in
- 包括
- 增加
- 独立地
- 个人
- 信息
- 基础设施
- 开始
- 即食类
- 代替
- 集成
- 相互作用
- 兴趣
- 接口
- 中介
- 中介
- 互操作性
- 无价
- 参与
- 问题
- IT
- 加入
- 旅程
- 守护者
- 键
- L1
- l2
- 实验室
- 缺乏
- 景观
- 潜伏
- 层
- 图层1
- 图层2
- 零层
- Level
- 杠杆作用
- 杠杆
- 借力
- 光
- 轻客户端
- 友情链接
- 流动性
- 流动资金池
- 流动资金池
- 流动资金提供者
- 流动性提供者
- 清单
- 生活
- 锁定
- 合乎逻辑的
- 长
- 长时间
- 寻找
- 离
- 低
- 费用低
- 制成
- 主要
- mainnet
- 维护
- 主要
- 使
- 赚钱
- 制造者
- 方式
- 许多
- 余量
- 市场
- 做市商
- 机制
- 的话
- 条未读消息
- 消息
- 可能
- 移民
- 薄荷
- 铸造
- 造币
- 减轻
- 模型
- 钱
- 最先进的
- 移动
- 移动
- 多链
- 多方
- 多
- 多数
- 姓名
- 新生的
- 本地人
- 自然
- 需求
- 需要
- 网络
- 网络
- 全新
- NFT
- 节点
- NOMAD
- 非监禁
- Offchain
- 离线实验室
- 提供
- 链上
- 一
- 运营
- 机会
- 最佳
- 乐观的
- 乐观汇总
- 优化
- 优化
- 神谕
- 痴迷
- 原版的
- 其他名称
- 除此以外
- 最划算
- 克服
- 简介
- 己
- 业主
- p2p
- 范例
- 部分
- 特别
- 各方
- 通过
- 通行证
- 通过
- 模式
- 演出
- 期间
- 地方
- 计划
- 平台
- 柏拉图
- 柏拉图数据智能
- 柏拉图数据
- 点
- 池
- 矿池
- 销售点
- 可能性
- 可能
- 供电
- 恰恰
- 喜好
- 当下
- 小学
- 私立
- 私钥
- 市场问题
- 过程
- 产品
- 本人简介
- 项目
- 项目
- 承诺
- 证明
- 验证的桩号
- 股权证明(PoS)
- 样张
- 正确
- 保护
- 协议
- 协议
- 成熟
- 提供
- 提供
- 提供者
- 供应商
- 优
- 国家
- 修饰
- 阅读
- 原因
- 原因
- 接收
- 最近
- 有关
- 相应
- 留
- 重组
- 代表
- 声誉
- 请求
- 要求
- 要求
- 必须
- 风险
- 风险评估
- 风险因素
- 风险
- 角色
- 卷起
- 卷起
- 汇总
- 罗宁
- 路线
- 路由器
- 路由器协议
- 路线
- 运行
- 瑞安
- 安全
- 更安全
- 同
- 鳞片
- 方案
- SDK
- 其次
- 秒
- 安全
- 担保
- 保安
- 看到
- 选择
- 发送
- 分开
- 分离
- 服务
- 服务
- 服务供应商
- 集
- 套数
- 住区
- 几个
- Share
- 共用的,
- 短
- 应该
- 签署
- 显著
- 类似
- 简易
- 自
- 单
- 智能
- 智能合同
- So
- 解决方案
- 解决
- 解决
- 一些
- 来源
- 源代码
- 发言
- 特别
- 专门
- 特别是
- 稳定
- 质押
- 赌场池
- 标准
- 星际之门
- 开始
- 州/领地
- 站
- 仍
- 存储
- 优势
- 提交
- 这样
- 总结
- 概要
- SUPPORT
- 支持
- 支持
- 互换
- 合成的
- 系统
- 产品
- 采取
- 谈论
- 串联
- 目标
- 针对
- Tendermint
- 世界
- 其
- 数千
- 三
- 通过
- 次
- 时间敏感
- 至
- 一起
- 象征
- 令牌
- 也有
- 最佳
- 向
- 贸易
- 传统
- 传统金融
- 交易
- 交易
- 转让
- 传输
- 转让
- 治疗
- 触发
- 信任
- 信任
- TVL
- 类型
- 下
- 相关
- 进行
- 统一
- 独特
- 升级
- USD
- 使用
- 用户
- 用户资金
- 用户
- 效用
- 实用程序令牌
- 利用
- 利用
- 利用
- 验证
- 验证
- 验证器
- 验证者
- 折扣值
- 价值转移
- 各个
- 企业验证
- 专利
- 确认
- 验证
- 与
- 通过
- 等待
- 钱包
- 方法
- 这
- 而
- 将
- 中
- 也完全不需要
- 工作
- 加工
- 世界
- 虫洞
- 将
- 包裹
- 完全
- 和风网
- ZK汇总
- ZK-SNARKS