Circuit_Builder (mavkit-libs.Distributed_plonk.Distribution_helpers.Circuit

val base : 
  int ->
  int ->
  (Plonk.Circuit.t * int) Plonk_test.Cases.SMap.t
  * Plonk_test.Cases.Scalar.t array list Plonk_test.Cases.SMap.t

val range_checks : 
  int ->
  'a ->
  (Plonk.Circuit.t * int) Plonk_test.Cases.SMap.t
  * Plonk_test.Cases.Scalar.t array list Plonk_test.Cases.SMap.t