Module storage_proofs_post::rational

source · [−]

Structs

A challenge specifying a sector and leaf.

ComponentPrivateInputs

RationalPoStCircuit

This is the RationalPoSt circuit.

RationalPoStCompound

Functions

derive_challenges

Rational PoSt specific challenge derivation.