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