📢 Gate廣場 #MBG任务挑战# 發帖贏大獎活動火熱開啓!
想要瓜分1,000枚MBG?現在就來參與,展示你的洞察與實操,成爲MBG推廣達人!
💰️ 本期將評選出20位優質發帖用戶,每人可輕鬆獲得50枚MBG!
如何參與:
1️⃣ 調研MBG項目
對MBG的基本面、社區治理、發展目標、代幣經濟模型等方面進行研究,分享你對項目的深度研究。
2️⃣ 參與並分享真實體驗
參與MBG相關活動(包括CandyDrop、Launchpool或現貨交易),並曬出你的參與截圖、收益圖或實用教程。可以是收益展示、簡明易懂的新手攻略、小竅門,也可以是現貨行情點位分析,內容詳實優先。
3️⃣ 鼓勵帶新互動
如果你的帖子吸引到他人參與活動,或者有好友評論“已參與/已交易”,將大幅提升你的獲獎概率!
MBG熱門活動(帖文需附下列活動連結):
Gate第287期Launchpool:MBG — 質押ETH、MBG即可免費瓜分112,500 MBG,每小時領取獎勵!參與攻略見公告:https://www.gate.com/announcements/article/46230
Gate CandyDrop第55期:CandyDrop x MBG — 通過首次交易、交易MBG、邀請好友註冊交易即可分187,500 MBG!參與攻略見公告:https://www.gate.com/announcements
詳解zk-SNARKs 在Filecoin 網絡中的應用
撰文:大有IPFS 研究院
zk-SNARKs(零知識簡潔非交互式知識論證),為一方提供了向另一方證明他們知道秘密而不洩露秘密本身的能力。 zk-SNARKs 允許與區塊鏈中未知和不受信任的各方進行安全、私密的交互。
**Filecoin 網絡目前每天生成600 - 700 萬個zk-SNARK 證明,每個證明包含超過1 億個算術約束。 **為了實現這一目標,我們—— 協議實驗室改進並大量優化了現有的snark 生成工具,使其能夠擴展以滿足我們前所未有的需求。
**Filecoin 是迄今為止最大的zk-SNARK 網絡。 **
幾個方面:
所有這些都有助於Filecoin 證明生產中更多信息的能力。
Tau 的力量與建立信任
為了支持Filecoin 所需的限制數量,我們運行了一個新的Tau 權力儀式,在Zcash 運行的儀式上增加了64 倍的支持數量。這使我們能夠生成超過1 億個約束的證明,僅受分佈的參數大小的限制。
為了支持我們的大型電路的第二階段( 特定電路) 可信設置,我們實現了一些技術,以顯著減少RAM 使用,允許並行性,並減少I/O 開銷- 以便允許使用實用硬件的各方在儀式舉行的7 週內參與。
使用基於GPU 的證明程序
zk- snark 的生成很快成為瓶頸,因此昂貴的部分是使用OpenCL 和CUDA 在GPU 上實現的。由於支持證明生成的核心操作具有高度並行性,因此我們利用現代通用GPU 計算將其從CPU 中卸載。
**這允許更高的吞吐量,同時也創造了經濟效率。 **通過將可並行工作轉移到相對便宜的並行處理器上,我們可以為用於創建數據挖掘者的高順序和內存密集型工作保持主內存和CPU 空閒。
低電平域算法是生成和驗證zk- snark 時執行的大多數操作的基礎。 **blst 庫在彙編和C 語言中實現了關鍵部分,以從CPU 中獲得最後的性能。 **為了確保這些優化不會損害安全性,該代碼( 甚至彙編語言!) 正在由Galois 進行正式驗證。
更強大的批量驗證
為了提高多個zk- snark 的驗證速度,實現了批量驗證。這是Zcash 規範附錄B2 中描述的一種技術,但尚未使用。這允許減少需要執行的Miller 循環( 驗證過程中最昂貴的操作) 的數量,從而在一次查看多個驗證時大大減少。
儘管批處理驗證有幫助,但我們需要更快的驗證,所以我們實現了SnarkPack。這允許我們將許多zk- snark 聚合到一個組合證明中。 **這種優化不僅在規模上將驗證時間減少了10 倍以上,而且還通過減少必須提交給鏈的每個證明的平均字節數來減少鏈帶寬。 **
為了實現這一點,我們在內部產品論證的基礎上進行了研究,並與作者合作擴展了它,以支持我們的需求,而不需要新的可信設置。我們通過使用兩個現有的power of Tau 可信設置來調整技術以安全地應用,從而實現了這一點。 **這是一個很好的例子,說明我們在歷史上必須克服障礙,以實現突破性的規模。 **
大有IPFS 研究院將持續關注圍繞Filecoin 項目的最新消息。
無論您是新手還是資深從業者,大有IPFS 研究院將為您提供創新的觀點和深入的分析。我們秉承開放、包容的精神,歡迎您的加入,共同學習和成長。