Function storage_proofs::circuit::porc::pack_into_allocated_num

pub fn pack_into_allocated_num<E, CS>(
    cs: CS, 
    bits: &[Boolean]
) -> Result<AllocatedNum<E>, SynthesisError> where
    E: Engine,
    CS: ConstraintSystem<E>, 

Takes a sequence of booleans and returns a single E::Fr as a packed representation. NOTE: bit length must be less than Fr::capacity() for the field, or this will overflow.