Function storage_proofs_core::gadgets::insertion::insert_8
source ยท pub fn insert_8<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
cs: &mut CS,
element: &AllocatedNum<Scalar>,
bits: &[Boolean],
elements: &[AllocatedNum<Scalar>],
) -> Result<Vec<AllocatedNum<Scalar>>, SynthesisError>