Oracles (kimchi_backend.Kimchi_pasta.Pallas_based

val create : 
  ( 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 ->
  ( Pallas_based_plonk.Proof.G.Affine.Stable.V1.t,
    Pallas_based_plonk.Proof.Fq.Stable.V1.t )
    Kimchi_backend_common__Plonk_dlog_proof.Challenge_polynomial.Stable.V1.t
    list ->
  Pasta_bindings.Fq.t list ->
  ( Pallas_based_plonk.Proof.G.Affine.Stable.V1.t,
    Pallas_based_plonk.Proof.Fq.Stable.V1.t,
    Pallas_based_plonk.Proof.Fq.Stable.V1.t array )
    Pickles_types.Plonk_types.Proof.Stable.V2.t ->
  Pasta_bindings.Fq.t Kimchi_types.oracles

val scalar_challenge : 'a -> 'a Kimchi_backend_common.Scalar_challenge.t

val alpha : 
  Pasta_bindings.Fq.t Kimchi_types.oracles ->
  Pasta_bindings.Fq.t Kimchi_types.scalar_challenge

val beta : Pasta_bindings.Fq.t Kimchi_types.oracles -> Pasta_bindings.Fq.t

val gamma : Pasta_bindings.Fq.t Kimchi_types.oracles -> Pasta_bindings.Fq.t

val zeta : 
  Pasta_bindings.Fq.t Kimchi_types.oracles ->
  Pasta_bindings.Fq.t Kimchi_types.scalar_challenge

val joint_combiner_chal : 
  Pasta_bindings.Fq.t Kimchi_types.oracles ->
  Pasta_bindings.Fq.t Kimchi_types.scalar_challenge option

val joint_combiner : 
  Pasta_bindings.Fq.t Kimchi_types.oracles ->
  Pasta_bindings.Fq.t option

val digest_before_evaluations : 
  Pasta_bindings.Fq.t Kimchi_types.oracles ->
  Pasta_bindings.Fq.t

val v : 
  Pasta_bindings.Fq.t Kimchi_types.oracles ->
  Pasta_bindings.Fq.t Kimchi_types.scalar_challenge

val u : 
  Pasta_bindings.Fq.t Kimchi_types.oracles ->
  Pasta_bindings.Fq.t Kimchi_types.scalar_challenge

val p_eval_1 : Pasta_bindings.Fq.t Kimchi_types.oracles -> Pasta_bindings.Fq.t

val p_eval_2 : Pasta_bindings.Fq.t Kimchi_types.oracles -> Pasta_bindings.Fq.t

val opening_prechallenges : 
  Pasta_bindings.Fq.t Kimchi_types.oracles ->
  Pasta_bindings.Fq.t Kimchi_backend_common.Scalar_challenge.t
    Core_kernel.Array.t