Mina 改變了它的Cosmos:關於通往以太坊的橋樑


9 月30 日,在聯合進行的“提案請求”(RPF)結束時,以太坊和Mina 基金會宣布授予價值120 萬美元的合約,以開展一項戰略進化專業。 “=Nil;”基金會的Crypto3 團隊因此負責在以太坊虛擬機(EVM) 上實現Mina 的“Pickles Snarks”。

這樣的部署意味著很快就有可能導入以太坊網絡上Mina區塊鏈內發生的所有事情。 Dapps、DeFi、計算、隱私、去中心化等等。一項技術壯舉也將允許Mina 保持其輕量級,同時超越其本地網絡的限制。

本文是作為教育宣傳活動的一部分提供給你的,並得到了Mina 的支持。

將加密貨幣投射到未來的遞歸標準

Mina 第1 層區塊鏈技術與許多其他基於“權益證明”共識的技術一樣。它的奇點在於一個極其包含的寄存器,有利於大規模採用和最大程度的去中心化。為此,該協議使用所謂的“遞歸”函數,允許它保持固定大小。因此,在不犧牲安全性或可擴展性的情況下,Mina區塊鏈的重量永遠不會超過22 KB(相當於兩條推文)。

在計算機編程中,遞歸設計是指一種證明類型,它本質上包含其之前證明的正確性。以較低的成本,這一壯舉可以在不攜帶完整歷史記錄的情況下隨著時間的推移證明登記冊的完整性。在此之前,這種情況給所有“權益證明”網絡強加了一個越來越繁瑣和耗時的驗證基礎設施。

去中心化是任何區塊鏈協議的聖杯。然而,驗證的成本將這方面的技術推到了最富有的玩家手中,走向了猖獗的中心化。

區塊鍊網絡尋求去中心化

正是Diffie-Hellman 的決策假設被稱為“離散對數”,這使得第一次有可能考慮擺脫這種情況的方法。 Mina 使用的“zk-Snarks”(zk = 零知識)證明受到了這項工作的啟發。它們提供了其在時間T 狀態的輕巧而完美的表示。但是,這種遞歸奇點使得在不是為此而設計的以太坊虛擬機(EVM) 上進行驗證變得困難且昂貴。

迄今為止,互操作性過於繁瑣且成本過高

這是因為協議之間的傳統橋接需要將數據從一個集群顯式傳輸到另一個集群。另一方面,它們還需要有一個負責建立“信任”的計劃機構。

多虧了Pickle Snark,Mina 消除了在構建到以太坊區塊鏈的橋樑中對可信第三方的需求

從一個網絡切換到另一個網絡仍然需要受信任的第三方

這些互操作性協議分三個步驟起作用:

配置和強加協議之間的對話條款證明:申請人提供他想要出口的操作證明驗證:接收者驗證證據並將其部署到他們的網絡

第一步只執行一次。一個繁重的配置步驟,將初始參數強加給“證明者”和“驗證者”。這就是所謂的“信任”階段。此階段完成後,通常可以通過回收結果無限期地重複以下步驟。

極輕區塊鏈的新標準

對於Crypto3 團隊來說,可行性問題在於取消這使任何互操作性變得如此復雜和昂貴的第一步。因此,為了解決這個問題,她將尋求利用Mina 提出的zk-Snarks 最新進化的特殊性,即“Pickles Snarks”。在許多方面的改進版本:

權重從753 位減少到255 位隨機驗證功能(VRF) 快16 倍哈希速度乘以8 分類賬上的存儲需求除以3 但最重要的是,前所未有的容量。這個證據完全是自我驗證的

開發人員對這個特性特別感興趣,因為它消除了對可信配置的需求。它的結構建立在Halo 的內部產品論點之上,並通過大量無法在此處上架的優化對其進行擴充。請記住,這個證據現在被認為是“透明的”。 EVM 可以接受的某種以太坊外生的證據。

pickle jar stamped 0(1) Labs 展示了Pickles SNARK,這是Mina區塊鏈協議中使用的新證據形式

Pickles Snark 是對Mina區塊鏈有效的最新版本證據無信任配置橋的區塊鏈革命

因此,Crypto3 負責利用此格式中包含的主要技術創新。事實上,它們可以有效地減輕證明驗證週期。因此,簡化智能合約互操作性所需的程序看起來很有希望。但是…

2021 年牛市的指數級天然氣成本使最初方法的成本目標完全無法接受。為了進一步在財務維度上工作,團隊必須將優化推向高潮。 Crypto3 然後探索將被以太坊接受的“有效性證明”的軌跡。類似於應用於Pickles Snark 的“RedShift”方法的輔助證據。本質上,它根據新的命名法嵌入了Pickles Snark 的一部分:

現在根據散列的FRI(Fast Reed Solomon Interactive)知識保留模型完成透明度管理。語法重新關注PLONK 模型,以大幅減少電路和固有成本,同時考慮到這種返工產生的證明。

在加密貨幣生態系統中,進步往往是動員尖端團隊和極其先進的數學概念的辛勤工作的代價。

Crypto3 不得不從一開始就恢復工作

結果出乎他們的意料。天然氣成本大大降低。但最重要的是,一種新的所謂“輔助”證明格式似乎即將豐富Pickles Snark 以及擴展Mina 協議。這一突破最終使得在EVM 上部署第一個能夠“無需信任配置的遞歸組合”的zk-SNARK 成為可能。最終構建了“無需信任”的橋樑,以及為我們的開發者朋友提供的工具箱。

Mina 和以太坊之間開啟了一個充滿機遇的世界

兩家公司最近進行的演示帶來了好消息。例如,一個簡單的瀏覽器就足以連接到集群。因此,任何人都可以非常簡單地生成這種輔助格式的證據並將其提交給EVM。

難道我們不是很簡單地說,通過做任何事情,我們才能成為任何人嗎?不用擔心在這種情況下,嘗試生成空的和/或錯誤的狀態證明的用戶將系統地收到錯誤消息。沒收是不可能的,因為數字化證據與Mina 網絡狀態的現實不符。

因此,這項創新允許Mina區塊鏈,就像它之前的其他第1 層一樣,可以在以太坊上進行驗證。通過使用新橋,DApp 將能夠從Mina 生態系統訪問Snapps,反之亦然。

Pickle Snark 使得在Mina區塊鏈上部署以太坊智能合約成為可能且成本更低

智能合約開發者的新機遇

你還可以將Crypto3 團隊構建的橋樑視為以太坊的額外安全層。事實上,這種互操作性的主要挑戰之一是為以太坊提供一種有效的方法來保護其智能合約的機密性。 Pickles-Snarks 中包含的信息是絕對無可爭議的,但絕不會被披露。該功能現在將使整個以太坊生態系統受益,甚至遠不止於此。

EVM 上的首次部署預計在1 月底進行。

文章Mina 改變了它的Cosmos:所有關於以太坊的橋樑首先出現在Journal du Coin 上。

資訊來源:由0x資訊編譯自JOURNALDUCOIN。版權歸作者Nafyn所有,未經許可,不得轉載

Total
0
Shares
Related Posts