Initia:交織堆疊與模塊化區塊鏈

進階10/13/2024, 7:54:15 PM
本文介紹了Initia的Interwoven堆疊,旨在通過樂觀Rollups支持一個模塊化區塊鏈生態系統,特別是通過提高可擴展性和主權性。Initia提供了一個與多個Minitias合作的L1平台,這些應用特定的Rollups可以獨立管理執行環境,控制交易排序,並優化gas費用。通過OPHost和OPChild模塊,以及OPinit Bots,實現了L1和L2之間的無縫互動,確保安全、靈活性和高效的資產轉移。

加密生態系統不得不適應新的現實-Initia就是在其中誕生的。

作為一個行業,我們不得不接受這樣一個事實,即單個狀態機無法擴展以匹配加密的野心。在為使用者和運營商保持低成本的同時擴展輸送量,同時支援可接受的去中心化水準,是一場幾乎不可能用單一方法贏得的戰鬥。

事實上,純粹的單片鏈的成功已經成為一種逆向的觀點。進入模塊化與單片鏈的辯論,這在今年早些時候成為了中心舞台。但這裡的關鍵是:根本就沒有辯論。未來不是選擇一個或另一個——而是兩者的結合。一個快速的、可編程的L1,搭配一系列特定應用的Rollup,可以與L1一起擴展執行能力。

當你看到 Solana 時,混合(或者我們喜歡稱之為交織)方法的優點就變得顯而易見。在過去的六個月中,團隊已經開始構建自己的定制“網絡擴展”,並在 Solana 上結算。但等等,Solana 不是應該自己處理規模嗎?這不是他們的整個品牌定位嗎?

你看,rollups 不仅仅是关于扩展执行能力。它们还关乎主权——让开发者完全掌控他们的执行环境。更高的TPS,更低的燃气费用(甚至可能为零),对交易排序和处理的控制,以及对整个经济体系的所有权都是其中的一部分。

在這一點上,很明顯:rollups是不可避免的,它們是來留下的。

Initia的存在就是圍繞這個論點建立的。它是專門為容納一個蓬勃發展的交織捲簾🪢生態系統而建造的,稱為Minitias。

未來緊密相連

Initia旨在成為數千個Minitia共同合作的家園,通過設計上的緊密體驗,提供多樣、強大且獨特的應用程序。

到目前為止,存在兩種生態系統。一種是專門為互連鏈世界建立的(Cosmos),第二種是後來押注於Rollups的生態系統(以太坊,現在是Solano)。每一種方法都在一定程度上取得了成功,但也不是沒有失敗,這些失敗是在建立新的L1模型時所需學習的寶貴經驗。

Initia搭起了這些極端之間的橋樑,它是一個設計用於支持互連的L2網絡的L1,以確保Minitia建造者擁有一切成功所需。從一開始,它就避免了混亂的中間地帶,通過擁有有意見的設計並提出一個簡單的問題——L2實際上希望從中心獲得什麼?

在Initia上,rollups只是屬於它。通過L1和L2之間的完全經濟一致性。@initiafdn/introducing-vip-5fe1a0177055“>Initia VIP,產品套件非常乾脆,技術是專門為確保Minitias擁有預言機,橋樑,流動性,互操作性,本地馬廄等而構建的。Interwoven Stack使團隊能夠非常簡單地使用他們選擇的任何VM(無論是EVM,MoveVM還是CosmWasm)部署Minitia。

現在,什麼是啟用 Initia 上的 Rollups 的最重要組件?交織堆棧——一個從頭開始為 Cosmos SDK 構建的樂觀 Rollup 框架。

準備好看到引擎下的魔法了嗎?讓我們深入研究這個框架吧。

交織的堆疊

Initia上的樂觀Rollup框架由三個組件組成,…你猜對了,它們相當緊密地交織在一起 😛

OPHost,OPChild和OPinit機器人美麗地像三個拼圖一樣結合在一起,形成一個集體,為每個Minita提供動力。

OPHost和OPChild是Cosmos SDK模塊,它們構成了Stack的核心,它們是存在於鏈上的部分。由於OPInit Stack是在特定VM的智能合約級別而不是鏈級別實現的,這使我們能夠為多個VM提供支持,並給予Minitia建築者選擇的自由。

