Make (snarkette.Snarkette.Groth16.Make)

Parameters

module Backend : Backend_intf

module Verification_key : sig ... end

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

module Proof : sig ... end

val one_pc : Backend.Pairing.G2_precomputation.t lazy_t

val verify : 
  Verification_key.Processed.t ->
  Backend.N.t list ->
  Proof.t ->
  unit Base__Or_error.t