ARK:引介 | 通往 Layer-2 互操作性的道路_ALI

作者:?TomBrand?&?UriKolodny

翻譯:?阿劍

四句話總結

Layer-2互操作性的意思使用戶可以在Layer-2系統間遷移資金，并且在Layer-1上的摩擦力是盡可能小的。

本文所提及的Layer-2互操作性解決方案都基于我們之前建議使用的“條件性交易密碼學元件”。

StarkEx2.0將使用?鏈上?的條件性交易來提供Layer-2toLayer-1的互操作性。

StarkEx3.0將使用?鏈下?的條件性交易來提供Layer-2toLayer-2的互操作性。

背景

Layer-2可擴展方案進步迅猛。以太坊主網上已經有很多個有效性證明系統了，也有不少欺詐證明系統已經推出測試網。L2方案提供了可擴展性，但也有所犧牲：使用了L2方案，完全運行在L1上所能獲得的一些好處就會被打破，或至少有所減損。我們不認為有某個L2解決方案能完美解決所有需要：不同應用對吞吐量擴展的需要大不相同。應用們自己會在豐富的L2設計庫里面挑選自己合用的。

Trustless Market開發團隊將Uniswap的智能合約部署到比特幣網絡上:5月11日消息，一群開發人員已將Uniswap的智能合約部署到比特幣網絡上，以利用BRC-20代幣的興起并開發去中心化金融 (DeFi) 生態系統。該協議稱為Trustless Market，日交易量已達50萬美元，吸引了2000多名用戶，并讓流動性提供者從網絡上進行的所有swap交易中獲得2%的傭金。[2023/5/11 14:57:31]

在進一步介紹以前，我們先對兩個重要的術語下一個定義：

互操作性：能讓用戶在應用1和應用2之間高效轉移資金

可組合性：能在一筆交易中操作app_1、app_2、···、app_n。

除了這些松散的定義，我們還需要一個增強版的條件性交易。這種重要的元件是產生互操作性的關鍵。

條件性交易：

紐約投資銀行：看好Coinbase的前景:金色財經報道，紐約的著名投資銀行 HC Wainwright 的分析師宣布“加密冬天”結束。該銀行已開始對美國加密貨幣交易所 Coinbase 給予“買入”評級，稱該公司將從全球不斷增長的加密貨幣行業中受益。根據這位分析師的說法，市場“現在可能已經進入 BTC 的下一個牛市價格周期，這在歷史上導致了加密貨幣總市值的顯著增長、零售和機構采用的增加以及加密貨幣交易量的增加。”[2023/4/27 14:29:54]

這是一種密碼學元件，可用來在免信任的區塊鏈上實現互操作性。條件性交易，就是依賴于一些事件的發生或不發生，來決定自身生不生效的交易。給個基本的概念就是，我們可以在初始環境中定義一筆條件性交易，然后等它指明的條件在另一個環境中得到滿足，它再生效。

循序漸進

在更好的解決方案缺位之時，至少，用戶總能夠把資金從初始L2遷回L1上，再轉而投入目標L2。這種粗暴的方式既慢又貴，而且隨著需求量的增加會變得越來越慢、越來越貴。

Maker Constitution草案擬將價值約1400萬美元代幣分配給科學可持續發展基金:2月4日消息，MakerDAO社區提出的Maker Constitution草案擬將2萬枚MKR（約1400萬美元）分配給科學可持續發展基金，以應對全球氣候變暖問題。科學可持續基金是一項臨時措施，將于2040年逐步結束。

草案稱，科學可持續發展基金將資金用于宣傳、教育和打擊關于能源解決方案的錯誤信息，禁止直接資助煤炭能源，通過現實世界資產抵押范圍框架強制執行。[2023/2/4 11:47:14]

所以我們要做得更好才行。實際上，我們計劃按照下列步驟，循序漸進地實現更好的方案。

PhaseI：StarkEx(L2)→Ethereum(L1)—快速取款

“快速取款”可以解決用戶需要快速從StarkEx系統中取出資金到L1上的問題。它不僅僅能把資金發送到用戶自己的L1地址上，也可以把資金發送到L1的任意目標地址上，比如Compound、Aave，等等，都行。重要的是，用戶取款的時延將以“區塊時間”來衡量，與StarkEx為批交易生成證明的頻率無關。