在 Initia 上,rollups 是直接建立在鏈上的一級公民。這賦予了我們靈活性,以調整實現細節,並提供優越的體驗。

OPHost模塊存在於Initia(L1)。 它負責作為所有在Initia上定居的Minitias的大本營。 OPHost的主要任務包括:

  • 管理樂觀的橋樑(在L1和L2之間)和通過它的資產。
  • 監督 Minitias 的輸出提案的最終定稿。
  • 作為挑戰者和提議者辯論其案件的法庭。

OPChild, 另一方面,存在於每個 Minitia 上。它就像每個 rollup 的心跳,負責:

  • 管理滾動操作員。
  • 執行來自L1的消息。
  • 更新預言機價格資訊。
  • 管理對L1的代幣提取。

OPHost和OPChild共同形成每个Minitia的乐观桥梁。在多个Minitias上,一个Initia上的OPHost充当多个OPChild模块的L1端点。

對於Rollups而言,值得注意的是,本地橋不僅僅是消息傳遞,它還作為L1上Rollup的總部。您知道,兩個不同的共識系統不知道彼此的狀態機,但Rollup的橋樑充當Rollup在L1上的真實來源,通過提交狀態根或類似的輸出,可以驗證Rollup的狀態以確保正確性。這就是為什麼L1通常被稱為結算層的原因。

但現在你可能會想:「什麼連接OPHost和OPChild?中繼器嗎?」不,那就是OPinit機器人所做的事情!同樣地,兩個不同的共識系統在沒有離線過程幫助下無法直接交談,這些過程充當它們之間孤立狀態機之間的物理連接。

OPinit機器人是在Initia和Minitias之間處理關鍵操作的離鏈過程。有兩種不同的機器人——執行者和挑戰者。簡而言之,這兩個機器人共同負責:

  • 執行代幣轉帳。
  • 將輸出建議提交給Initia L1。
  • 將交易批次提交給Celestia進行資料可用性(DA)檢查。
  • 將 oracle 價格更新中繼到 Minitias。

在本文的其餘部分中,我們將深入探討在The Interwoven Stack中如何實現特定功能,這將使您更清楚地了解所有組件如何協同工作!

在樂觀橋上的代幣轉移

Rollup的最重要的一個方面是它繼承了它所解決的L1的安全性。

你知道還有什麼是很棒的嗎?在L1和rollup之間的本地橋樑通常是在兩者之間轉移資產最安全的方式。這是因為使用本地橋樑不會引入任何額外的信任假設 - 你只需要信任涉及的兩條鏈。

在我們深入討論轉帳如何運作之前,讓我們先處理房間裡的大象。

為什麼不是IBC?

考慮到交織堆棧上的所有鏈都是使用Cosmos SDK構建的,為什麼本地橋樑不能只是一個IBC通道呢?

這是因為IBC轉帳具有瞬間性的特性,而這與我們協議的信任假設不相容。有一天,一個惡意的Minitia運營商可能會醒來並決定惡意插入交易,將L2上的INIT餘額轉移並將所有INIT從他們的Minitia提取回L1。我們不希望出現這種情況,像這樣的錯誤將是災難性的。

然而,通過樂觀橋向Initia進行的提款有7天的延遲期,在此期間挑戰者可以挑戰並取消提款,以防檢測到惡意行為。

在Initia上,我們仍然希望確保在Mintia和Initia L1之間移動資產時有無縫的使用者體驗。為了實現從L2快速轉移,我們建立了一個安全且定制的解決方案,稱為Minitswap,您可以在這裡了解更多信息:@initiafdn/minitswap-l2-to-l1-withdrawals-in-seconds-not-days-e6de645879b3”>Minitswap — L2 to L1 Withdrawals in Seconds, Not Days.

代幣存款(L1→L2)

從 Initia 存入代幣到 Minitia 幾乎是即時的。下面是它的運作方式:

  1. 用戶在Initia上提交了存款交易,將其代幣鎖定在L1上並從OPHost模塊觸發了存款事件。
  2. Executor OPinit Bot不斷聆聽Initia上的新事件,當它看到一個initiate_token_deposit事件時:\
    2.a - 執行者構建相應的FinalizeTokenDeposit消息並提交給Minitia。
  3. 當接收到訊息時,Minitia 在 L2 上製造相應的代幣並將它們發送給用戶。

