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 PoR proof without adding a public input for the challenge (whereas PoRCircuit adds a public input for the packed challenge bits).