Make (bowe_gabizon_hash.Bowe_gabizon

Parameters

module Inputs : sig ... end

val hash : 
  ?message:Inputs.Field.t array ->
  a:Inputs.G1.t ->
  b:Inputs.G2.t ->
  c:Inputs.G1.t ->
  delta_prime:Inputs.G2.t ->
  Inputs.G1.t