Pallas_based_plonk (kimchi_backend.Kimchi_pasta.Pallas_based

module Field = Basic.Fq

module Curve = Basic.Pallas

module Bigint : sig ... end

val field_size : Pasta_bindings.BigInt256.t

module Verification_key : sig ... end

module R1CS_constraint_system = Pallas_based_plonk.R1CS_constraint_system

module Rounds_vector = Pallas_based_plonk.Rounds_vector

module Rounds = Pallas_based_plonk.Rounds

module Keypair : sig ... end

module Proof : sig ... end

module Proving_key : sig ... end

module Oracles : sig ... end