Module storage_proofs_post::fallback[][src]

Structs

ChallengeRequirements
ComponentPrivateInputs
FallbackPoSt
FallbackPoStCircuit

This is the FallbackPoSt circuit.

FallbackPoStCompound
PrivateInputs
PrivateSector
Proof
PublicInputs
PublicParams
PublicSector
Sector
SectorProof
SetupParams

Functions

generate_leaf_challenge

Generates challenge, such that the range fits into the sector.

generate_leaf_challenge_inner
generate_leaf_challenges

Generate all challenged leaf ranges for a single sector, such that the range fits into the sector.

generate_sector_challenge

Generate a single sector challenge.

generate_sector_challenges
vanilla_proof