Fq (kimchi_bindings.Kimchi_bindings.Protocol.Proof.Fq)

val create : 
  Index.Fq.t ->
  FieldVectors.Fq.t array ->
  Pasta_bindings.Fq.t array ->
  Pasta_bindings.Fp.t Kimchi_types.or_infinity array ->
  ( Pasta_bindings.Fp.t Kimchi_types.or_infinity, Pasta_bindings.Fq.t )
    Kimchi_types.prover_proof

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

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

val dummy : 
  unit ->
  ( Pasta_bindings.Fp.t Kimchi_types.or_infinity, Pasta_bindings.Fq.t )
    Kimchi_types.prover_proof

val deep_copy : 
  ( Pasta_bindings.Fp.t Kimchi_types.or_infinity, Pasta_bindings.Fq.t )
    Kimchi_types.prover_proof ->
  ( Pasta_bindings.Fp.t Kimchi_types.or_infinity, Pasta_bindings.Fq.t )
    Kimchi_types.prover_proof