Pallas_constraint_system (kimchi_backend.Kimchi_pasta_constraint_system.Pallas_constraint

include Intf.Full
  with type fp := Kimchi_pasta_basic.Fq.t
   and type gates := Kimchi_bindings.Protocol.Gates.Vector.Fq.t

include Intf.With_accessors

type 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 ->
  ( Kimchi_pasta_basic.Fq.t Snarky_backendless.Cvar.t,
    Kimchi_pasta_basic.Fq.t )
    Snarky_backendless.Constraint.basic ->
  unit

val compute_witness : 
  t ->
  ( int -> Kimchi_pasta_basic.Fq.t ) ->
  Kimchi_pasta_basic.Fq.t array array

val finalize : t -> unit

val finalize_and_get_gates : t -> Kimchi_bindings.Protocol.Gates.Vector.Fq.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