Function neptune::circuit2_witness::poseidon_hash_allocated_witness

source ·

pub fn poseidon_hash_allocated_witness<CS, Scalar, A>(
    cs: &mut CS,
    preimage: &[AllocatedNum<Scalar>],
    constants: &PoseidonConstants<Scalar, A>
) -> Result<AllocatedNum<Scalar>, SynthesisError>where
    CS: ConstraintSystem<Scalar>,
    Scalar: PrimeField,
    A: Arity<Scalar>,

Expand description

Create circuit for Poseidon hash, returning an AllocatedNum at the cost of one constraint.