Module Distribution.Kzg_packSource

Sourcemodule SMap = Kzg.SMap
Sourcemodule type Super_PC_sig = sig ... end
Sourcemodule Kzg_pack_impl : sig ... end

Extension of the KZG_pack implementation with additional types and functions used in by Distributed_prover