Getting started
Introduction
Definitions
Ideas and Theory
Use Case
Constructions
How it Works?
Related Protocols
Open Problems
Useful resources
Documentation
Outreach Talks
Filecoin Proof of Space
We will present an instantiation of PoS protocol in Filecoin where implementation and optimization details are omitted.
Seal Operation
Seal is an operation used on the data to create a replica. The following properties are requiered to hold for Seal:
- Seal forces replicas to be physically independent copies by requiring provers to store a pseudo-random permutation of unique to their public key, such that committing to store replicas results in dedicating disk space for n independent replicas (hence n times the storage size of a replica)
- Seal enforces that the generation of the replica takes substantially longer than the time expected for responding to a challenge.
PoS.SEAL
Inputs: – prover key pair – prover SEAL key – data Outputs: replica , Merkle root commitment of proof
PoS.Prove
Inputs:
– prover PoSt key – replica – random challenge – time parameter Outputs: a proof
PoS.Verify
Inputs:
– prover public key – verifier SEAL and POS keys – hash of data – Merkle root of the replica, – random challenge, – tuple of proofs, Outputs: bit , equals 1 if proofs are valid