由以太坊保障的侧链到 StarkEx 的无信任跨链桥
原文标题:A Trustless Sidechain-to-StarkEx Bridge Secured by Ethereum
原文作者:StarkWare
原文来源:medium
编译:StarkNet 中文社区
如何在侧链与 StarkEx 之间无信任、安全且便宜地转移资金?概要
-
在侧链和 L2 之间转移资金的需求日益增长
-
目前的方法:通过 L1(以太坊)转移,缓慢、昂贵但无需信任;或通过应用程序(或 LP)转移,需要信任,但快速、便宜
-
通过在 StarkEx 和多个侧链之间扩展这个跨链桥,我们创造了一个连接这些侧链的高效跨链桥
简介
虽然以太坊仍然是 DeFi 的资本区块链,具有很高的关注量和安全性,并与多条链建立了跨链桥。但以太坊也越来越拥挤,交易成本高且波动大。这促使用户转向侧链(如Polygon、BSC、Solana)和 L2( Optimistic Rollups 或 ZK-Rollups)等平台。这些平台在成本、安全、性能和可用的应用程序方面各不相同,于是加剧了割裂现象。
因此,在不同平台之间转移资金的需求越来越高。
提供侧链之间无信任跨链的解决方案已经上线(比如 Hop 或 MovR)。然而,L2(特别是 rollups)和侧链之间的无信任互操作性还没有得到解决。
与 Optimistic Rollups 的互操作性设计本身有问题,因为较长的最终性时间增加运营资本要求,也就提高了转移成本。
那么 ZK-Rollups 呢?在 L1 和 ZK-Rollups 的无需信任存取款已经可以在实时系统中使用(例如 dYdX、DeversiFi、Loopring)。而且它们通过条件转移缩短最终性时间。
但 ZK-Rollups 目前与侧链兼容性不佳。出现这个问题有其技术因素:目前部署在 L1 上的 ZK-Rollup 需要证明特定计算命题的有效性(即便有支持图灵完备性的 Cairo 语言,目前也是如此)。这就造成与需要在 Rollup 内有一个“互操作智能合约”的方案不兼容。
我们的去中心化、无需许可的 ZK-Rollup StarkNet 将改变这种状况。但是我们的无需信任可扩展性引擎 StarkEx 在此时此刻可以做什么?我们将在下面演示 StarkEx 如何支持与侧链的互操作性。
StarkEx 自 2020 年 6 月开始在主网上运行,已完成数百万笔交易,总价值达数十亿美元。下文将介绍 StarkEx 系统和方案,展示如何支持便宜且快速地将资金转移到侧链上,为在 ZK-Rollup 和侧链上的运行的 dApp 之间更好的互操作性铺平道路。但首先,先来想想什么定义了一个好的互操作性系统。
互操作性最优解的特质
侧链与 L2 之间互操作性的好解决方案应该应用最小信任,并简化用户体验。准确来说:
-
最小化信任:应要求用户以尽可能少信任实体
-
快速最终性: 资金应可以快速到位
-
低成本:低成本的解决方案必须在各个平台上提供低交易价格和高资本跨链效率(因为流动性提供者承担的成本将被用户抵消)
L2 与侧链之间的互操作性
迄今为止,用户如果想要在侧链和 L2 直接转移资金,就必须在两个原生选项中做出选择:无需信任且成本高、速度慢的方案 (图一);成本低、速度快,但需要信任的方案 (图二)。
图一:经 L1 实现侧链和 L2 之间的资产转移
图二:经 应用程序实现侧链和 L2 之间的资产转移
由 StarkEx 支持的解决方案
图三展示了我们提议的方案,用 StarkEx 为 L2 和侧链之间提供互操作性,同时满足上述提到的三个特征。请注意,这个方案使用 StarkEx 作为通道,同样适用于侧链之间的互操作性。
图三:由 StarkEx 支持、以太坊提供安全保障的侧链桥接
StarkEx 的优势
一些用户可能不熟悉 StarkEx,下文简要介绍了其基本概念。读者可以在此处查看 StarkEx 完整文档。如果只想读懂本文提议的桥接方案,以下的背景已经足够:
StarkEx 无需信任
由于 StarkEx 依赖于 STARK 证明,如果没有证明该状态确实有效,则 L1 上不会发生状态更新。这意味着资金只能根据在 Cairo 实施的逻辑在 StarkEx 内部易手,该逻辑强制执行以下操作:
-
没有用户在相关转账请求上的有效签名,就不能从用户那里转移资金
-
L1 上已提交的 StarkEx 状态反映了 L2 环境中发生的所有资产转移记录
-
同样的资产转移请求 StarkEx 不能执行两次
这样的结果是,运营节点(例如交易所)无法盗取用户的资产。强制交易、应急舱口和专门的升级机制完善了去信任这一版图,使 StarkEx 变得完全自托管。
StarkEx 速度快
一旦进入 StarkEx 交易队列,运营商可能会认为交易已结算。这意味着用户可以即时随后提交交易; 无需等待交易的链上实际结算后再提交!
StarkEx 成本低
在 StarkEx 上,即使是复杂的永续交易,其成本也低至 ZK Rollups 模式的 1100 gas,这是比 L1 执行相同逻辑便宜 200 倍。Validium 模式下的交易成本更加低。此外,StarkEx 资本效率高,一旦包含其执行的证明在链上发布,就会立即敲定交易 — 要在交易后几个小时。
从 StarkEx 提款至侧链
图四:StarkEx-侧链的互操作性 —— 提款
步骤 1:用户向应用程序发送链下请求,指定想要提取的资产数量和类型。应用程序验证用户在他们的 StarkEx Vault 中是否有足够的资金。
步骤 2:应用程序在侧链中的互操作合约中锁定指定的资产数量和类型,然后将这些资金与(未签名的)StarkEx 的转移请求相结合。该请求命令 StarkEx 将相关资产从用户的 Vault 转移到应用程序的 Vault 中。
步骤 3:用户签署图 4 步骤 2 中指定的转移请求用以激活侧链上的互操作合约。该交易立即解锁用户的资金以便在侧链上使用。
回滚流程:如果用户未能在设定时间范围内签名,则应用程序将从互操作性合约中收回资金。
步骤 4:该应用程序现在可以在 StarkEx 上执行转账请求并在那里接收用户的资金。
满足需求
-
该方案无需信任:用户在向 StarkEx 上的运营节点提供资金之前先在侧链上获得资金(如果没有前者,后者就不可能发生)StarkEx 强制要求,为了从用户哪里获取资金,应用程序必须知道他们的签名
-
提供签名可以解锁用户在侧链上的资金
-
速度快:在两倍的侧链最终性时间后,用户可以使用资金。
-
交易成本低:不涉及 L1 交易,应用程序可以在 StarkEx 上立即取款,几小时后在 L1 上取款。
从侧链存款至 StarkEx
图五:StarkEx-侧链的互操作性 —— 存款
步骤 1:用户将其资金锁定在互操作合约中的侧链账户中。这些资金与 StarkEx 上的特定转账请求参数关联,指定钱可以转到用户的 Vault。
步骤 2:运营节点在 StarkEx 内执行图 5 中步骤 1 的转账请求,将资金释放到用户的 StarkEx 金库。用户可以立即开始交易这些资金。
步骤 3:步骤 2 的转账与其他交易批量进行(图 5 步骤 3.1 )。StarkEx 向 L1 证明这些交易已经发生(步骤 3.2),链上状态也相应更新(步骤 3.3)。
步骤 4:以太坊上的一个专用合约将新的 L1 状态传输给侧链上的互操作合约。这个状态,即 StarkEx 上所有交易的 Merkle 根,证实了用户按照要求在 StarkEx 上收到了资金。
步骤 5:应用程序打开 Merkle 树承诺,向侧链证明用户确实在图 5 步骤 2 中收到了StarkEx上的资金,为应用程序解锁互操作性合约中的资金。
回滚流程: 如果应用程序未能在有限的时间内完成步骤 5,用户可以从互操作性合约中取回侧链上的资金。
满足需求
1、 本方案是无需信任: 用户先在 StarkEx 上收到资金,然后应用程序才能在侧链上认领资金。StarkEx 的逻辑和证明强制要求,如果没有前者,后者就不可能发生。
-
要想在侧链上接收资金,运营节点必须通过 StarkEx 向用户展示相关转账记录。
-
StarkEx 强制要求,只有在用户收到资金之后才能获得该转账记录。
2、 速度快: 交易一旦在侧链上确认,应用程序就可以立即将 StarkEx 上的资金交给用户。
3、 交易成本低: 侧链或者 StarkEx 上的交易成本较低,虽然步骤四中 L1 交易的成本较高,但这个费用由多个存款请求共同分担。
此外,此应用程序在几小时之后就可以在侧链上获取资金。
未来还有什么?
StarkEx 的用户很快就能用到上面介绍的去信任的互操作方案。
至于 StarkNet,我们无需许可的去中心化 ZK-Rollup:StarkNet Planets Alpha 1 已经上线 Ropsten 测试网 —— 我们计划支持与其他生态系统 (如侧链) 的互操作性(译者注:本文发表于 2021 年 8 月,关于 StarkNet 可参考最新更新)。由于 StarkNet 证明了任何任意逻辑,它可以支持与此处描述类似的机制,或者部署现有的互操作性解决方案。
无论如何,StarkNet 促进了高度的互操作性,并将成为众多寻求扩展到以太坊之外的 DeFi 应用程序的互操作性的中心。
比推快讯
更多 >>- 俄勒冈州成为美国第六个撤销、暂停或拒绝续签 Binance.US 运营许可证的州
- 消息人士:美联邦当局正在审查 Jack Dorsey 旗下公司 Block 不合规的加密业务
- VanEck:目前各ETF、国家、上市和私营公司持有价值约 1750 亿美元的比特币
- Web3游戏公司Games for a Living完成330万美元融资
- Coinbase Prime 现已开放 Akash Network (AKT) 质押
- Solana生态DEX衍生品平台Drift开放空投查询,总量12%用于空投
- 区块链开发公司 Movement Labs 获 Binance Labs 未公开投资
- 比特币跌破57,000美元,24 小时跌幅 6.51%
- 渣打银行称比特币可能进一步跌至 5 万美元
- 代币化公司Securitize完成4700万美元战略融资,贝莱德领投
- 美国9只现货比特币ETF今日净减持1950枚BTC,约合1.1亿美元
- Stacks 推迟其 Nakamoto 升级激活至 8 月 28 日
- 某巨鲸地址20分钟前向Kraken存入1225枚BTC,价值约合 7026 万美元
- Tether:2024 年第一季度净利润超 45 亿美元,创历史新高
- 美国职位空缺降至2021年以来最低水平,劳动力市场进一步走软
- 过去五小时孙宇晨地址从Binance转出6765万枚USDT
比推专栏
更多 >>- 每月动态 | Web3 安全事件总损失约 9081 万美元
- 脱水大字报:牛市行情或延迟类似2016年
- 矿工日收入突破亿创纪录,比特币符文能否接力铭文?
- 获比特大陆投资且被币安首个接入的BTC L2项目BEVM有何亮点?
- 为什么这轮牛市无法复制 2021 年的山寨季?
- 独家!种子轮融资200万美金+AI叙事的项目
- IOSG Weekly Brief|MKR的涅槃重生:新公链和RWA稳定币与Spark借贷独角兽 #223
- Kusama 上的 Coretime 交易已开始,平行链时代谢幕
- 100亿美元开发投资,红杉资本入局,特斯拉要搞波大的…
- Chainlink Q1产品更新;CCIP正式进入全面可用阶段;Consensus2024来啦|Chainlink 周报
观点
项目
比推热门文章
- 俄勒冈州成为美国第六个撤销、暂停或拒绝续签 Binance.US 运营许可证的州
- 【比推每日新闻精选】美联储维持利率不变,称通胀进展已陷入停滞;VanEck:目前各ETF、国家、上市和私营公司持有价值约 1750 亿美元的比特币;消息人士:美联邦当局正在审查 Jack Dorsey 旗下公司 Block 不合规的加密业务
- 消息人士:美联邦当局正在审查 Jack Dorsey 旗下公司 Block 不合规的加密业务
- VanEck:目前各ETF、国家、上市和私营公司持有价值约 1750 亿美元的比特币
- 降息举措“停摆”,渣打“扎心”预测:BTC恐跌至5万美元
- Web3游戏公司Games for a Living完成330万美元融资
- Coinbase Prime 现已开放 Akash Network (AKT) 质押
- Solana生态DEX衍生品平台Drift开放空投查询,总量12%用于空投
- 区块链开发公司 Movement Labs 获 Binance Labs 未公开投资
- 比特币跌破57,000美元,24 小时跌幅 6.51%