Backend (kimchi_backend.Kimchi_backend_common.Plonk_dlog

type t = ( Curve.Affine.Backend.t, Scalar_field.t ) Kimchi_types.prover_proof

val create : 
  Index.t ->
  Scalar_field.Vector.t ->
  Scalar_field.Vector.t ->
  Scalar_field.t array ->
  Curve.Affine.Backend.t array ->
  t

val create_async : 
  Index.t ->
  Scalar_field.Vector.t ->
  Scalar_field.Vector.t ->
  Scalar_field.t array ->
  Curve.Affine.Backend.t array ->
  t Promise.t

val verify : Verifier_index.t -> t -> bool

val batch_verify : Verifier_index.t array -> t array -> bool Promise.t