Module cess_sp_post::fallback
source · [−]Structs
This is the FallbackPoSt circuit.
Functions
Generates challenge, such that the range fits into the sector.
Generate all challenged leaf ranges for a single sector, such that the range fits into the sector.
Generate a single sector challenge.