相當直接,對吧?完成工作而不會影響安全性!

代幣提現(L2 → L1)

提款是比較棘手的部分。雖然從L1到L2的存款很簡單,但是對L1總是可以信任Minitias的假設並不適用於反向操作。

這就是原因:Initia 由一組具有經濟利益的去中心化驗證者保障,但 Minitias 常由單一或一小組運營商運行,並且沒有經濟利益。因此,當 Minitia 向 L1 發起提款時,需要證明它沒有惡意行為。

這是提款的運作方式:

  1. 用戶在Minitia上提交了提款交易,這導致了OPChild模塊燃燒他們的代幣並發出了initiate_token_withdrawal事件。
  2. 再次,執行器正在監聽L2上的所有區塊。它會收到事件並存儲提款請求,但不會立即轉發,機器人會等待提交檢查點。
  3. 一旦達到提交檢查點,執行者:
    3.a - 在區間內提取所有提款請求。
    3.b — 生成一個排序過的提款默克爾樹。
    3.c — 創建具有樹的默克爾根的 L2 輸出。
    3.d — 將輸出提交給L1上的OPHost。
  4. 提款隨後進入提款期間,如果檢測到任何可疑情況,挑戰者OPinit機器人可以挑戰並取消提款。
  5. 如果提款期過去沒有任何挑戰,用戶可以致電 Initia 上的finalize_withdrawal來解鎖他們的代幣。
    5.a-此函數接收提款請求和相應的證明。
    5.b - 驗證提交的證明。
    5.c- 如果一切順利,則將代幣發送給用戶!

提款需要一些時間,但這是確保安全性的一個妥協!然而,為了為Interwoven用戶提供更優質的用戶體驗,Initia還建立了@initiafdn/minitswap-l2-to-l1-withdrawals-in-seconds-not-days-e6de645879b3”>Minitswap — 通過利用IBC和OPinit橋樑,實現了即時提款和相當可靠的安全保證。

現在您知道提款如何運作,但挑戰機制仍然是一個黑盒子 — 讓我們接下來深入了解吧!

當 Minitia 謊言時會發生什麼?🤥

因此,在上一節中,我們已經學到,Minitia 可能會說謊。這就是提款期存在的原因 — 預防欺詐行為偷取 OPinit 橋上的代幣。

但是誰負責停止詐騙提款?這是挑戰者OPinit機器人的工作。

  1. 挑戰者不斷監控提交給 L1 的 L2 輸出。
  2. 在每次提交時,它從Initia獲取輸出,並根據Minitia的狀態獨立計算輸出。
  3. 如果在Initia和挑戰者計算的輸出不匹配,挑戰者通過發送DeleteOutput消息刪除輸出提案。只有挑戰者被允許調用此函數。

使用Celestia✨進行狀態同步回滾

是的,但是當您刪除一個無效的提案時,這是否意味著rollup的當前狀態也無效了?是的,這就是為什麼我們有一個設計良好的回滾機制。

在成功挑戰後,Minitia節點可以從先前發佈到Celestia的數據同步狀態,因為rollup的所有交易批次都會發佈到Celestia進行DA,這在需要回滾的情況下非常方便。

為了確保 Minitia 的狀態完整性並確保執行者不惡意行事,這兩個機器人-執行者和挑戰者-被設計為獨立實體。

但是,稍等一下,這不會給予挑戰者太大的權力嗎?如果挑戰者有惡意行為並開始刪除有效的輸出,那該怎麼辦?是的。

為了防止這種情況,Initia 通過 L1 治理實施了一個檢查和平衡系統。

如果挑戰者和提議者(提交輸出的人)表現惡意,可以通過治理提案進行替換。對於挑戰者,惡意行為意味著刪除有效的輸出。對於提議者,這意味著提交無效的輸出。

當一個提案被創建時,Initia的L1驗證者通過運行L2節點本身來進行投票,以驗證誰是對的,誰是錯的。這個系統確保沒有單一實體可以審查交易或干擾提款流程。

The Bells & Whistles 💫

如果我們只滿足於常規而不再邁出額外的一步,那麼這就不會是Initia的產品。

