Kzg_pack (u.bf33b14b2bf5d4cac9b20b763c83179f.tezos-plonk.1.0.1.doc.tezos-plonk.distribution.Distribution.Kzg

Sourcemodule SMap = Plonk.SMap

module Make
  (Pack : Aggregation.Pack.Aggregator)
  (PC : 
    Kzg.PC_for_distribution_sig
      with type BasePC.Scalar.t = Pack.scalar
       and type Commitment.t = Pack.g1 SMap.t) : 
  sig ... end

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

Sourcemodule Kzg_pack_impl : sig ... end