流程:
(1) Alice給LP傳送一筆價值為1 ETH的條件式交易 (還要加上給LP的手續費),條件為LP需向Alice的L1地址上轉1 ETH;
(2) LP在L1上轉了給Alice之後,條件式交易生效,然後
(3) LP將該條件式交易提交給運營者,隨後被打包進下一批等待被證明的交易中;
(4) 等到這些證明被提交至L1並得到驗證後,LP在L2的賬戶便收到了Alice的轉款。
定期再平衡:LP需要定期地拿出他們在L2賬戶中逐漸積累的資金,補充他們在L1賬戶中逐漸消耗的資金。
階段 II
StarkEx (L2) → StarkEx (L2)
最初的StarkEx部署將各自託管一個應用程式。在本階段,我們希望使用者能夠在這些不同的應用程式之間快速地轉移資金。這很像快速提款,我們希望最小化使用者的鏈上成本,以及省去他們等待下一批交易打包證明的時間。
用例:Alice想要從她的dYdX賬戶 (L2_1) 向她的DeversiFi賬戶 (L2_2) 轉1個ETH。
參與者:
· Alice (在L2_1上持有ETH的使用者)
· LP (在L2_2上持有資金的流動性提供者)
· 初始環境上的StarkEx運營者 (在上述的例子中即dYdX)
流程:
(1) Alice在L2_1上給LP傳送一筆已簽名的價值為1 ETH的條件式交易 (還要加上給LP的手續費),條件為LP需向Alice的L2_2賬號轉1 ETH;
(2) LP向Alice的L2_2賬號上轉錢之後;
(3) 該筆支付被打包進一批交易中,隨後被L2_2的運營者證明,並在L1上被驗證。這批交易釋出在L1上並被接受後,Alice傳送的條件式交易便生效;
(4) LP將該筆條件式交易提交至L2_1的運營者中,打包進下一批等待被證明的交易中;
(5) 一旦這批在L2_1上交易被證明且提交至L1得到驗證之後,該LP在L2_1上的賬戶便收到了Alice的轉款。
定期再平衡:LP需要根據L2_1和L2_2這兩個系統之間的資金流向,定期地再平衡兩者之間的資金。
在這一階段,支援互操作性的主要成本將是給LP們支付的資本成本;需要注意的是,他們的資本成本經過非常有限的一段時間便回籠,也就是從向使用者提供流動性到運營者打包處理下一批交易這個時間。我們預測這個時間開始時需要幾個小時 (大部分時候),然後隨著(所有StarkEx應用中的)吞吐量不斷增加,這個時間會減少至證明生成時間 (幾分鐘)。
階段 III L2 → L2
在階段2的基礎上進行擴充套件,允許資金在任意的L2解決方案之間轉移,無論是有效證明系統還是欺詐證明系統 (如Optimistic Rollup、Plasma)。這裡需要提醒的是,Optimistic Rollup在使用LP來支援互操作性時,會面臨其本身固有的資本效率低下的劣勢。
信任模式
現在歸納一下我們所依賴的信任模式。
對使用者來說
完全去信任的。
對LP來說
LP需要信任運營者 (初始環境中的),即相信其會打包他們的有效條件式交易,也就是說在處理過程中不會審查他們。這種信任可以透過幾種方式進行消除。
如果運營者沒有及時處理LP的條件式交易,LP可以:
· 抗審查:提交被審查的條件式交易到鏈上的運營者的智慧合約中,這會凍結運營者,使其之後提交的證明都無法得到處理。
· 安全抵押:提交被審查的條件式交易到鏈上的一個安全抵押智慧合約中,從該合約中直接接收資金。
發展路線圖
· 階段1將在2020年11月釋出於以太坊主網 (即StarkEx 2.0),階段2將於2021年第一季度釋出 (即StarkEx 3.0)。已經有一批LP排著隊等待提供服務了。
· 階段3將緊隨其後。我們預測不同的L2解決方案上的應用之間也會有進行互操作的需求,並且渴望與其他L2解決方案討論互操作性的實現。