Initia已經讓建立您自己的Rollup變得非常簡單。現在,你們許多人可能已經知道,建立Rollup所需的不僅僅是主機。作為開發者,您需要組合許多周邊基礎設施,如索引器、預言機、橋樑等。

猜猜看?Interwoven Stack 預先打包了您所需的一切。🔥

跳過連接 — 被奉為神聖的神諭

With 跳過,Initia能夠為Initia和建立在The Interwoven Stack上的每個Minitia提供快速且最新的資產價格數據。

Connect是由Initia驗證者運行的固定的oracle側車服務,用於將價格更新推送到鏈上。該實現利用了Cosmos SDK版本0.50中引入的兩個新功能:ABCI++ and 投票擴展該平台允許驗證器自己提交任意數據,然後將其存儲在鏈上,以消除惡意方通過用垃圾填滿區塊的方式對價格更新進行審查的可能性。

價格更新上鏈後,開發者可以通過CLI、API或智能合約層進行查詢。

但這還不是全部。Connect 的價格被傳遞到 The Interwoven Stack 上的每個 Minitia,確保他們在第一天就可以輕鬆獲得最新的價格。

這樣,Minitia 就不需要負擔運行必要的基礎設施,也不需要找第三方 Oracle 提供商,與他們達成協議並在整合上花費資源。這一切都為他們處理了!

跨鏈合約調用

為了真正交織在一起,必須在Initia上有安全有效的跨鏈通信方式。開發人員可以使用幾種方法,其中之一是通過樂觀橋上的橋鉤。橋鉤類似於IBC 鉤子在功能上,它們用於允許令牌轉移以啟動合約調用。 OPinit橋鉤子用於啟動伴隨著通過OPinit橋連接的資產轉移的合約調用。

OPHost的橋接鉤子更新了橋接的元數據,OPChild上的鉤子允許對FinalizeTokenDeposit進行任意執行的交易。

我們以支援多個虛擬機的方式來建構它,無論是EVM、MoveVM還是CosmWasm,Bridge Hooks可以根據消息中的數據字段執行任意交易。

例如,這是EVM鏈的數據格式

供奉的索引器

Minitias還帶有一個內置的索引器,可以自動索引並將所有相關數據存儲在鏈上。然後,數據通過可用於查詢歷史數據的 REST API 公開。

依賴帳戶的代幣,NFT 資訊,依賴帳戶的交易,你想要的功能都已經內建。

在鏈上構建應用程式時,索引是其中一個最大的痛點,這絕對需要做很多繁重的工作!運行自己的索引器可能既昂貴又繁瑣。有了正式的索引器,開發人員可以顯示代幣餘額、NFT、交易歷史等等,而無需運行自己的索引器或找第三方索引器支援。

這個Enshrined Indexer還支持Initia Scan的開箱即用功能 - Initia的L1和每個L2的區塊瀏覽器。

結論

好吧,潛入交織堆疊是一個爆炸。這是一項設計精美的技術,為Initia的交織願景提供了動力。通過將 Interwoven Stack 構建為 Cosmos SDK 模組,Initia 將 SDK 重新用於構建樂觀匯總的堆疊,同時仍然保留了 Cosmos SDK 的所有優勢——這是相當踢屁股的。

The Interwoven Stack還有很多我們今天還沒有探索的內容,我強烈鼓勵你查看代碼庫,和機器人代碼庫更深入地理解它。

當一切都說盡了,一個真理依然存在,即初是Rollups真正屬於的地方。從頭開始,初已經建立起來,讓Minitias茁壯成長。交織的生態系統已經激發了像Minitias這樣的創新。黑翼,Contro, 銀河系, 慣性 - 所有這些都是新穎的應用特定Rollup,從第一天起就可以使用!所有這些都是由The Interwoven Stack啟用。

感謝你Manan, Zon,和Sawit對於對這篇文章的貢獻。

免責聲明:

  1. 本文轉載自 [中等],所有版權歸原作者所有[Initia]. 如果有對這次轉載的異議,請聯繫門學習團隊,他們會及時處理。
  2. 免責聲明:本文中表達的觀點和意見僅代表作者的觀點和意見,不構成任何投資建議。
  3. 文章到其他語言的翻譯由Gate Learn團隊完成。除非另有說明,否則禁止複製、分發或抄襲翻譯后的文章。

Initia:交織堆疊與模塊化區塊鏈

