Backend (kimchi_backend.Kimchi_pasta.Pallas_based

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

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

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

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

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