FIP-0092

Non-Interactive PoRep

filecoin L1 proof-system final Poseidon

Native status: Final
Enables: Non-interactive replication proofs
Specification: https://github.com/filecoin-project/FIPs/blob/master/FIPS/fip-0092.md

Makes Filecoin's Proof-of-Replication non-interactive by deriving its challenges through Fiat-Shamir rather than on-chain randomness, removing the precommit/wait/provecommit round trip. The underlying SNARK is a Groth16 proof over BLS12-381 whose circuit hashes the replica's Merkle tree and columns with Poseidon (via the neptune library).

Implementations

rust-fil-proofs rust audited report
neptune rust not independently audited

Relationships

Equivalent to: ZIP-0224, SNIP-12, MIP-0003, aleo-varuna, penumbra-groth16

Sources

https://spec.filecoin.io/