Module storage_proofs_core::gadgets::por

source · [−]

Structs

AuthPath
PoRCircuit

Proof of retrievability.

PoRCompound

Functions

challenge_into_auth_path_bits
por_no_challenge_input

Synthesizes a PoR proof without adding a public input for the challenge (whereas PoRCircuit adds a public input for the packed challenge bits).