octez-plonk.distribution
Plonk_for_distribution.Main_protocol
octez-plonk
octez-plonk.aggregation
octez-plonk.communication
octez-plonk.plonk-test
module SMap = Plonk.SMap
val nb_wires : int
module type S = sig ... end
val build_all_keys : string list -> ('a * int) SMap.t -> String.t list
module Common (PP : Polynomial_protocol.S) : sig ... end
module Make (PP : Polynomial_protocol.S) : sig ... end
module MakeSuper (PP : Polynomial_protocol.Super) : sig ... end