Module storage_proofs_core::gadgets::por

Structs

AuthPath
PoRCircuit	Proof of retrievability.
PoRCompound

Functions

challenge_into_auth_path_bits
por_no_challenge_input	Synthesizes a non-compound arity PoR without adding a public input for the challenge (whereas PoRCircuit adds one public input for the challenge). This PoR gadget allows the caller to pack mulitple PoR challenges into a single public input when the challenge bit length is less than Fr::Capacity.