# StarkEx Bridge

By [丰密Kuiqian](https://paragraph.com/@kuiqian) · 2021-12-08

---

\*\*官网：\*\*[https://starkware.co/](https://starkware.co/)

\*\*简介：\*\*StarkWare是一家零知识证明研发机构，也是ZK Rollup二层网络StarkNet的开发者。StarkEx则是StarkWare为StarkNet开发的扩展性工具集，其中就包括了StarkEx Bridge。

StarkEx目前服务模式是L2 as a Service，支持其他项目利用StarkNet技术，构建自己独立的L2网络，目前StarkEx的客户包括Immutable X、dYdX、DeversiFi、Sorare，四者都在StarkNet的支持下搭建了自己的L2网络。因此，StarkEx Bridge首先要解决的只是StarkEx生态内的L2网络的跨层交易问题，然后才会逐步扩展为适配所有L2的解决方案。

StarkEx Bridge通过类似原子交换的机制实现无信任的跨层原子交易。StarkEx Bridge上有专门的LP作为公共交易对手，提供流动性。StarkEx L2→L1用例如下：

Alice 希望将 1 ETH 从她在 L2 上的 dYdX 帐户转移到她的 L1 地址。

参与者：1）Alice（在 L2 上拥有 ETH 的用户）；2）LP（在 L1 上有资金的流动性提供者）；3）Origin 环境中的 StarkEx Operator（在上例中为 dYdX）。

图2-4 StarkEx Bridge提款流程

1）Alice向LP发起1 ETH（+ LP 的费用）的条件转账T(X)，条件是T(Y)：LP将1 ETH转移到Alice的L1地址，在T(Y)生效前，T(X)状态为_invalid_；

2）LP签署T(Y)，在L1上向Alice付款后，Alice立即可在L1使用该资金，LP拿到T(Y)的生效证明；

3）LP使用T(Y)的生效证明，更新T(X)状态，T(X) _invalid_转化为T(X) _Valid_；

4）LP通知L2节点打包T(X)_Valid_到零知识证明批次中（以包含在其证明的下一批中），当该批次（在Alice之后的区块）抵达L1并被验证时，LP正式拿到Alice的付款。

在这个过程中，LP需要定期从L2账户中积累的资金中补充其不断减少的L1账户中的资金。

_注：上述描述对条件交易过程进行了简化，事实上，如果要创建以T(Y)作为触发条件的T(X) ，T(Y)需要先被创建，只是处于未签署状态，或者可以称为invalid状态。可以将创建T(Y)Invalid ，理解为一笔Lock操作。另外，StarkEx L2作为非独立的状态机，一切交易的生效与否都以被L1验证为准。_

StarkEx L2→L2的过程原理类似，整体上，StarkEx Bridge采用了一种**非对称的原子交易设计**，都是由LP先垫付用户的跨链资产，让用户可以立即拿到资产。但LP需要等待一段时间，等到LP对用户的付款信息通过原始通道抵达，才能解锁用户的付款。这个等待时间团队预计从最多的几个小时，在随着吞吐量（跨所有StarkEx应用程序）的增加而减少到分钟范围。

此外，目前StarkWare还提供了StarkNet **L2与侧链**的资产转移（目前处于测试版本，此外从事该方向的项目还较少，并且尚未有完善的解决方案），流程与上述StarkNet L2→StarkNet L1大体类似。

\*\*规模：\*\*截止2021年10月27日，StarkWare上的TVL达到10亿美元，累计处理了4200万笔交易，历史成交金额达到1850亿美元。

\*\*头等仓观点：\*\*StarkWare认为，ZK Rollup相比Op Rollup，有一个重要的优势：Zk Rollup的跨层快速通道，对于LP而言，具有更优的资金效率，而Op Rollup的跨层快速通道，LP的资金占压达7天之久，资金效率更低，这会转化为昂贵的流动性手续费。

StarkEx Bridge的跨链实现方案具有可行性，并且已经在immutable X、dYdX、DeversiFi、Sorare上得到了印证，但由于其目前SaaS的模式，普通用户暂时无法使用，只面向机构、项目方。未来随着StarkEx生态内L2网络的跨链交易问题的解决，并且逐步扩展至其他的L2解决方案。届时大概率将在该赛道内拥有较强的竞争力。

---

*Originally published on [丰密Kuiqian](https://paragraph.com/@kuiqian/starkex-bridge)*