ARK:聚合Filecoin的SNARK證明來降低成本？

SNARK是簡潔的非交互式知識論證：簡言之，它們允許一個人以簡潔的方式向驗證者證明，他們使用正確的輸入正確地執行了計算。它們打開了許多以前不可行的用例，如匿名交易、快速輕客戶端/緊湊型區塊鏈和可證明的分散存儲，從而對區塊鏈世界產生了巨大影響。

在生產中部署的最突出的SNARK系統，是由JensGroth在2016年Eurocrypt中提出的，他展示了如何通過有效驗證器為任何算術電路獲得簡潔的知識證明。請注意，這個證明系統需要一個結構化的引用字符串：一個專為特定計算而精心制作的元素載體。

ParaSwap正式上線Fantom主網以擴展其 DEX 聚合器服務:1月25日消息，ParaSwap 宣布正式上線 Fantom 主網以擴展其 DEX 聚合器服務。根據此前的社區提案提案，ParaSwap 的目標是從為 Fantom 用戶建立流動性池開始，然后向 Fantom 基金會申請 FTM 激勵計劃，最終為 DAO 增加流動性。[2022/1/25 9:10:29]

為了生成SRS，我們需要運行一個可信的設置，一個由多個用戶運行的復雜設置程序，以生成驗證程序和驗證器需要的密鑰。Groth16系統已在多個框架和編程語言中實現，是目前使用最多的SNAR系統。了解更多加FILkefu，為了給出一個比例感，Filecoin網絡每天驗證超過200萬個Groth16SNARK！

資產聚合協議mStable和Balancer DAO宣布完成資產互換:12月24日消息，資產聚合協議mStable已與自動做市商協議Balancer DAO完成金庫資產互換，33.4萬MTA和2萬BAL的鏈上代幣互換，當前市值總計約29萬美元。據介紹，Balancer DAO將質押MTA為mStable池投票，通過一致的利益和相互協作，引導更高的激勵措施并可能為mStable池吸引更多的流動性。[2021/12/24 8:01:33]

由于SNARK快速和大規模采用，使用SNARK的系統面臨著與以太坊目前面臨的問題，可擴展性挑戰。原因是，網絡中的所有節點必須單獨處理每個證明才能就最終狀態達成一致，這就強制了一個隱含的限制，即網絡每天可以驗證多少個證明。

動態 | ConsenSys發表拜占庭容錯聚合協議Handel論文 通過廣域網快速聚合加密簽名:以太坊孵化器ConsenSys協議工程部門PegaSys發表拜占庭容錯聚合協議Handel論文，通過廣域網WAN快速聚合加密簽名。論文稱Handel具有對數時間和多對數網絡復雜性，而僅需要最少的計算資源，并靈活地將Handel設計為開源Go語言庫，支持任何關聯和交換聚合功能。PegaSys表示在2000個亞馬遜云服務AWS實例測試了配備BN256的BLS多重簽名方案的Handel，每個實例運行2個節點，部署在10個AWS服務區域，結果顯示4000個簽名的匯總時間不到900毫秒，每個節點的平均通信成本為56 KB。[2019/6/17]

目前，已開發出多種解決方案，以應對SNARK方面的這一挑戰。最新和有效的是基于證明攜帶數據的概念，這是完全遞歸的證明系統：一個證明可以驗證另一個證明，并且遞歸的級別是無限的。這是Mina協議和Halo2目前正在采用的方法。不幸的是，這種方法需要一個完整的新的證明系統，這是不符合目前的Groth16證明系統的。理想情況下，我們希望能夠擴展我們目前在生產中擁有的當前證明。

幸運的是，2019年Bünz、Maller、Mishra、Tyagi和Vesely展示了一個相當優雅的解決方案，將Groth16證明聚合在一起，生成一個對數大小的證明，并且不需要對證明系統本身進行任何更改！換句話說，可以聚合當前證明，并在不發生重大更改的情況下為當前系統帶來可擴展性！

在發現這篇論文之后，我們開始研究它是否可以應用于Filecoin。我們對它可能帶來的潛在可擴展性感到非常興奮。

Filecoin礦工需要證明他們已經正確編碼了32GiB存儲扇區，即他們保留了32GiB的存儲空間。這樣，他們才可以參與共識和區塊。為此，礦工需要運行一個特殊的編碼功能，連續工作步驟。每一步，礦工使用來自前一層的節點和來自同一層的節點來編碼由2個節點組成的層，每個節點為32GiB。在每一步之后，它都會生成一個包含所有這些節點的Merkle樹。最后，驗證者必須創建一個證明，證明他們通過給每個層中的隨機節點提供Merkle路徑，從而正確執行了所有這些計算。

問題是，一個圖層中有許多節點。為了實用，我們的可信設置只能增加到22?個，了解更多加FILkefu，因此我們不得不將復制證明SNARK分為10個較小的SNARK。幸運的是，我們可以使用批量驗證來驗證SNARK。并且，目前我們可以通過能夠聚合10個SNARK來顯著降低一個證明的成本。

Tags：NARARKFILHANDlunar幣今日行情arkm幣能不能買fil幣價值與未來HAND幣

KuCoin