引介 | 通往 Layer-2 互操作性的道路_STARK

作者:?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設計庫里面挑選自己合用的。

彭博社等多家主流媒體再次向法院申請公布FTX債權人名單:5月4日消息，今天，一個由主要媒體公司組成的聯盟對聯邦法官將FTX債權人的姓名保密的決定提出了另一項反對意見。在周三的一份文件中，紐約時報、道瓊斯(Dow Jones)、彭博社和金融時報表示，不公布FTX債權人的姓名是沒有法律依據的。據悉，FTX排名前50位的債權人估計欠債31億美元，債權人一再告訴法庭，他們希望對自己的姓名保密。機構債權人在1月份的法庭文件中被披露，其中包括Apple、Netflix和Coinbase等公司。但FTX欠款的960萬個人客戶仍然是個秘密。去年12月，《金融時報》、《華爾街日報》、《紐約時報》和彭博社已提起訴訟，要求公布FTX債權人名單。今年1月，特拉華州地方法院法官John Dorsey裁定，該名單將保密三個月。（Decrypt）[2023/5/4 14:41:38]

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

微軟Edge瀏覽器正測試內置加密錢包:金色財經報道，軟件工程師Albacore在社交媒體披露微軟正在為其Edge瀏覽器測試一個內置的加密錢包，目前微軟還沒有正式公布錢包項目，錢包的介紹頁面也沒有說明支持哪些加密貨幣，不過該項目提到涉足加密貨幣和NFT，而泄露的屏幕截圖表明至少支持以太坊、DAI、USDC和USDT。其中一些代幣似乎是由用戶通過自定義代幣選項添加的。其他屏幕截圖表明，該錢包可能會與Coinbase和Moonpay交易集成，也可以通過其設置面板支持其他擴展錢包，以及一個“探索”選項卡。

據悉，微軟Edge瀏覽器的內置錢包是非托管的，這意味著用戶可以完全控制自己的資金，但微軟無法幫助用戶找回錢包。[2023/3/18 13:12:07]

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

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

Gitcoin將于10月3日至31日舉辦首個開放數據科學黑客松活動:10月3日消息，Gitcoin宣布10月3日至31日舉辦首個開放數據科學黑客松活動，獎金總額為18250美元，將分配在三個類別：Sybil Slayers、Human Hackers和Dune Detectives。

其中，Sybil Slayers是查詢大型數據集以找到識別Sybil攻擊者的新方法，獎金為10000美元；Human Hacker以保持質量和可靠性的方式創建分布式撥款審查的新方法，獎金為7500美元；Dune Detective設計新穎、對資助回合的貢獻者和管理者有用的儀表板，獎金為1750美元。[2022/10/3 18:38:36]

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

條件性交易：

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

以太坊網絡當前已銷毀超250.74萬枚ETH:金色財經報道，據Ultrasound數據顯示，截止目前，以太坊網絡總共銷毀2,507,419.15枚ETH。其中，ETHtransfers銷毀231,682.21枚ETH，OpenSea銷毀230,049.97枚ETH，UniswapV2銷毀134,364.10枚。注：自以太坊倫敦升級引入EIP-1559后，以太坊網絡會根據交易需求和區塊大小動態調整每筆交易的BaseFee，而這部分的費用將直接燃燒銷毀。[2022/7/3 1:46:53]

循序漸進

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

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

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

MicroStrategy CEO：比特幣對世界上每個國家的繁榮都至關重要:金色財經消息，Bitcoin Magazine發布推特，MicroStrategy CEO稱，\"比特幣對世界上每個國家的繁榮都至關重要。\"[2022/7/2 1:45:52]

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

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

參與者：

Alice

LP

初始環境中的StarkEx運營者

-圖1：快速取款流程-

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

定期再平衡：該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：ETHALISTARKLAYERsETH2ALIENSQUID幣starknet幣價分析MetaPlayers.gg

芝麻開門交易所下載