/// Compute PRF^addr, expose computation to circuit and output pk_addr in big endian format.
Compute PRF^addr, expose computation to circuit and output pk_addr in big endian format.
Compute PRF^addr expose computation to circuit and output pk_addr in big endian format .
pub fn prf_addr<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
    cs: CS,
    sk_addr: &[Boolean],
) -> Result<Vec<Boolean>, SynthesisError> {
    prf(
        cs,
        sk_addr,
        false,
        false,
        &(0..254)
            .map(|_| Boolean::constant(false))
            .collect::<Vec<_>>(),
        PERSONALISATION_PRF_ADDR,
    )
}
pub fn prf_addr < Scalar : PrimeField , CS : ConstraintSystem < Scalar > > ( cs : CS , sk_addr : & [ Boolean ] , ) -> Result < Vec < Boolean > , SynthesisError > { prf ( cs , sk_addr , false , false , & ( 0 .. 254 ) . map ( | _ | Boolean :: constant ( false ) ) . collect :: < Vec < _ > > ( ) , PERSONALISATION_PRF_ADDR , ) }
Compute PRF^addr, expose computation to circuit and output pk_addr in big endian format.
Compute PRF^addr expose computation to circuit and output pk_addr in big endian format .
cs
CS
sk_addr
&[Boolean]