以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

聚合Filecoin的SNARK證明來降低成本?_ARK

Author:

Time:1900/1/1 0:00:00

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

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

Web3 能力聚合方案 Daylight 推出 Ability API:4月4日消息,Web3 能力聚合方案 Daylight 宣布推出 Ability API,允許錢包應用為其用戶提供空投、鑄幣、投票、代幣門控(token gates)等信息。

Daylight 于去年完成 300 萬美元種子輪融資,Framework Ventures 和 Chapter One 領投。[2023/4/5 13:44:56]

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

跨鏈聚合器Bungee宣布上線橋接Beta版本:1月14日消息,跨鏈聚合器Bungee在推特上宣布,橋接Beta版本已經上線。

此前消息,2022年3月,跨鏈通信協議Socket宣布完成500萬美元種子輪融資,Framework Ventures領投,Coinbase Ventures、Mark Cuban等參投。此外,Socket團隊發布一站式跨鏈橋Bungee。Bungee利用Socket的流動性層來尋找最有效的跨鏈兌換方式。[2023/1/14 11:11:51]

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

全聚合協議OpenOcean與波卡跨鏈交易網絡Zenlink達成戰略合作:3月11日消息,全聚合協議OpenOcean與基于Polkadot的跨鏈去中心化交易網絡Zenlink達成戰略合作,OpenOcean將聚合Zenlink DEX,為用戶提供波卡生態相關資產的便捷交易入口。此外,Zenlink與OpenOcean均是具備跨鏈屬性的協議,雙方達成合作意在共同探索多鏈聚合技術的可能性。

Zenlink是基于波卡的跨鏈DEX協議,目前已完成兩個Web3基金會Grant的交付,并即將在卡槽拍賣期間發布測試網。與Zenlink的戰略合作是OpenOcean向波卡生態聚合邁進的第一步。[2021/3/11 18:35:18]

目前,已開發出多種解決方案,以應對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:ARKNARZENLINKSparkleSonarWatchzen幣中文叫什么BBLINK

以太坊價格
MINA全球首發,瓜分18,888GAT_MIN

親愛的AEX安銀小伙伴:AEX安銀將于2021年06月01日日08:00上線MINA并同步開通USDT交易對。我們將同步開啟“MINA全球首發,瓜分18,888GAT”活動.

1900/1/1 0:00:00
幣虎HNZO活動獎勵發放公告_NZO

尊敬的用戶: 幣虎交易平臺的“HNZO交易賽及新用戶獎勵,贏23,670,000,000HNZO”已結束,活動獎勵已發放至用戶賬戶,請符合條件的用戶前往--中查詢分發結果.

1900/1/1 0:00:00
關于Zillion礦池-FIL云算力(第5期)“越買越省”活動圓滿結束的公告_ASH

公告編號2021053102各位關心ZBG.io的投資者們和項目方:Zillion礦池-FIL云算力“越買越省”活動已圓滿結束.

1900/1/1 0:00:00
【新幣上線】CumRocket(CUMMIES) 正式上線DigiFinex,充幣&交易瓜分$5000 CUMMIES_CUM

親愛的用戶: DigiFinex將上線CumRocket(CUMMIES),并于2021年6月2日16:00(GMT8)開放CUMMIES/USDT交易服務.

1900/1/1 0:00:00
Bibox歡樂兒童節,快來領取寶寶的專屬禮物_USD

六一沒想好去哪里玩?快來Bibox吧~不僅有糖果、零食拿,更有多重福利等你領取哦~活動一:誰還不是個寶寶?兒童節免費領取你的專屬糖果6月1日-6月30日期間,參與認購定期財富管理產品.

1900/1/1 0:00:00
512“國內BTC礦圈94事件”之后 國內算力平臺集體淪陷?_BTC

自5月12日以來,受政策監管消息的影響,幣圈和礦圈均受到不同程度的影響。其中加密貨幣市場所遭受的影響最為直接;據幣看數據顯示,受此次暴跌影響,市值前20的代幣較歷史最高價跌幅均在35%以上,其中.

1900/1/1 0:00:00
ads