進階10/13/2024, 7:54:15 PM
本文介紹了Initia的Interwoven堆疊,旨在通過樂觀Rollups支持一個模塊化區塊鏈生態系統,特別是通過提高可擴展性和主權性。Initia提供了一個與多個Minitias合作的L1平台,這些應用特定的Rollups可以獨立管理執行環境,控制交易排序,並優化gas費用。通過OPHost和OPChild模塊,以及OPinit Bots,實現了L1和L2之間的無縫互動,確保安全、靈活性和高效的資產轉移。

加密生態系統不得不適應新的現實-Initia就是在其中誕生的。

作為一個行業,我們不得不接受這樣一個事實,即單個狀態機無法擴展以匹配加密的野心。在為使用者和運營商保持低成本的同時擴展輸送量,同時支援可接受的去中心化水準,是一場幾乎不可能用單一方法贏得的戰鬥。

事實上,純粹的單片鏈的成功已經成為一種逆向的觀點。進入模塊化與單片鏈的辯論,這在今年早些時候成為了中心舞台。但這裡的關鍵是:根本就沒有辯論。未來不是選擇一個或另一個——而是兩者的結合。一個快速的、可編程的L1,搭配一系列特定應用的Rollup,可以與L1一起擴展執行能力。

當你看到 Solana 時,混合(或者我們喜歡稱之為交織)方法的優點就變得顯而易見。在過去的六個月中,團隊已經開始構建自己的定制“網絡擴展”,並在 Solana 上結算。但等等,Solana 不是應該自己處理規模嗎?這不是他們的整個品牌定位嗎?

你看,rollups 不仅仅是关于扩展执行能力。它们还关乎主权——让开发者完全掌控他们的执行环境。更高的TPS,更低的燃气费用(甚至可能为零),对交易排序和处理的控制,以及对整个经济体系的所有权都是其中的一部分。

在這一點上,很明顯:rollups是不可避免的,它們是來留下的。

Initia的存在就是圍繞這個論點建立的。它是專門為容納一個蓬勃發展的交織捲簾🪢生態系統而建造的,稱為Minitias。

未來緊密相連

Initia旨在成為數千個Minitia共同合作的家園,通過設計上的緊密體驗,提供多樣、強大且獨特的應用程序。

到目前為止,存在兩種生態系統。一種是專門為互連鏈世界建立的(Cosmos),第二種是後來押注於Rollups的生態系統(以太坊,現在是Solano)。每一種方法都在一定程度上取得了成功,但也不是沒有失敗,這些失敗是在建立新的L1模型時所需學習的寶貴經驗。

Initia搭起了這些極端之間的橋樑,它是一個設計用於支持互連的L2網絡的L1,以確保Minitia建造者擁有一切成功所需。從一開始,它就避免了混亂的中間地帶,通過擁有有意見的設計並提出一個簡單的問題——L2實際上希望從中心獲得什麼?

在Initia上,rollups只是屬於它。通過L1和L2之間的完全經濟一致性。@initiafdn/introducing-vip-5fe1a0177055“>Initia VIP,產品套件非常乾脆,技術是專門為確保Minitias擁有預言機,橋樑,流動性,互操作性,本地馬廄等而構建的。Interwoven Stack使團隊能夠非常簡單地使用他們選擇的任何VM(無論是EVM,MoveVM還是CosmWasm)部署Minitia。

現在,什麼是啟用 Initia 上的 Rollups 的最重要組件?交織堆棧——一個從頭開始為 Cosmos SDK 構建的樂觀 Rollup 框架。

準備好看到引擎下的魔法了嗎?讓我們深入研究這個框架吧。

交織的堆疊

Initia上的樂觀Rollup框架由三個組件組成,…你猜對了,它們相當緊密地交織在一起 😛

OPHost,OPChild和OPinit機器人美麗地像三個拼圖一樣結合在一起,形成一個集體,為每個Minita提供動力。

OPHost和OPChild是Cosmos SDK模塊,它們構成了Stack的核心,它們是存在於鏈上的部分。由於OPInit Stack是在特定VM的智能合約級別而不是鏈級別實現的,這使我們能夠為多個VM提供支持,並給予Minitia建築者選擇的自由。

