Function storage_proofs_core::gadgets::por::por_no_challenge_input

source ยท 
pub fn por_no_challenge_input<Tree, CS>(
    cs: CS,
    challenge_bits: Vec<AllocatedBit>,
    leaf: AllocatedNum<Scalar>,
    path_values: Vec<Vec<AllocatedNum<Scalar>>>,
    root: AllocatedNum<Scalar>,
) -> Result<(), SynthesisError>
where
    Tree: MerkleTreeTrait,
    CS: ConstraintSystem<Scalar>,
Expand description

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