pub fn prf_kappa<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
    cs: CS,
    sk_addr: &[Boolean],
    k: &[Boolean],
) -> Result<Vec<Boolean>, SynthesisError> {
    assert_eq!(k.len(), 256);

    prf(
        cs,
        sk_addr,
        true,
        true,
        &k[0..254],
        PERSONALISATION_PRF_KAPPA,
    )
}
/// Compute PRF^kappa, expose computation to circuit and output kappa in big endian format.
Compute PRF^kappa, expose computation to circuit and output kappa in big endian format.
Compute PRF^kappa expose computation to circuit and output kappa in big endian format .
pub fn prf_kappa<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
    cs: CS,
    sk_addr: &[Boolean],
    k: &[Boolean],
) -> Result<Vec<Boolean>, SynthesisError> {
    assert_eq!(k.len(), 256);
    prf(
        cs,
        sk_addr,
        true,
        true,
        &k[0..254],
        PERSONALISATION_PRF_KAPPA,
    )
}
pub fn prf_kappa < Scalar : PrimeField , CS : ConstraintSystem < Scalar > > ( cs : CS , sk_addr : & [ Boolean ] , k : & [ Boolean ] , ) -> Result < Vec < Boolean > , SynthesisError > { assert_eq ! ( k len ( ) 256 ) ; prf ( cs , sk_addr , true , true , & k [ 0 .. 254 ] , PERSONALISATION_PRF_KAPPA , ) }
Compute PRF^kappa, expose computation to circuit and output kappa in big endian format.
Compute PRF^kappa expose computation to circuit and output kappa in big endian format .
cs
CS
sk_addr
&[Boolean]
k
&[Boolean]
cs
CS
sk_addr
&[Boolean]
k
&[Boolean]