在 Initia 上,rollups 是直接建立在鏈上的一級公民。這賦予了我們靈活性,以調整實現細節,並提供優越的體驗。

OPHost模塊存在於Initia(L1)。 它負責作為所有在Initia上定居的Minitias的大本營。 OPHost的主要任務包括:

  • 管理樂觀的橋樑(在L1和L2之間)和通過它的資產。
  • 監督 Minitias 的輸出提案的最終定稿。
  • 作為挑戰者和提議者辯論其案件的法庭。

OPChild, 另一方面,存在於每個 Minitia 上。它就像每個 rollup 的心跳,負責:

  • 管理滾動操作員。
  • 執行來自L1的消息。
  • 更新預言機價格資訊。
  • 管理對L1的代幣提取。

OPHost和OPChild共同形成每个Minitia的乐观桥梁。在多个Minitias上,一个Initia上的OPHost充当多个OPChild模块的L1端点。

對於Rollups而言,值得注意的是,本地橋不僅僅是消息傳遞,它還作為L1上Rollup的總部。您知道,兩個不同的共識系統不知道彼此的狀態機,但Rollup的橋樑充當Rollup在L1上的真實來源,通過提交狀態根或類似的輸出,可以驗證Rollup的狀態以確保正確性。這就是為什麼L1通常被稱為結算層的原因。

但現在你可能會想:「什麼連接OPHost和OPChild?中繼器嗎?」不,那就是OPinit機器人所做的事情!同樣地,兩個不同的共識系統在沒有離線過程幫助下無法直接交談,這些過程充當它們之間孤立狀態機之間的物理連接。

OPinit機器人是在Initia和Minitias之間處理關鍵操作的離鏈過程。有兩種不同的機器人——執行者和挑戰者。簡而言之,這兩個機器人共同負責:

  • 執行代幣轉帳。
  • 將輸出建議提交給Initia L1。
  • 將交易批次提交給Celestia進行資料可用性(DA)檢查。
  • 將 oracle 價格更新中繼到 Minitias。

在本文的其餘部分中,我們將深入探討在The Interwoven Stack中如何實現特定功能,這將使您更清楚地了解所有組件如何協同工作!

在樂觀橋上的代幣轉移

Rollup的最重要的一個方面是它繼承了它所解決的L1的安全性。

你知道還有什麼是很棒的嗎?在L1和rollup之間的本地橋樑通常是在兩者之間轉移資產最安全的方式。這是因為使用本地橋樑不會引入任何額外的信任假設 - 你只需要信任涉及的兩條鏈。

在我們深入討論轉帳如何運作之前,讓我們先處理房間裡的大象。

為什麼不是IBC?

考慮到交織堆棧上的所有鏈都是使用Cosmos SDK構建的,為什麼本地橋樑不能只是一個IBC通道呢?

這是因為IBC轉帳具有瞬間性的特性,而這與我們協議的信任假設不相容。有一天,一個惡意的Minitia運營商可能會醒來並決定惡意插入交易,將L2上的INIT餘額轉移並將所有INIT從他們的Minitia提取回L1。我們不希望出現這種情況,像這樣的錯誤將是災難性的。

然而,通過樂觀橋向Initia進行的提款有7天的延遲期,在此期間挑戰者可以挑戰並取消提款,以防檢測到惡意行為。

在Initia上,我們仍然希望確保在Mintia和Initia L1之間移動資產時有無縫的使用者體驗。為了實現從L2快速轉移,我們建立了一個安全且定制的解決方案,稱為Minitswap,您可以在這裡了解更多信息:@initiafdn/minitswap-l2-to-l1-withdrawals-in-seconds-not-days-e6de645879b3”>Minitswap — L2 to L1 Withdrawals in Seconds, Not Days.

代幣存款(L1→L2)

從 Initia 存入代幣到 Minitia 幾乎是即時的。下面是它的運作方式:

  1. 用戶在Initia上提交了存款交易,將其代幣鎖定在L1上並從OPHost模塊觸發了存款事件。
  2. Executor OPinit Bot不斷聆聽Initia上的新事件,當它看到一個initiate_token_deposit事件時:\
    2.a - 執行者構建相應的FinalizeTokenDeposit消息並提交給Minitia。
  3. 當接收到訊息時,Minitia 在 L2 上製造相應的代幣並將它們發送給用戶。

