Fq (kimchi_bindings.Kimchi_bindings.Protocol.Oracles.Fq)

type nonrec t = Pasta_bindings.Fq.t Kimchi_types.oracles

val create : 
  Pasta_bindings.Fp.t Kimchi_types.or_infinity Kimchi_types.poly_comm array ->
  ( 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 ->
  t

val dummy : unit -> Pasta_bindings.Fq.t Kimchi_types.random_oracles

val deep_copy : 
  Pasta_bindings.Fq.t Kimchi_types.random_oracles ->
  Pasta_bindings.Fq.t Kimchi_types.random_oracles