Vesta_based_plonk (kimchi_backend.Kimchi_pasta.Vesta_based

module Field = Vesta_based_plonk.Field

module Curve = Vesta_based_plonk.Curve

module Bigint : sig ... end

val field_size : Pasta_bindings.BigInt256.t

module Verification_key : sig ... end

module R1CS_constraint_system = Vesta_based_plonk.R1CS_constraint_system

module Rounds_vector = Vesta_based_plonk.Rounds_vector

module Rounds = Vesta_based_plonk.Rounds

module Keypair : sig ... end

module Proof : sig ... end

module Proving_key : sig ... end

module Oracles : sig ... end