Make_bowe_gabizon.1-M
val hash : ?message:Fq.t array -> a:G1.t -> b:G2.t -> c:G1.t -> delta_prime:G2.t -> G1.t