ARK:侧链与Layer2的互操作:详解StarkEx无信任跨链桥

概要

-?在侧链和L2之间转移资金的需求日益增长

-?目前的方法:通过L1转移,缓慢、昂贵但无需信任;或通过应用程序转移,需要信任,但快速、便宜

-?我们提出了一个无需信任、安全且便宜的跨链桥,它依赖于以太坊的安全,能在侧链和StarkEx之间转移资金

-?通过在StarkEx和多个侧链之间扩展跨链桥,我们创造了一个高效跨链桥连接侧链

简介

虽然以太坊仍然是DeFi的资本区块链,具有很高的关注量和安全性,并与多条链建立了跨链桥。但以太坊也越来越拥挤,交易成本高且波动大。这促使用户转向侧链和L2等平台。这些平台在成本、安全、性能和可用的应用程序方面各不相同,于是加剧了割裂现象。

因此,在不同平台之间转移资金的需求越来越高。

提供侧链之间无信任跨链的解决方案已经上线。然而,L2和侧链之间的无信任互操作性还没有得到解决。

与OptimisticRollups的互操作性设计本身有问题,因为较长的最终性时间增加运营资本要求,也就提高了转移成本。

那么ZK-Rollups呢?在L1和ZK-Rollups的无需信任存取款已经可以在实时系统中使用。而且它们通过条件转移缩短最终性时间。

美股小幅高开 纳指涨0.40%:金色财经报道,美股小幅高开,道指涨0.05%,纳指涨0.40%,标普500指数涨0.21%。[2023/6/27 22:03:40]

但ZK-Rollups目前与侧链兼容性不佳。出现这个问题有其技术因素:目前部署在L1上的ZK-Rollup需要证明特定计算命题的有效性。这就造成与需要在Rollup内有一个“互操作智能合约”的方案不兼容。

我们的去中心化、无需许可的ZK-RollupStarkNet将改变这种状况。但是我们的无需信任可扩展性引擎StarkEx在此时此刻可以做什么?我们将在下面演示StarkEx如何支持与侧链的互操作性。

StarkEx自2020年6月开始在主网上运行,已完成数百万笔交易,总价值达数十亿美元。下文将介绍StarkEx系统和方案,展示如何支持便宜且快速地将资金转移到侧链上,为在ZK-Rollup和侧链上的运行的dApp之间更好的互操作性铺平道路。但首先,先来想想什么定义了一个好的互操作性系统。

互操作性最优解的特质

侧链与L2之间互操作性的好解决方案应该应用最小信任,并简化用户体验。准确来说:

1.最小化信任:应要求用户以尽可能少信任实体

2.快速最终性:资金应可以快速到位

过去30天交易所的以太坊余额大幅下降,并创下12.6%的新低:金色财经报道,Glassnode数据显示,过去30天,交易所的以太坊余额大幅下降,并创下12.6%的新低。2022年11月,以太币交易余额也出现了类似的下降,随后大幅上涨33%。尽管有可能出现反弹,但交易者需要保持谨慎,因为本次交易所余额下降可能是由美国证券交易委员会针对币安和Coinbase的行动引发的。[2023/6/26 22:00:02]

3.低成本:低成本的解决方案必须在各个平台上提供低交易价格和高资本跨链效率

L2与侧链之间的互操作性

迄今为止,用户如果想要在侧链和L2直接转移资金,就必须在两个原生选项中做出选择:无需信任且成本高、速度慢的方案(图一);成本低、速度快,但需要信任的方案(图二)。

美国总统拜登预算提议对加密挖矿用电量征收30%的税:3月10日消息,美国总统拜登在其政府的2024财年预算中提议分阶段对加密货币挖矿电力成本征收30%的税。美国财政部3月9日发布的一份补充预算解释文件称,任何使用资源的公司(无论是自有还是租赁)都将“缴纳相当于数字资产挖矿所用电力成本30%的消费税” 。

它建议该税将在2023年12月31日之后的纳税年度实施,并以每年10%的税率分三年分阶段实施,到第三年达到最高30%。加密矿工将需要报告“使用的电量和类型以及电量的价值”。获得离网电力需求的加密货币矿工仍需缴纳税款,并且需要估算任何“发电厂”产生的电力成本。

此前消息,美国总统拜登将在预算提案中结束对加密货币等投资者的税收减免。(Cointelegraph)[2023/3/10 12:53:26]

由StarkEx支持的解决方案

