Inputs (kimchi_backend.Kimchi_backend_common.Plonk_dlog

val id : string

module Scalar_field : sig ... end

module Base_field : sig ... end

module Curve : sig ... end

module Poly_comm : sig ... end

module Opening_proof_backend : sig ... end

module Evaluations_backend : sig ... end

module Index : sig ... end

module Verifier_index : sig ... end

module Backend : sig ... end