Backend (kimchi_backend.Kimchi_pasta.Vesta_based

type t =
  ( Kimchi_pasta_basic.Fq.t Kimchi_types.or_infinity, Pasta_bindings.Fp.t )
    Kimchi_types.prover_proof

val create : 
  Vesta_based_plonk.Keypair.t ->
  Kimchi_bindings.FieldVectors.Fp.t ->
  Kimchi_bindings.FieldVectors.Fp.t ->
  Pasta_bindings.Fp.t array ->
  Kimchi_pasta_basic.Fq.t Kimchi_types.or_infinity array ->
  t

val create_async : 
  Vesta_based_plonk.Keypair.t ->
  Kimchi_bindings.FieldVectors.Fp.t ->
  Kimchi_bindings.FieldVectors.Fp.t ->
  Pasta_bindings.Fp.t array ->
  Kimchi_pasta_basic.Fq.t Kimchi_types.or_infinity array ->
  t Promise.t

val verify : 
  ( Pasta_bindings.Fp.t,
    Kimchi_bindings.Protocol.SRS.Fp.t,
    Pasta_bindings.Fq.t Kimchi_types.or_infinity Kimchi_types.poly_comm )
    Kimchi_types.VerifierIndex.verifier_index ->
  t ->
  bool

val batch_verify : 
  ( Pasta_bindings.Fp.t,
    Kimchi_bindings.Protocol.SRS.Fp.t,
    Pasta_bindings.Fq.t Kimchi_types.or_infinity Kimchi_types.poly_comm )
    Kimchi_types.VerifierIndex.verifier_index
    array ->
  t array ->
  bool Promise.t