Documentation
¶
Index ¶
Constants ¶
View Source
const ( NumNoncesPerIteration = 10 // TODO(moshababo): update the recommended value MaxNumIterations = 10 // TODO(moshababo): update the recommended value )
Variables ¶
View Source
var ( FastOracle = oracle.FastOracle UInt64LE = shared.UInt64LE )
Functions ¶
This section is empty.
Types ¶
type ConfigMismatchError ¶
type ConfigMismatchError = shared.ConfigMismatchError
type DiskState ¶
type DiskState = initialization.DiskState
type Metadata ¶
type Metadata = initialization.Metadata
type ProofMetadata ¶
type ProofMetadata = shared.ProofMetadata
type Prover ¶
type Prover struct {
// contains filtered or unexported fields
}
func (*Prover) GenerateProof ¶
func (p *Prover) GenerateProof(challenge Challenge) (*Proof, *ProofMetadata, error)
GenerateProof (analogous to the PoST protocol Execution phase) receives a challenge that cannot be predicted, and reads the entire PoST data to generate a proof in response to the challenge to prove that the prover data exists at the time of invocation. Generating a proof can be repeated arbitrarily many times without repeating the PoST protocol Initialization phase; thus despite the initialization essentially serving as a PoW, the amortized computational complexity can be made arbitrarily small.
Source Files
Click to show internal directories.
Click to hide internal directories.