octez-plonk.plonk-test
Cases.General
octez-plonk
octez-plonk.aggregation
octez-plonk.communication
octez-plonk.distribution
val wires : int list array
val gates : Plompiler.Csir.Scalar.t list Plonk.SMap.t
val circuit : Plonk.Circuit.t
val witness : Scalar.t array
val zero_values : case
val non_zero_values : case
val no_public_inputs : case
val wrong_values : case
val input_com : case
val list : case list
val list_one_public_input : case list