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

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

zk-SNARKs對Filecoin網絡的價值

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

Arbitrum日交易量昨天創下130萬的歷史新高:金色財經報道，鏈上分析師@Dynamo_Patrick發推表示，Arbitrum 日交易量昨天創下 130 萬的歷史新高。相比之下，以太坊主網有 108 萬筆交易。[2023/3/23 13:21:08]

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

Cardano原生代幣鑄造數量超700萬枚:11月27日消息，Cardano原生代幣Ada鑄造數量超700萬枚。根據pool.pm數據顯示，在65,652種不同的鑄造策略中，Ada鑄造數量共計7,055,456枚。

據悉，根據Cardano建設者IOG提供的最新統計數據，Cardano上已經啟動了106個項目，另有1146個項目處于不同的開發階段。此外，Indigo Protocol推出了IUSD穩定幣，據悉，IUSD是Cardano區塊鏈上的首款穩定幣。[2022/11/28 21:05:33]

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

數據：薩爾瓦多加密錢包Chivo使用率未達預期，匯款占比只有該國總匯款額1.9%:金色財經報道，據前薩爾瓦多央行行長、獨立顧問和經濟學家卡洛斯·阿塞韋多(Carlos Acevedo)最近接受彭博社采訪時稱：“現在薩爾瓦多已經沒有人真正談論比特幣了，這是一種被遺忘的形式。”數據顯示，薩爾瓦多的加密錢包Chivo和比特幣幾乎沒有被用作匯款渠道，從2021年9月到2022年6月期間，通過Chivo匯入的匯款金額只有1.089億美元，只占到薩爾瓦多57.6億美元總匯款額的1.9%。此外，自2022年2月以來，該國絕大多數 Chivo 售貨亭都處于非運營狀態。根據《巴倫周刊》此前報道，薩爾瓦多總統布克勒為財政部購買了2381枚比特幣，花費約1.07億美元，截至今年9月賬面價值已下跌約58%。（cryptonewsbtc）[2022/9/26 7:20:26]

了解zk-SNARKs

Cosmos社區提案：建議提供15萬枚ATOM資助轉移至Cosmos的藍籌項目:6月27日消息，Cosmos社區發布新提案，該提案建議提供15萬枚ATOM資助轉移至Cosmos的、將基于CosmWasm建立的藍籌項目以及consumer chain的啟動。該提案表示，將重點關注可以從流動性質押以及鏈間安全性（Interchain Security）中受益的項目，使得Cosmos Hub鞏固作為Cosmos生態流動性質押資產主導的地位。此外，該資金還將用于資助驗證節點“P2P”啟動consumer chain，并將其作為托管Lido Finance流動性質押的鏈。[2022/6/27 1:34:09]

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

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：FILFILECOIECOINSFIL價格filecoin幣價估值FoxdcoinPenceCoin

以太坊交易所