pub fn merkle_tree_hash<CS: ConstraintSystem<bls12_381::Scalar>>(
    cs: CS,
    personalisation: Personalisation,
    preimage: &[Boolean],
) -> Result<AllocatedNum<bls12_381::Scalar>, SynthesisError> {
    assert_eq!(preimage.len(), 510);

    pedersen_hash(cs, personalisation, preimage).map(|x| x.get_u().clone())
}
/// Compute the in-circuit hash of the preimage in a Merkle tree with the given
/// `personalisation` and add this to the circuit. Return the unique `Num` that represents the hash.
Compute the in-circuit hash of the preimage in a Merkle tree with the given
`personalisation` and add this to the circuit. Return the unique `Num` that represents the hash.
Compute the in - circuit hash of the preimage in a Merkle tree with the given ` personalisation ` and add this to the circuit . Return the unique ` Num ` that represents the hash .
pub fn merkle_tree_hash<CS: ConstraintSystem<bls12_381::Scalar>>(
    cs: CS,
    personalisation: Personalisation,
    preimage: &[Boolean],
) -> Result<AllocatedNum<bls12_381::Scalar>, SynthesisError> {
    assert_eq!(preimage.len(), 510);
    pedersen_hash(cs, personalisation, preimage).map(|x| x.get_u().clone())
}
pub fn merkle_tree_hash < CS : ConstraintSystem < bls12_381 :: Scalar > > ( cs : CS , personalisation : Personalisation , preimage : & [ Boolean ] , ) -> Result < AllocatedNum < bls12_381 :: Scalar > , SynthesisError > { assert_eq ! ( preimage len ( ) 510 ) ; pedersen_hash ( cs , personalisation , preimage ) . map ( | x | x . get_u ( ) . clone ( ) ) }
Compute the in-circuit hash of the preimage in a Merkle tree with the given
`personalisation` and add this to the circuit.
Compute the in - circuit hash of the preimage in a Merkle tree with the given ` personalisation ` and add this to the circuit .
cs
CS
personalisation
Personalisation
preimage
&[Boolean]
cs
CS
personalisation
Personalisation
preimage
&[Boolean]