Make_bowe_gabizon (snarkette.Snarkette.Mnt6_80.Make_bowe

Parameters

module M : sig ... end

module Verification_key : sig ... end

val check : 
  bool ->
  string ->
  ( unit, Core_kernel__.Error.t ) Core_kernel._result

module Proof : sig ... end

val one_pc : 
  Snarkette__Pairing.Make(Fq)(Fq3)(Fq6)(G1)(G2)(Pairing_info).G2_precomputation.t
    lazy_t

val verify : 
  ?message:Fq.t array ->
  Verification_key.Processed.t ->
  Snarkette__Nat.t list ->
  Proof.t ->
  unit Base__Or_error.t