Mnt6753.Groth16
module Verification_key : sig ... end
val check : bool -> string -> ( unit, Core_kernel__.Error.t ) Core_kernel._result
module Proof : sig ... end
val one_pc : Inputs.Pairing.G2_precomputation.t lazy_t
val verify : Verification_key.Processed.t -> Inputs.N.t list -> Proof.t -> unit Base__Or_error.t