相當直接,對吧?完成工作而不會影響安全性!

代幣提現(L2 → L1)

提款是比較棘手的部分。雖然從L1到L2的存款很簡單,但是對L1總是可以信任Minitias的假設並不適用於反向操作。

這就是原因:Initia 由一組具有經濟利益的去中心化驗證者保障,但 Minitias 常由單一或一小組運營商運行,並且沒有經濟利益。因此,當 Minitia 向 L1 發起提款時,需要證明它沒有惡意行為。

這是提款的運作方式:

  1. 用戶在Minitia上提交了提款交易,這導致了OPChild模塊燃燒他們的代幣並發出了initiate_token_withdrawal事件。
  2. 再次,執行器正在監聽L2上的所有區塊。它會收到事件並存儲提款請求,但不會立即轉發,機器人會等待提交檢查點。
  3. 一旦達到提交檢查點,執行者:
    3.a - 在區間內提取所有提款請求。
    3.b — 生成一個排序過的提款默克爾樹。
    3.c — 創建具有樹的默克爾根的 L2 輸出。
    3.d — 將輸出提交給L1上的OPHost。
  4. 提款隨後進入提款期間,如果檢測到任何可疑情況,挑戰者OPinit機器人可以挑戰並取消提款。
  5. 如果提款期過去沒有任何挑戰,用戶可以致電 Initia 上的finalize_withdrawal來解鎖他們的代幣。
    5.a-此函數接收提款請求和相應的證明。
    5.b - 驗證提交的證明。
    5.c- 如果一切順利,則將代幣發送給用戶!

提款需要一些時間,但這是確保安全性的一個妥協!然而,為了為Interwoven用戶提供更優質的用戶體驗,Initia還建立了@initiafdn/minitswap-l2-to-l1-withdrawals-in-seconds-not-days-e6de645879b3”>Minitswap — 通過利用IBC和OPinit橋樑,實現了即時提款和相當可靠的安全保證。

現在您知道提款如何運作,但挑戰機制仍然是一個黑盒子 — 讓我們接下來深入了解吧!

當 Minitia 謊言時會發生什麼?🤥

因此,在上一節中,我們已經學到,Minitia 可能會說謊。這就是提款期存在的原因 — 預防欺詐行為偷取 OPinit 橋上的代幣。

但是誰負責停止詐騙提款?這是挑戰者OPinit機器人的工作。

  1. 挑戰者不斷監控提交給 L1 的 L2 輸出。
  2. 在每次提交時,它從Initia獲取輸出,並根據Minitia的狀態獨立計算輸出。
  3. 如果在Initia和挑戰者計算的輸出不匹配,挑戰者通過發送DeleteOutput消息刪除輸出提案。只有挑戰者被允許調用此函數。

使用Celestia✨進行狀態同步回滾

是的,但是當您刪除一個無效的提案時,這是否意味著rollup的當前狀態也無效了?是的,這就是為什麼我們有一個設計良好的回滾機制。

在成功挑戰後,Minitia節點可以從先前發佈到Celestia的數據同步狀態,因為rollup的所有交易批次都會發佈到Celestia進行DA,這在需要回滾的情況下非常方便。

為了確保 Minitia 的狀態完整性並確保執行者不惡意行事,這兩個機器人-執行者和挑戰者-被設計為獨立實體。

但是,稍等一下,這不會給予挑戰者太大的權力嗎?如果挑戰者有惡意行為並開始刪除有效的輸出,那該怎麼辦?是的。

為了防止這種情況,Initia 通過 L1 治理實施了一個檢查和平衡系統。

如果挑戰者和提議者(提交輸出的人)表現惡意,可以通過治理提案進行替換。對於挑戰者,惡意行為意味著刪除有效的輸出。對於提議者,這意味著提交無效的輸出。

當一個提案被創建時,Initia的L1驗證者通過運行L2節點本身來進行投票,以驗證誰是對的,誰是錯的。這個系統確保沒有單一實體可以審查交易或干擾提款流程。

The Bells & Whistles 💫

如果我們只滿足於常規而不再邁出額外的一步,那麼這就不會是Initia的產品。

Initia已經讓建立您自己的Rollup變得非常簡單。現在,你們許多人可能已經知道,建立Rollup所需的不僅僅是主機。作為開發者,您需要組合許多周邊基礎設施,如索引器、預言機、橋樑等。

