Module Distribution.Polynomial_commitmentSource

Sourcemodule SMap = Kzg.SMap

Extension of the PC signature with additional types and functions used in by Distributed_prover

Sourcemodule type PC_for_distribution_sig = sig ... end
Sourcemodule Kzg_impl : sig ... end

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