Plonk_constraint_system.Make
module Fp : Field.S
module Gates : Plonk_constraint_system.Gate_vector_intf with type field := Fp.t
module Params : sig ... end
type nonrec t = ( Fp.t, Gates.t ) Plonk_constraint_system.t
val create : unit -> t
val get_public_input_size : t -> int Core_kernel.Set_once.t
val get_primary_input_size : t -> int
val set_primary_input_size : t -> int -> unit
val get_auxiliary_input_size : t -> int
val set_auxiliary_input_size : t -> int -> unit
val get_prev_challenges : t -> int option
val set_prev_challenges : t -> int -> unit
val get_rows_len : t -> int
val next_row : t -> int
val add_constraint : ?label:string -> t -> ( Fp.t Snarky_backendless.Cvar.t, Fp.t ) Snarky_backendless.Constraint.basic -> unit
val compute_witness : t -> ( int -> Fp.t ) -> Fp.t array array
val finalize : t -> unit
val finalize_and_get_gates : t -> Gates.t
val digest : t -> Core_kernel.Md5.t
val to_json : t -> [ `Null | `Bool of bool | `Int of int | `Intlit of string | `Float of float | `String of string | `Assoc of (string * 'json) list | `List of 'json list | `Tuple of 'json list | `Variant of string * 'json option ] as 'json