tezos-plonk.distribution
Distribution.Kzg
tezos-plonk
tezos-plonk.aggregation
module SMap = Plonk.SMap
Extension of the PC signature with additional types and functions used in by Distributed_prover
module type Commitment_sig = sig ... end
module type PC_for_distribution_sig = sig ... end
module Kzg_impl : sig ... end
Extension of the KZG implementation with additional types and functions used in by Distributed_prover