Side_loaded (pickles.Pickles.Side

module Verification_key : sig ... end

module Proof : sig ... end

val create : 
  name:string ->
  max_proofs_verified:(module Pickles_types.Nat.Add.Intf with type n = 'n1) ->
  uses_lookup:Pickles_types.Plonk_types.Opt.Flag.t ->
  typ:( 'var, 'value ) Impls.Step.Typ.t ->
  ( 'var, 'value, 'n1, Verification_key.Max_branches.n ) Tag.t

val verify_promise : 
  typ:( 'var, 'value ) Impls.Step.Typ.t ->
  (Verification_key.t * 'value * Proof.t) list ->
  bool Promise.t

val verify : 
  typ:( 'var, 'value ) Impls.Step.Typ.t ->
  (Verification_key.t * 'value * Proof.t) list ->
  bool Async_kernel.Deferred.t

val in_circuit : 
  ( 'var, 'value, 'n1, 'n2 ) Tag.t ->
  Verification_key.Checked.t ->
  unit

val in_prover : ( 'var, 'value, 'n1, 'n2 ) Tag.t -> Verification_key.t -> unit

val srs_precomputation : unit -> unit