octez-plonk.distribution
Plonk_for_distribution.Kzg_pack
octez-plonk
octez-plonk.aggregation
octez-plonk.communication
octez-plonk.plonk-test
module SMap = Plonk.SMap
module type Super_PC_sig = sig ... end
module Kzg_pack_impl : sig ... end
Extension of the KZG_pack implementation with additional types and functions used in by Distributed_prover