👀 家人們,每天看行情、刷大佬觀點,卻從來不開口說兩句?你的觀點可能比你想的更有價值!
廣場新人 & 回歸福利正式上線!不管你是第一次發帖還是久違回歸,我們都直接送你獎勵!🎁
每月 $20,000 獎金等你來領!
📅 活動時間: 長期有效(月底結算)
💎 參與方式:
用戶需爲首次發帖的新用戶或一個月未發帖的回歸用戶。
發帖時必須帶上話題標籤: #我在广场发首帖 。
內容不限:幣圈新聞、行情分析、曬單吐槽、幣種推薦皆可。
💰 獎勵機制:
必得獎:發帖體驗券
每位有效發帖用戶都可獲得 $50 倉位體驗券。(注:每月獎池上限 $20,000,先到先得!如果大家太熱情,我們會繼續加碼!)
進階獎:發帖雙王爭霸
月度發帖王: 當月發帖數量最多的用戶,額外獎勵 50U。
月度互動王: 當月帖子互動量(點讚+評論+轉發+分享)最高的用戶,額外獎勵 50U。
📝 發帖要求:
帖子字數需 大於30字,拒絕純表情或無意義字符。
內容需積極健康,符合社區規範,嚴禁廣告引流及違規內容。
💡 你的觀點可能會啓發無數人,你的第一次分享也許就是成爲“廣場大V”的起點,現在就開始廣場創作之旅吧!
詳解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 研究院將為您提供創新的觀點和深入的分析。我們秉承開放、包容的精神,歡迎您的加入,共同學習和成長。