Filecoin uses zk-SNARK to prove data is stored correctly during specific period. Precisely, three zk-SNARK circuits are used for several proving steps: PoRep(C2), Winning PoSt and Window PoSt.
=nil; Crypto3 provides own more performant and less hardware-demanding prover (miner) to Filecoin miners for sale or as a subscribtion (service agreement) to all the performance updates and reliability improvements.
=nil; Crypto3's Filecoin prover is a more performant and less hardware-demanding Filecoin prover alternative. This prover along with our version of Lotus Filecoin protocol implementation makes FIL mining up to 10x more profitable than with official rust-fil-proofs library.