猜猜看?Interwoven Stack 預先打包了您所需的一切。🔥

跳過連接 — 被奉為神聖的神諭

With 跳過,Initia能夠為Initia和建立在The Interwoven Stack上的每個Minitia提供快速且最新的資產價格數據。

Connect是由Initia驗證者運行的固定的oracle側車服務,用於將價格更新推送到鏈上。該實現利用了Cosmos SDK版本0.50中引入的兩個新功能:ABCI++ and 投票擴展該平台允許驗證器自己提交任意數據,然後將其存儲在鏈上,以消除惡意方通過用垃圾填滿區塊的方式對價格更新進行審查的可能性。

價格更新上鏈後,開發者可以通過CLI、API或智能合約層進行查詢。

但這還不是全部。Connect 的價格被傳遞到 The Interwoven Stack 上的每個 Minitia,確保他們在第一天就可以輕鬆獲得最新的價格。

這樣,Minitia 就不需要負擔運行必要的基礎設施,也不需要找第三方 Oracle 提供商,與他們達成協議並在整合上花費資源。這一切都為他們處理了!

跨鏈合約調用

為了真正交織在一起,必須在Initia上有安全有效的跨鏈通信方式。開發人員可以使用幾種方法,其中之一是通過樂觀橋上的橋鉤。橋鉤類似於IBC 鉤子在功能上,它們用於允許令牌轉移以啟動合約調用。 OPinit橋鉤子用於啟動伴隨著通過OPinit橋連接的資產轉移的合約調用。

OPHost的橋接鉤子更新了橋接的元數據,OPChild上的鉤子允許對FinalizeTokenDeposit進行任意執行的交易。

我們以支援多個虛擬機的方式來建構它,無論是EVM、MoveVM還是CosmWasm,Bridge Hooks可以根據消息中的數據字段執行任意交易。

例如,這是EVM鏈的數據格式

供奉的索引器

Minitias還帶有一個內置的索引器,可以自動索引並將所有相關數據存儲在鏈上。然後,數據通過可用於查詢歷史數據的 REST API 公開。

依賴帳戶的代幣,NFT 資訊,依賴帳戶的交易,你想要的功能都已經內建。

在鏈上構建應用程式時,索引是其中一個最大的痛點,這絕對需要做很多繁重的工作!運行自己的索引器可能既昂貴又繁瑣。有了正式的索引器,開發人員可以顯示代幣餘額、NFT、交易歷史等等,而無需運行自己的索引器或找第三方索引器支援。

這個Enshrined Indexer還支持Initia Scan的開箱即用功能 - Initia的L1和每個L2的區塊瀏覽器。

結論

好吧,潛入交織堆疊是一個爆炸。這是一項設計精美的技術,為Initia的交織願景提供了動力。通過將 Interwoven Stack 構建為 Cosmos SDK 模組,Initia 將 SDK 重新用於構建樂觀匯總的堆疊,同時仍然保留了 Cosmos SDK 的所有優勢——這是相當踢屁股的。

The Interwoven Stack還有很多我們今天還沒有探索的內容,我強烈鼓勵你查看代碼庫,和機器人代碼庫更深入地理解它。

當一切都說盡了,一個真理依然存在,即初是Rollups真正屬於的地方。從頭開始,初已經建立起來,讓Minitias茁壯成長。交織的生態系統已經激發了像Minitias這樣的創新。黑翼,Contro, 銀河系, 慣性 - 所有這些都是新穎的應用特定Rollup,從第一天起就可以使用!所有這些都是由The Interwoven Stack啟用。

感謝你Manan, Zon,和Sawit對於對這篇文章的貢獻。

免責聲明:

  1. 本文轉載自 [中等],所有版權歸原作者所有[Initia]. 如果有對這次轉載的異議,請聯繫門學習團隊,他們會及時處理。
  2. 免責聲明:本文中表達的觀點和意見僅代表作者的觀點和意見,不構成任何投資建議。
  3. 文章到其他語言的翻譯由Gate Learn團隊完成。除非另有說明,否則禁止複製、分發或抄襲翻譯后的文章。
即刻開始交易
註冊並交易即可獲得
$100
和價值
$5500
理財體驗金獎勵!