Groth_maller (snarkette.Snarkette.Mnt6_80.Groth

module Verification_key : sig ... end

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

module Proof : sig ... end

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