Module `Csir.CS`Source

Source

val q_list : 
  ?q_table:'a ->
  qc:'a ->
  linear:(int * 'a) list ->
  linear_g:(int * 'a) list ->
  qm:'a ->
  qx2b:'a ->
  qx5a:'a ->
  qx5c:'a ->
  qecc_ws_add:'a ->
  qecc_ed_add:'a ->
  qecc_ed_cond_add:'a ->
  qbool:'a ->
  qcond_swap:'a ->
  q_anemoi:'a ->
  q_mod_add:(string * 'a) list ->
  q_mod_mul:(string * 'a) list ->
  q_plookup:'a ->
  unit ->
  (string * 'a) list

Sourcetype selector_tag =

| Linear
| Arithmetic
| ThisConstr
| NextConstr
| Wire of int

Sourceval selector_tag_t : selector_tag Repr.t

Sourceval all_selectors : (string * selector_tag list) list

Sourceval selectors_with_tags : selector_tag list -> string list

Sourceval this_constr_selectors : string list

Sourceval next_constr_selectors : string list

Sourceval this_constr_linear_selectors : string list

Sourceval next_constr_linear_selectors : string list

Sourceval arithmetic_selectors : string list

Sourcetype raw_constraint = {

wires : int array;
sels : (string * Scalar.t) list;
precomputed_advice : (string * Scalar.t) list;
label : string list;

}

Sourceval raw_constraint_t : raw_constraint Repr.t

Sourcetype gate = raw_constraint array

Sourceval gate_t : raw_constraint array Repr.t

Sourcetype t = gate list

Sourceval t : raw_constraint array list Repr.t

Source

val new_constraint : 
  wires:int list ->
  ?qc:Scalar.t ->
  ?linear:(int * Scalar.t) list ->
  ?linear_g:(int * Scalar.t) list ->
  ?qm:Scalar.t ->
  ?qx2b:Scalar.t ->
  ?qx5a:Scalar.t ->
  ?qx5c:Scalar.t ->
  ?qecc_ws_add:Scalar.t ->
  ?qecc_ed_add:Scalar.t ->
  ?qecc_ed_cond_add:Scalar.t ->
  ?qbool:Scalar.t ->
  ?qcond_swap:Scalar.t ->
  ?q_anemoi:Scalar.t ->
  ?q_mod_add:(string * Scalar.t) list ->
  ?q_mod_mul:(string * Scalar.t) list ->
  ?q_plookup:Scalar.t ->
  ?q_table:Scalar.t ->
  ?precomputed_advice:(string * Scalar.t) list ->
  ?labels:string list ->
  string ->
  raw_constraint

Sourceval get_sel : ('a * Scalar.t) list -> 'a -> Scalar.t

Sourceval to_string_raw_constraint : raw_constraint -> string

Sourceval to_string_gate : raw_constraint array -> string

Sourceval to_string : raw_constraint array list -> string

Sourceval is_linear_raw_constr : raw_constraint -> bool

Source

val rename_wires_constr : 
  rename:(int -> int) ->
  raw_constraint ->
  raw_constraint

Source

val rename_wires : 
  rename:(int -> int) ->
  raw_constraint array ->
  raw_constraint array

Sourceval is_arithmetic_raw_constr : raw_constraint -> bool

Sourceval boolean_raw_constr : raw_constraint -> int option

Sourceval used_selectors : raw_constraint array -> int -> (string * Scalar.t) list

Sourceval wires_of_constr_i : raw_constraint array -> int -> int list

Sourceval gate_wires : raw_constraint array -> int list

Sourceval linear_terms : raw_constraint -> (Scalar.t * int) list

Sourceval mk_linear_constr : (int list * (string * Scalar.t) list) -> raw_constraint

Sourceval mk_bool_constr : int -> raw_constraint

Sourceval raw_constraint_equal : raw_constraint -> raw_constraint -> bool

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plompiler/Plompiler/Csir/CS/index.html

Module `Csir.CS`Source

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plompiler/Plompiler/Csir/CS/index.html

Module Csir.CSSource

Module `Csir.CS`Source