中創|零知識證明對Filecoin網絡的價值是什么?_COI

最近，ProtocolLabs研究團隊發布了zk-SNARKsfortheWorldsite網站。這個網站介紹了目前在Filecoin網絡上整合零知識證明密碼學所完成的工作。這些努力已持續三年，已讓Filecoin成為目前最大的zk-SNARK部署網絡，并且每天生成了600萬到700萬個零知識證明

zk-SNARKs對Filecoin網絡的價值

為了讓Filecoin網絡上的存儲提供者繼續為用戶提供服務，他們必須定期證明自己在鏈上持續存儲其所承諾存儲的數據。將他們放在零知識證明的關系中理解的話，這些存儲提供者就成為了證明者。

拜登政府發起AI Cyber Challenge，獎金近2000萬美元:金色財經報道，拜登政府8月9日透露，黑客可以通過應用人工智能(AI)來保護美國重要基礎設施免受網絡安全漏洞的影響，從而獲得巨額金錢獎勵。初賽階段將選出最多20支表現優異的隊伍參加DEF CON 2024的半決賽。其中，最多5支隊伍每支將獲得200萬美元的獎金，并晉級DEF CON 2025的決賽。

AI Cyber Challenge獎金近2000萬美元，匯聚了Anthropic、Google、Microsoft、OpenAI等知名AI企業。AI Cyber Challenge將要求參與者公開分享其系統的內部工作原理，以便更廣泛地利用其解決方案。此外，該挑戰賽的指導由Linux基金會的一個部門開源安全基金會提供。競賽的組織機構美國國防高級研究計劃局(DARPA)承諾為七家有意參加競賽的小企業提供高達100萬美元的資金支持，從而確保參與者的多元化。[2023/8/10 16:17:30]

這個公式的另一邊就是全節點，他們負責為整個Filecoin網絡維護共識。這些節點希望確保數據被存儲、維護和保管好，而沒有疏忽或損壞。這些參與方——驗證者必須能確保存儲提供者對數據被妥善存儲所給出的證明是真實的。這要求在數據易手時，存儲提供者和節點之間有一種形式的通訊。

油漆和涂料巨頭宣偉Sherwin-Williams提交涉及NFT的商標申請:金色財經報道，據商標及版權代律師@NeerMcD在社交媒體披露，全球市值最高的涂料供應商宣偉Sherwin-Williams已提交與NFT有關的商標申請，其中涉及可下載的虛擬商品、數字資產和多媒體文件，包含與油漆、油漆色片和相關商品相關的藝術品、文本、音頻和視頻，并通過NFT或區塊鏈網絡進行驗證，通過持有NFT可授予基于會員訪問權限的會員俱樂部服務。[2023/3/16 13:06:37]

對每一個區塊來說，這個過程是對資源要求很高的。今天，個體的存儲提供者為驗證存儲所需要證明的數據是海量的，而且隨著時間推移只會增加。Filecoin網絡的區塊時間是30秒，為了維持這個區塊時間并允許可擴展的方法，網絡需要一個能提供快速、高效和健壯的驗證過程的解決方案。

過去24小時SOL清算額已超2000萬美元:金色財經報道，隨著Solana（SOL）短時波動，據coinglass數據顯示，過去24小時SOL的清算額已經達到2151萬美元。本文撰寫時，Coingecko數據顯示 Solana（SOL）已跌至27.21美元，過去24小時跌幅為14.9%。[2022/11/8 12:31:14]

了解zk-SNARKs

對Filecoin網絡來說，zk-SNARKs提升了網絡可擴展性和效率，這是通過極大地降低各方驗證存儲的時間來實現的。這對維持Filecoin的30秒區塊時間很重要。對存儲提供者來說，zk-SNARKs降低了他們證明存儲所需要傳輸的數據量，從而降低了在網絡上提供其服務的成本。

Celsius在與Tether資金清算時損失約1億美金:金色財經消息，英國金融時報記者kadhim發推文稱，根據Celsius自愿重組申請文件，Tether向Celsius提供了8.41億美金的貸款。而在清算時，Celsius產生約1億美元（9700萬美元）的損失。[2022/7/15 2:14:47]

zk-SNARKs實踐

為了在Filecoin上驗證存儲，會涉及到兩個證明：復制證明和時空證明。在復制證明中，存儲提供者需證明他們正存儲一份數據或信息的獨特副本。復制證明只會發生一次，這是在用戶和存儲提供者達成最初存儲交易提議且數據首次被存儲提供者存儲時發生的。每一個被鏈上記錄的復制證明包括了10個獨立的的SNARKs證明，它們一起證明了該過程是通過概率挑戰而正確完成的。

另一方面，時空證明用于證明存儲提供者隨著時間推移依然持續存儲原始的數據，而沒有被操縱或損壞。當一個存儲提供者剛開始同意為用戶存儲數據時，他們必須以FIL的方式投入質押品。如果存儲提供者在這個協議中間的任何時點無法提供時空證明，他們會被懲罰并可能損失部分或所有的FIL抵押品。

在證明者和驗證者的鏈上互動中，他們同意數據已被正確地存儲和維護，那么這就是一個證明。如前所述如果缺乏讓這些證明足夠小和高效的解決方案，它們就會占據大量的網絡帶寬并為存儲提供者和節點帶來很高的運作成本。不過如果通過使用zk-SNARKs來生成證明，那么所生成的證明就會很小，驗證過程也會非常快。例如，通常要占據幾百kb來驗證的證明可以使用zk-SNARKs來壓縮到192字節。前面已經提到過，每一個復制證明包括了10個SNARKs，這就意味著它只會占據1920字節。

在Filecoin的過去和未來

?

從10月份的發布開始，Filecoin網絡對zk-SNARKs的使用就已經上線了。故事是這樣的：零知識證明長期是Filecoin網絡的一部分，也會繼續被證明是網絡未來演變的關鍵一環。隨著越來越多的數據在Filecoin上被存儲、維護和訪問，生態系統需要繼續提供高效、劃算和安全的驗證解決方案。零知識證明是Filecoin網絡的游戲規則改變者，將復雜的驗證流程的大小降低到原始體積的一小部分，而沒有影響安全性、可信性或信心。

ProtocolLabs研究團隊已長期投入了Filecoin網絡上的零知識證明工作。他們的努力已為網絡提供了關鍵的效率解決方案。隨著新的驗證系統的出現，團隊會繼續為未來的Filecoin網絡實施最有效率的解決方案。

Tags：OINCOINCOIFILcoinbase官網coinw幣贏網頁版GTCOIN幣FIL12

ICP