Filecoin的證明機制可以推動區塊鏈的發展?

買賣虛擬貨幣

Filecoin是建立在空間證明變化上的。在構建分散式儲存網路時,我們著手構建一個證明結構,在這個結構中,共識是透過產生資料儲存來實現的。

Filecoin,一個建立在強大的去中心化市場上的去中心化儲存網路。為了培育這個市場,分散市場職能,鼓勵礦工的參與,IPFS官方建立了一個加密通證,這是Filecoin共識的副產品。此通證是在有用的工作(即有用的複製證明和時空證明)的基礎上生成的。

1)複製證明

複製證明是一個證明系統,用來驗證儲存礦工確實擁有他們所儲存的內容,並且沒有作弊。但如何向網路證明,礦工確實在儲存一些東西,而不是撒謊?Filecoin對複製的證明既是對儲存的證明,也是對空間的證明,兩者略有不同。

在Filecoin中,資料單元儲存在所謂的扇區中。礦工以緩慢的編碼過程將磁碟上扇區中的特定資料密封起來,並將驗證提交給區塊鏈。密封是一項耗費大量精力的工作。想要偽造這樣的證明,礦工必須使用客戶端儲存在Filecoin上的原始資料來完成特定的工作。

複製證明執行一次以證明礦工在密封扇區時儲存了資料的物理唯一副本,而時空證明(PoSt)則反覆執行以證明他們繼續將儲存空間專用於該扇區隨著時間的推移資料。

2)時空證明

時空證明是向儲存礦工發出加密挑戰的過程,只有直接透過封裝扇區才能正確回答。儲存礦工必須在嚴格的時間限制內應對這一挑戰,封裝的計算難度確保了儲存礦工必須保持對封裝扇區的隨時訪問和扇區的完整性。

首先,時空證明隨機選擇編碼副本的一些葉節點,並在其上執行默克爾包含證明,以表明礦工擁有應該在那裡的特定位元組。然後,礦工使用私有儲存的 CommRLast 來證明(不透露其值)他們知道副本的根,該根既與包含證明一致,又可用於推匯出公知的複製承諾。

當礦工同意為客戶儲存資料時,他們需要放抵押品。如果他們在合同期間的任何時候未能透過時空證明,他們將受到處罰。這是鼓勵 Filecoin 網路中所有參與者的良好行為的激勵措施的關鍵部分

時空證明的最後階段將這些證明壓縮為單個zk-SNARK。

3)zk-SNARK

Filecoin 中的複製證明和時空證明過程都使用 zk-SNARK 進行壓縮。

zk-SNARKs 代表“零知識簡潔非互動式知識論證”。我們可以將它們視為計算的雜湊。它們讓我們證明一個證明已經正確完成,而不必透露證明本身或它所基於的基礎資料的細節。

建立Filecoin 的zk-SNARKs 的過程在計算上是昂貴的(慢),但產生的最終產品很小並且驗證過程非常快。與原始證明相比,zk-SNARK很小,因此可以有效地儲存在區塊鏈中。例如,一個在Filecoin鏈上佔用數百 KB 的證明可以使用zk-SNARK壓縮到僅192 個位元組。

區塊鏈通常使用工作證明(意味著計算或處理能力),而 Filecoin的證明是有用儲存的證明(一種權益證明)。因為這些證明不必連續執行,所以它們的計算效率更高,對環境的危害也更少。

Filecoin以多種不同的方式推動區塊鏈的發展。


作者:IPFS小幸福,來源:IPFS l Filecoin社羣學習吧

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读