octez-plonk.plonk-test
Helpers.Plompiler_Helpers
octez-plonk
octez-plonk.aggregation
octez-plonk.communication
octez-plonk.distribution
module CS = Plonk.Circuit
type test_info = {
valid : bool;
name : string;
flamegraph : bool;
}
module type Test = functor (L : Plompiler.LIB) -> sig ... end
val to_test : ?plonk:(module Plonk.Main_protocol.S) -> ?optimize:bool -> (module Test) -> unit -> unit
module Utils (L : Plompiler.LIB) : sig ... end