BitMEX：計劃2023年上線更多永續合約和期貨交易對:金色財經報道，BitMEX表示，展望2023年時，計劃上線更多永續合約和期貨交易對。[2022/12/22 22:01:46]

使用場景：Alice希望把自己在L2的dYdX賬戶里的1eth發送到自己在L1的地址上。

參與者：

Alice

LP

初始環境中的StarkEx運營者

-圖1：快速取款流程-

流程：用戶向LP傳遞一筆條件性交易，承諾支付1eth，條件是LP在L1上把1eth打給Alice的L1地址；等LP在L1上給Alice打錢之后，該筆條件性交易生效；LP把該筆條件性交易發送給運營者，等待它被打包到下一批待證明的交易中；等下一筆證明被提交到L1并得到驗證之后，該LP的L2余額增加，反映他從Alice處得到的資金。

以太坊客戶端Geth發布v1.10.23版本:金色財經報道，以太坊客戶端Go Ethereum（Geth）在社交媒體上稱，我們剛剛發布了Geth v1.10.23，這是一個修補1.10.22中狀態損壞的修補程序。如果您已經更新到.22，則必須回滾您的鏈并重新運行最后2天以確保一切正常。[2022/8/24 12:45:49]

定期再平衡：該LP需要定期拿自己在L2賬戶中的資金來補充自己L1賬戶中的資金。

PhaseII：StarkEx(L2)→StarkEx(L2)

最開始的StarkEx是每個實例托管一個應用。到了這個階段，我們希望用戶能夠在這些不同的應用之間快速地遷移資金。很像快速取款，我們也希望能幫用戶盡可能降低鏈上的開銷，并且不用等待自己的取款交易在L2上打包和證明。

使用場景：Aliece想把自己在L2_1的dYdX賬戶上的1eth轉移到她在L2_2上的DeversiFi賬戶上。

參與者：

Alice

LP

初始環境中的StarkEx運營者

-圖2：鏈下條件性交易流程-

流程：Alice向LP傳遞一筆簽過名的條件性交易，承諾在L2_1上支付支付1eth，條件是LP把1eth打到Alice的L2_2的賬戶上；該LP在L2_2上給Alice支付；該筆支付交易由L2_2的運營者打包進某個批次并提交證明，該證明在L1上驗證；待該批次交易發布在L1上之后，該筆條件性交易就可以生效了；該LP把該筆條件性交易提交給L2_1的運營者，由后者將它打包進自己要證明的下一個批次中；等L2_1的下一批交易發布到L1上、且其證明經過了合約的驗證之后，該LP在L2_1上的賬戶余額更新，反映TA從Alice處得到的數額。

定期再平衡：LP需要定期平衡L2_1和L2_2中的資金，就看兩個系統中的資金流向如何。

在此階段，支持互操作性的主要成本將是LP的資金成本；要注意的是，他們的資金成本要經過一段時間才能回籠，也就是從向用戶提供流動性、到運營者打包處理條件性交易這段時間。我們預計這個時間一開始會是幾個小時，然后隨著吞吐量的增加而下降到證明的生成時間。

PhaseIII：L2→L2

PhaseII基礎上的延伸，讓資金能夠在任意L2之間遷移，無論是使用有效性證明的系統，還是使用欺詐證明的系統。這里要提醒的是，OptimisticRollup在使用LP來實現互操作性時，資金效率會有一些劣勢，這是不可避免的

信任模型

現在我們來歸納一下所需的信任模型。

對用戶來說

完全是免信任的。

對LP來說

LP需要信任運營者，相信后者會處理他們的有效條件交易，也就是不會審查他們。這種信任需要可以用幾種方式來消除。

如果LP的條件交易沒有得到運營者的及時處理，LP可以：

反審查：提交被審查的條件交易到鏈上的“運營者”智能合約中，讓后者凍結運營者，使該運營者所提交的證明都不能得到處理。

安全押金：提交被審查的條件交易到鏈上的一個安全押金智能合約中，從該合約處直接接收資金。

計劃

PhaseI將在?2020年11月登陸以太坊主網，而PhaseII將在?2021年第一季度到來。

PhaseIII也將緊隨其后。我們預計L2上的不同應用會有與其他L2上的應用互操作的需求，也渴望與其他L2方案提供者討論解決方案。

原文鏈接:

https://medium.com/starkware/the-road-to-l2-interoperability-718ff69ec822

Tags：ARKARKEALISTARKquarkchain幣發行人Mochi.MarketALIFStarkNet

比特幣行情