FIL:Filecoin網絡已成為最大的零知識證明網絡，什么是零知識證明？

近期，人們對于零知識證明有了更大程度上的關注和討論，事實上，隨著區塊鏈的不斷普及，我們會越來越頻繁地遇見zk-SNARK。

為了讓大家能夠更好地理解零知識證明是什么，讓我們一起來看看關于“洞穴寓言”的小故事：

深山中，有一個儲備了金子的洞穴，想要進入洞穴獲取財富必須要打開一扇魔法門。為了打開魔法門，人們需要低聲說出正確的秘密，如果你就是知道那個秘密的人，并且遭遇了綁匪的綁架，那么，你該如何在不讓綁匪知道正確密碼的情況下打開這扇門？

你可以這樣做：讓綁匪離自己一箭之地，距離足夠遠到讓綁匪無法聽到口令，足夠近到讓你無法在強盜的弓箭下逃生，然后，你就可以在這個距離下向綁匪展示魔法門打開和關閉。

Uniswap社區正就將V3部署至Filecoin Virtual Machine提案進行溫度檢查投票:6月13日消息，Snapshot投票頁面顯示，Uniswap社區正對將 Uniswap V3部署至Filecoin Virtual Machine的提案進行溫度檢查投票，目前支持率為100%，投票將于6月18日結束。[2023/6/13 21:34:11]

以上這個例子，其實就展示了零知識證明的核心概念——在不透露任何信息的情況下，證明自己知道這個信息。

零知識證明的應用場景相對廣泛，尤其是在區塊鏈領域：例如我們常用非對稱加密來做身份認證，驗證方只要使用公鑰解出自己提供的隨機數，即可證明被認證方的身份，不需要其提供自己的私鑰。

FileStar宣布將支持七牛云KODO對象存儲，為NFT產業提供存儲空間:FileStar文曲星今日宣布，將支持七牛云KODO作為底層存儲解決方案，開啟FileStar存儲網絡的商業化應用，為NFT產業提供存儲空間。此次合作之后，基于FileStar的七牛云KODO，可以支持EiB級數據存儲，能夠為企業級客戶提供高性能、高可擴展性和大數據容量的分布式存儲服務能力。

FileStar第一版主網（BigBang v1.0.0）已于2020年10月30日發布，FileStar其Token無預挖、無私募、無前置抵押，將于5月份上線PoS鎖倉挖礦機制。[2021/4/6 19:51:04]

掌柜調查署｜金色算力云副總裁：Filecoin主網上線推遲主要是給礦工時間準備測試網的激勵競賽:在今日舉行的掌柜調查署中，針對“Filecoin官方已決定將主網上線窗口期推遲至8月31日-9月21日。此前Filecoin主網就曾多次被推遲，這次與之前的有什么不同？這次推遲上線對礦工有哪些影響？“的問題，金色算力云副總裁Maggie Lin表示，這次的推遲，主要是希望能夠給予礦工更多的時間去準備測試網的激勵競賽，并不存在大范圍的改動，此外，官方宣布將額外獎勵100K Fil, 以按比例分配給20個最大的區塊獎勵獲獎者。

此次的推遲上線，對于礦工而言，給予了更長的準備時間，但也增加了額外的成本。對于云算力平臺的用戶而言，并沒有太大影響，我們承當了托管費用，此外，金色算力云承諾，主網2021年1月1日前沒有上線，我們全額退款。[2020/7/15]

zk-SNARK的運用能夠保證區塊鏈環境中的安全和隱私互動，Filecoin作為強大的分布式存儲網絡，在網絡構建之初就采用了zk-SNARK零知識證明機制。

動態 | Filecoin 發布首個備用實現 Lotus 已實現挖礦和存儲等協議核心功能:Filecoin 發布首個備用 Filecoin 實現 Lotus，具體包括開放 Lotus 代碼庫及上線 Lotus 開發網。作為 Filecoin 協議規范的 Go 語言實現，Lotus 代碼庫實現了幾個核心 Filecoin 協議功能，包括挖礦、存儲和檢索。值得注意的是，礦工可在 Lotus 開發網上挖礦進行存儲，且支持不同存儲配置挖礦， rust-fil-proofs 集成可支持按時提交時空證明，存儲挖礦作為一個單獨模塊實現，將允許高級礦工根據特定硬件配置優化挖礦過程。Filecoin 官方表示，該實現不會改變測試網和主網上線計劃，但會使 Filecoin 主網更加安全和靈活，增強與不同開發者社區互動和探索不同實現架構的機會，并計劃在 2020 年 3 月主網上線時推出 2 種以上可交互操作的協議的實現。[2019/10/17]

近年來，ProtocolLab研究開發實驗室更是致力于將zk-SNARK融入Filecoin網絡，如今，Filecoin是迄今為止部署規模最大的zk-SNARK網絡。

為什么Filecoin網絡需要zk-SNARK？

Filecoin網絡每天都在存儲著大量的數據，這會涉及到兩個證明：復制證明和時空證明。?

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

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

Filecoin網絡每天都在存儲著大量的數據，每時每刻都涉及到了非常多的證明，因此，Filecoin網絡必須孜孜不倦地提供存儲效率，而運用zk-SNARK可以幫助Filecoin使用更少空間提升存儲效率。

當我們使用zk-SNARKs來生成證明時，那么所生成的證明就會很小，驗證過程也會非常快。例如，通常要占據幾百kb來驗證的證明可以使用zk-SNARKs來壓縮到192字節。而每一個復制證明包括了10個SNARKs，這就意味著它只會占據1920字節，這是一個非常小的字節。

即當Filecoin網絡運用zk-SNARKs之后，Filecoin提升了網絡可擴展性和效率，這對維持Filecoin的30秒區塊時間很重要。

zk-SNARKs在Filecoin的過去和未來

從2020年10月份的發布開始，Filecoin網絡對zk-SNARKs的使用就已經上線了。

也就是說，zk-SNARKs長期是Filecoin網絡的一部分，也會繼續被證明是網絡未來演變的關鍵一環。隨著越來越多的數據在Filecoin上被存儲、維護和訪問，生態系統需要繼續提供高效、劃算和安全的驗證解決方案。

zk-SNARKs是Filecoin網絡的游戲規則改變者，將復雜的驗證流程的大小降低到原始體積的一小部分，而沒有影響安全性、可信性或信心。

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

Tags：FILFILEECOINCOIfile幣最新消息filecoin幣價格查詢Litecoin Scoinex交易所

LTC