公开(公告)号：US10554407B1

公开(公告)日：2020-02-04

申请号：US16195621

申请日：2018-11-19

申请人： Protocol Labs, Inc.

发明人： Nicola Greco ,  Juan Batiz-Benet

IPC分类号： H04L29/06 ,  H04L9/32 ,  H04L9/06 ,  G06F21/60

摘要： 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.

公开(公告)号：US11570001B1

公开(公告)日：2023-01-31

申请号：US16866370

申请日：2020-05-04

申请人： Protocol Labs, Inc.

发明人： Nicola Greco ,  Juan Batiz-Benet

IPC分类号： H04L9/32 ,  H04L9/06 ,  H04L9/00

摘要： 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: (i) receiving, at a prover, an initial input challenge; (ii) 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 includes: (a) producing, at the prover, an initial proof responsive to the initial input challenge, the initial proof proving that the prover is storing specified data; (b) generating, at the prover, a new input challenge based at least in part on the initial proof: (c) 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 (d) 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; and (iii) forwarding the output proof, e.g., to a blockchain.

公开(公告)号：US11245528B1

公开(公告)日：2022-02-08

申请号：US16726520

申请日：2019-12-24

申请人： Protocol Labs, Inc.

发明人： Nicola Greco ,  Juan Batiz-Benet

IPC分类号： H04L29/06 ,  H04L9/32 ,  H04L9/06 ,  G06F21/60

摘要： 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: (i) receiving, at a prover, an initial input challenge; (ii) 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 includes: (a) producing, at the prover, an initial proof responsive to the initial input challenge, the initial proof proving that the prover is storing specified data; (b) generating, at the prover, a new input challenge based at least in part on the initial proof: (c) 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 (d) 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; and (iii) forwarding the output proof, e.g., to a blockchain.

公开(公告)号：US10708071B1

公开(公告)日：2020-07-07

申请号：US16195536

申请日：2018-11-19

申请人： Protocol Labs, Inc.

发明人： Nicola Greco ,  Juan Batiz-Benet ,  David Allen Dalrymple

IPC分类号： H04L9/32 ,  H04L9/06 ,  H04L29/06 ,  G06F21/60 ,  G06F16/13

摘要： One method includes: (a) forwarding an input challenge to a prover at a start time, the input challenge having a time-stamp; (b) receiving a proof of storage responsive to the input challenge from the prover; (c) generating a new input challenge based on the proof of storage and forwarding the new input challenge to the prover; (d) repeating steps (b) and (c) resulting in a final proof; (e) receiving a proof result based on the final proof, the proof result having a time-stamp; (f) determining that the time between the start time time-stamp and the proof result time-stamp is less than a specified period of time; and (g) determining a winning prover from a plurality of candidate provers where a probability of a candidate prover being a winning prover is proportional to the candidate prover's assigned storage which is indicated at least in part by the candidate miner's proof result.