pub fn hash_2( cs: ConstraintSystemRef<Fq>, domain_separator: &FqVar, value: (FqVar, FqVar), ) -> Result<FqVar, SynthesisError>