Fp (kimchi_bindings.Kimchi_bindings.Protocol.Proof.Fp)

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

val example_with_lookup : 
  SRS.Fp.t ->
  bool ->
  Index.Fp.t
  * Pasta_bindings.Fp.t
  * ( Pasta_bindings.Fq.t Kimchi_types.or_infinity, Pasta_bindings.Fp.t )
      Kimchi_types.prover_proof

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

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

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

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