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

概要

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

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

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

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

简介

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

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

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

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

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

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

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

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

互操作性最优解的特质

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

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

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

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

L2与侧链之间的互操作性

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

由StarkEx支持的解决方案

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

StarkEx的优势

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

StarkEx无需信任

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

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

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

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

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

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上取款。

巨鲸0xcc505已对Punk 372提出1750 ETH竞价:金色财经报道,据 @CryptoPunks Bot 在社交媒体披露数据显示,加密巨鲸0xcc505已对Punk 372提出1750 ETH竞标价,约合 2,126,110.08 美元。如果这笔交易成交,那么按照 ETH 计价该 Punk 的交易额将会创下历史第 9 高记录。据 OpenSea 最新数据显示,当前 CryptoPunks 地板价为 74.65 ETH,24 小时涨幅 3.75%。[2022/7/10 2:03:29]

从侧链存款至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-3:760ms