Protocols for decentralized networks
Methods, systems, and apparatus, including computer programs encoded on computer storage media, for establishing a proof of storage over a specified period of time. One of the methods includes: (a) receiving, at a prover, an input challenge at a start time; (b) producing a proof responsive to the input challenge, wherein the proof is based at least in part on a proof of storage; (c) generating a new input challenge based at least in part on the proof; (d) repeating steps (b)-(c) a number of times resulting in a final proof; (e) receiving a proof result based at least in part on the final proof from the prover within a specified period of time from the start time; and (f) forwarding, to the verifier, the proof result.
1. A method comprising:
receiving, at a prover, an initial input challenge;
producing, at the prover, an output proof proving that the prover has access to specified data for a specified time, wherein producing the output proof comprises:
producing, at the prover, an initial proof responsive to the initial input challenge, the initial proof proving that the prover is storing the specified data;
generating, at the prover, a new input challenge based at least in part on the initial proof;
producing, at the prover, a new proof responsive to the new input challenge, the new proof proving that the prover is storing the specified data; and
repeating, at the prover, the generating step and the producing a new proof responsive to the new input challenge step a number of times, the repeating step generating sequential proofs of storage to determine time of storage, wherein each generating step is based at least in part on a most recent new proof,
adding the output proof to a blockchain; and
receiving tokens at least in part in response to adding the output proof to the blockchain.
2. The method of claim 1 wherein the output proof is labeled with a loop counter index.
3. The method of claim 1 wherein the method further comprises checking, at a verifier, if the prover is storing the specified data for at least a minimum period of time.
4. A system comprising:
one or more computers and one or more storage devices on which are stored instructions that are operable, when executed by the one or more computers, to cause the one or more computers to perform operations comprising:
(a) receiving, at a prover, an initial input challenge;
(b) producing an output proof, wherein producing the output proof comprises:
(i) producing an initial proof responsive to the initial input challenge, the initial proof proving that the prover is storing specified data;
(ii) generating a new input challenge based at least in part on the initial proof;
(iii) producing a new proof responsive to the new input challenge, the new proof proving that the prover is storing the specified data; and
(iv) repeating the generating step and the producing a new proof responsive to the new input challenge step a number of times, the repeating step generating sequential proofs of storage to determine time of storage, wherein each generating step is based at least in part on a most recent new proof;
(c) adding the output proof to a blockchain; and
(d) receiving tokens at least in part in response to adding the output proof to the blockchain.
5. The system of claim 4 wherein the output proof is labeled with a loop counter index.
6. The system of claim 4 wherein the operations further comprise checking, at a verifier, if the prover is storing the specified data for at least a minimum period of time.