PoRep和PoSt其實是Pos的兩種實例。PoRep要求礦工對文件進行初始化，并證明礦工持有初始化后的文件。礦工必須在給定時間內(nèi)響應(yīng)，否則無法證明時間內(nèi)持有文件。PoSt證明在一段連續(xù)時間內(nèi)擁有特定信息，并在礦工的存儲設(shè)備中，強調(diào)時效性，相對來說更困難和復(fù)雜。

在Filecoin網(wǎng)絡(luò)中，復(fù)制證明和時空證明是最重要的協(xié)議，也是消耗資源最多的證明。它們的實現(xiàn)方式?jīng)Q定了Filecoin礦機的最優(yōu)配置，也決定了礦工的硬件成本。

復(fù)制證明運行原理： 復(fù)制證明PoRep是存儲證明的一種實現(xiàn)方式。證明者X向檢驗者Y提交PoRep，證明自己在存儲設(shè)備上備份了數(shù)據(jù)D。證明者X受網(wǎng)絡(luò)委托，存儲了n個數(shù)據(jù)D的獨立備份。當Y向X提出挑戰(zhàn)時，X需要向Y證明確實存儲了每一個D的備份D'，這就是PoRep的驗證過程。

復(fù)制證明的核心思想是為用戶數(shù)據(jù)保留備份，以防止網(wǎng)絡(luò)攻擊。為了滿足要求，需要加密時間長、解密時間短，并且生成存儲證明的復(fù)雜度低。這樣的設(shè)計考慮到解密時間短不會消耗系統(tǒng)計算資源，同時考慮到每個證明周期中有多個證明，因此生成存儲證明應(yīng)該盡量簡單快速。

時空證明運行原理： 復(fù)制證明PoRep是時間點證明，證明在一個時間點中礦工存儲了文件。而PoSt是時間區(qū)間證明，證明在一段時間內(nèi)礦工實際存儲了文件。簡單解釋就是，單次挑戰(zhàn)無法證明文件在整個時間段內(nèi)都存在。

時空證明的博弈策略是每間隔一定區(qū)間高度，網(wǎng)絡(luò)機器人會隨機選擇檢查時間點，向礦工發(fā)起挑戰(zhàn)。每次挑戰(zhàn)后，礦工需要生成一段復(fù)制證明，以檢查是否存在作弊行為。如果挑戰(zhàn)失敗，礦工將被處罰一定的質(zhì)押代幣。

時空證明的機制是驗證者Y通過向證明者X提供一段獨特的數(shù)據(jù)證明，讓X在一段時間內(nèi)證明其存儲了數(shù)據(jù)D并備份為D'。

零知識證明： 復(fù)制證明和時空證明在真實的分布式網(wǎng)絡(luò)中實現(xiàn)運行，并不依賴第三方可信機構(gòu)。這是得益于零知識證明的關(guān)鍵作用。

零知識證明是指證明者在不提供有用信息的情況下，使驗證者在某個概率下相信某個論斷是正確的。它的發(fā)明起源于最小漏洞證明，驗證者無法獲得除了證明者證明某一事實之外的其他信息。

一些匿名數(shù)字貨幣如zcash就使用零知識證明來保護交易雙方身份和交易金額的匿名性。

對于去中心化的Filecoin網(wǎng)絡(luò)來說，存儲證明機制中的時空證明和復(fù)制證明至關(guān)重要。合理的驗證和證明體系可以避免安全攻擊，實現(xiàn)網(wǎng)絡(luò)的正常運轉(zhuǎn)，并保證節(jié)點之間的公平競爭和合作。