Module `Aggreg_circuit.Constraints`Source

Source

val switch_list : 
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list
    Plompiler.LibCircuit.t

Source

val switch : 
  bool Plompiler.LibCircuit.repr list ->
  wires:Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list ->
  wires_g:
    Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list ->
  inner_pi:
    Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list ->
  (Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list
   * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list
   * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list)
    Plompiler.LibCircuit.t

Source

val format_arith_cs : 
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list
    Plompiler.LibCircuit.t ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr Plompiler.LibCircuit.t

Source

val cs_of_arith_sel : 
  string ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr Plompiler.LibCircuit.t

Source

val cs_of_custom_sel : 
  ?precomputed_advice:
    Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr Plonk.SMap.t ->
  string ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list
    Plompiler.LibCircuit.t

Source

val compute_zs : 
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr ->
  Plompiler.Csir.Scalar.t ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr
    Plompiler.LibCircuit.t

Source

val compute_l1 : 
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr ->
  S.t ->
  S.t ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr
    Plompiler.LibCircuit.t

Source

val sum_alpha_i : 
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr
    Plompiler.LibCircuit.Num.t

Source

val sum_alpha_i_switched : 
  bool Plompiler.LibCircuit.repr list ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr
    Plompiler.LibCircuit.t

Source

val compute_t : 
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr
    Plompiler.LibCircuit.Num.t

Source

val add_circuits : 
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.repr
    Plompiler.LibCircuit.t
    list ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr
    Plompiler.LibCircuit.t

Source

val check_switches : 
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.repr ->
  bool Plompiler.LibCircuit.repr list ->
  bool Plompiler.LibCircuit.repr Plompiler.LibCircuit.t

Source

val check_batch : 
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr ->
  (Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list
   * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list
   * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list
   * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list
   * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list) ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.repr list ->
  bool Plompiler.LibCircuit.Bool.repr Plompiler.LibCircuit.t

Sourceval format_custom_ids : (string * 'a list) list list -> (string * 'a) list

Sourceval format_arith_ids : 'a list -> (string * 'a) list

Source

val split_rc_wires : 
  int ->
  'a Plonk.List.t list ->
  'a list list * 'a Plonk.List.t list

Source

val check_identities : 
  switches:bool Plompiler.LibCircuit.Bool.repr list ->
  (Plompiler.Csir.Scalar.t * S.t) ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr ->
  int list ->
  Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.repr ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list ->
  (string list * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list) ->
  (Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr
   * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr
   * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr
   * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr) ->
  (Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plonk.List.t
     Plonk.List.t
   * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plonk.List.t
       Plonk.List.t
   * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr
   * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr
   * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list
   * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list) ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list ->
  Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list list ->
  bool Plompiler.LibCircuit.repr Plompiler.LibCircuit.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.distributed-plonk/Distributed_plonk/Distributed_prover/Make_aPlonk/Aggreg_circuit/Constraints/index.html

Module `Aggreg_circuit.Constraints`Source

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.distributed-plonk/Distributed_plonk/Distributed_prover/Make_aPlonk/Aggreg_circuit/Constraints/index.html

Module Aggreg_circuit.ConstraintsSource

Module `Aggreg_circuit.Constraints`Source