pub fn prf_mu<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
    cs: CS,
    sk_addr: &[Boolean],
    pos_mem: &[Boolean],
    is_mem: &AllocatedBit,
) -> Result<Vec<Boolean>, SynthesisError> {
    assert_eq!(pos_mem.len(), MEMORY_MT_DEPTH);

    // Compute the seed
    let mut seed = vec![];
    seed.extend((0..(254 - MEMORY_MT_DEPTH - 1)).map(|_| Boolean::constant(false)));
    seed.push(Boolean::from(is_mem.clone()));
    seed.extend(pos_mem.iter().cloned());

    prf(cs, sk_addr, true, false, &seed, PERSONALISATION_PRF_MU)
}
/// Compute PRF^mu, expose computation to circuit and output mu in big endian format.
Compute PRF^mu, expose computation to circuit and output mu in big endian format.
Compute PRF^mu expose computation to circuit and output mu in big endian format .
pub fn prf_mu<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
    cs: CS,
    sk_addr: &[Boolean],
    pos_mem: &[Boolean],
    is_mem: &AllocatedBit,
) -> Result<Vec<Boolean>, SynthesisError> {
    assert_eq!(pos_mem.len(), MEMORY_MT_DEPTH);
    // Compute the seed
    let mut seed = vec![];
    seed.extend((0..(254 - MEMORY_MT_DEPTH - 1)).map(|_| Boolean::constant(false)));
    seed.push(Boolean::from(is_mem.clone()));
    seed.extend(pos_mem.iter().cloned());
    prf(cs, sk_addr, true, false, &seed, PERSONALISATION_PRF_MU)
}
pub fn prf_mu < Scalar : PrimeField , CS : ConstraintSystem < Scalar > > ( cs : CS , sk_addr : & [ Boolean ] , pos_mem : & [ Boolean ] , is_mem : & AllocatedBit , ) -> Result < Vec < Boolean > , SynthesisError > { assert_eq ! ( pos_mem len ( ) MEMORY_MT_DEPTH ) ; // Compute the seed let mut seed = vec ! [ ] ; seed . extend ( ( 0 .. ( 254 - MEMORY_MT_DEPTH - 1 ) ) . map ( | _ | Boolean :: constant ( false ) ) ) ; seed . push ( Boolean :: from ( is_mem . clone ( ) ) ) ; seed . extend ( pos_mem . iter ( ) . cloned ( ) ) ; prf ( cs , sk_addr , true , false , & seed , PERSONALISATION_PRF_MU ) }
Compute PRF^mu, expose computation to circuit and output mu in big endian format.
Compute PRF^mu expose computation to circuit and output mu in big endian format .
cs
CS
sk_addr
&[Boolean]
pos_mem
&[Boolean]
is_mem
&AllocatedBit
cs
CS
sk_addr
&[Boolean]
pos_mem
&[Boolean]
is_mem
&AllocatedBit