IPFS挖礦所建立的零知識證明是指文件幣（Filecoin）通過激勵措施建立起來的一種網(wǎng)絡(luò)。它內(nèi)置了零知識算法，可以自動生成對應(yīng)的證明任務(wù)。根據(jù)項目方提供的數(shù)據(jù)，文件幣網(wǎng)絡(luò)每天可以運行600萬到700萬個零知識證書。目前，文件幣網(wǎng)絡(luò)的可信配置最多支持128米的電路認證，而最大單個證明超過100米，而比特幣最多只支持2米。

此外，文件幣目前正在實施SnarkPack，將10個零知識證明捆綁為一個證明，并致力于收集數(shù)千個零知識證明合并為一個證明。在硬件支持方面，文件幣將零知識證明中可高度并行化的部分轉(zhuǎn)移到GPU，從而提高了零知識證明的效率。

過去兩年，我們一直致力于將zk-SNARK引入文件幣網(wǎng)絡(luò)。為此，我們?yōu)槿騄K-SNARK網(wǎng)站推出了JK-SNARK。該網(wǎng)站展示了如何在文件幣上使用SNARK，并進行了一些主要改進。

文件幣能夠證明礦工確實存儲了客戶的數(shù)據(jù)，從而獲得區(qū)塊獎勵，防止浪費工作證明。這需要進行大量的密碼證明。副本證明（replication-conservation）使得礦工能夠保存斷言數(shù)據(jù)的唯一副本，并提供了時間和空間證明，以便能夠隨著時間的推移保留可訪問的數(shù)據(jù)副本。

在構(gòu)建文件幣時，我們認為網(wǎng)絡(luò)安全證據(jù)的數(shù)量是前所未有的。在我們與互聯(lián)網(wǎng)連接之前的開發(fā)過程中，我們逐一解決了障礙，允許使用zk-SNARK。在上市后，我們不斷進行新的研究，提高性能?，F(xiàn)在的文件幣標志著尖端研究和創(chuàng)新工程的交集。

文件幣的目標是構(gòu)建一個非集中化的存儲交易平臺。因此，證明存儲供應(yīng)商并有效地存儲指定數(shù)據(jù)是非常重要的。

文件幣通過PoREP和PoST算法（包括零知識證明）來實現(xiàn)這一目標。PoREP是一種數(shù)據(jù)存儲證明算法，用于證明用戶數(shù)據(jù)已正確處理。PoREP使用零知識證明，證明每個層的數(shù)據(jù)是通過VDE計算生成的，并提供最終結(jié)果的Merkle樹的根。有時候，在處理和保存數(shù)據(jù)后，還需要提交存在證明的PoST算法。PoST算法的基本思路是在Merkle樹中隨機選擇葉子節(jié)點位置，并提供Merkle路徑的零知識證明。

另外，通過JK-SNARK，證明者可以有效地說服驗證者，而無需公開信息本身。這種屬性在區(qū)塊鏈設(shè)置中實現(xiàn)了安全和個人交互。文件幣目前依賴的主要屬性是效率。這是因為Zk-SNARK可以在比其他方法更少的空間中證明存儲的有效性。

總的來說，從整體零知識證明技術(shù)的角度來看，文件幣應(yīng)用了零知識證明技術(shù)來解決分布式存儲的信任問題，從而實現(xiàn)了從0到1的突破。文件幣的整個機制旨在確保礦工以可以證明客戶數(shù)據(jù)的方式進行存儲，從而獲得區(qū)塊獎勵，避免浪費大量的工作量。礦工可以斷言唯一副本的可靠性，并通過時空證據(jù)來保留可訪問的復(fù)制數(shù)據(jù)副本。因此，隨著自主網(wǎng)絡(luò)的發(fā)布，實驗室可以繼續(xù)進行新的研究，進一步提高性能，并執(zhí)行提出的zk-SNARK。

熱點：ipfs 挖礦