图三展示了我们提议的方案,用StarkEx为L2和侧链之间提供互操作性,同时满足上述提到的三个特征。请注意,这个方案使用StarkEx作为通道,同样适用于侧链之间的互操作性。

Gemini:数据库与Amazon Web Services EBS服务链接中断:据官方消息,Gemini表示其某个主要数据库与Amazon Web Services EBS服务链接中断,其已经恢复了数据库并正在恢复数据交换。

此前报道,Gemini部分系统服务出现中断,官方称客户资金安全。[2022/11/17 13:14:13]

StarkEx的优势

一些用户可能不熟悉StarkEx,下文简要介绍了其基本概念。读者可以在此处查看StarkEx完整文档。如果只想读懂本文提议的桥接方案,以下的背景已经足够:

StarkEx无需信任

由于StarkEx依赖于STARK证明,如果没有证明该状态确实有效,则L1上不会发生状态更新。这意味着资金只能根据在Cairo实施的逻辑在StarkEx内部易手,该逻辑强制执行以下操作:

-?没有用户在相关转账请求上的有效签名,就不能从用户那里转移资金

-?L1上已提交的StarkEx状态反映了L2环境中发生的所有资产转移记录

-?同样的资产转移请求StarkEx不能执行两次

这样的结果是,运营节点无法盗取用户的资产。强制交易、应急舱口和专门的升级机制完善了去信任这一版图,使StarkEx变得完全自托管。

莱特币预计将于明年8月上旬进行下一次减半:8月3日消息,莱特币(Litecoin)官方发推称,大约在明年的这个时候,也就是2023年8月上旬,Litecoin将进行下一次减半。届时区块奖励将从12.5降至6.25。[2022/8/3 2:55:35]

StarkEx速度快

一旦进入StarkEx交易队列,运营商可能会认为交易已结算。这意味着用户可以即时随后提交交易;无需等待交易的链上实际结算后再提交!

StarkEx成本低

在StarkEx上,即使是复杂的永续交易,其成本也低至ZKRollups模式的1100gas,这是比L1执行相同逻辑便宜200倍。Validium模式下的交易成本更加低。此外,StarkEx资本效率高,一旦包含其执行的证明在链上发布,就会立即敲定交易—要在交易后几个小时。

从StarkEx提款至侧链

步骤1:用户向应用程序发送链下请求,指定想要提取的资产数量和类型。应用程序验证用户在他们的StarkExVault中是否有足够的资金。

步骤2:应用程序在侧链中的互操作合约中锁定指定的资产数量和类型,然后将这些资金与StarkEx的转移请求相结合。该请求命令StarkEx将相关资产从用户的Vault转移到应用程序的Vault中。

步骤3:用户签署图4步骤2中指定的转移请求用以激活侧链上的互操作合约。该交易立即解锁用户的资金以便在侧链上使用。

回滚流程:如果用户未能在设定时间范围内签名,则应用程序将从互操作性合约中收回资金。

步骤4:该应用程序现在可以在StarkEx上执行转账请求并在那里接收用户的资金。

满足需求

1.该方案无需信任:用户在向StarkEx上的运营节点提供资金之前先在侧链上获得资金

StarkEx强制要求,为了从用户哪里获取资金,应用程序必须知道他们的签名

提供签名可以解锁用户在侧链上的资金

2.速度快:在两倍的侧链最终性时间后,用户可以使用资金。

3.交易成本低:不涉及L1交易,应用程序可以在StarkEx上立即取款,几小时后在L1上取款。

从侧链存款至StarkEx

步骤1:用户将其资金锁定在互操作合约中的侧链账户中。这些资金与StarkEx上的特定转账请求参数关联,指定钱可以转到用户的Vault。

步骤2:运营节点在StarkEx内执行图5中步骤1的转账请求,将资金释放到用户的StarkEx金库。用户可以立即开始交易这些资金。

步骤3:步骤2的转账与其他交易批量进行。StarkEx向L1证明这些交易已经发生,链上状态也相应更新。

步骤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:StarkNetPlanetsAlpha1已经上线Ropsten测试网——我们计划支持与其他生态系统(如侧链)的互操作性。由于StarkNet证明了任何任意逻辑,它可以支持与此处描述类似的机制,或者部署现有的互操作性解决方案。

无论如何,StarkNet促进了高度的互操作性,并将成为众多寻求扩展到以太坊之外的DeFi应用程序的互操作性的中心。

希望这篇文章对大家有一定的帮助。

来源:金色财经

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-1:130ms