| CPC H04L 9/3218 (2013.01) [H04L 9/0637 (2013.01); H04L 9/3213 (2013.01); H04L 9/3271 (2013.01); H04L 9/50 (2022.05)] | 20 Claims |
|
1. A method comprising:
receiving, at a verifier, the frequency of input challenges that a prover will receive;
receiving at a verifier, an output proof, the output proof having been generated by steps 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 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,
receiving the output proof at the verifier; and
verifying, at the verifier, the output proof.
|