Module `Kzg.Interfaces`

module type Commitment = sig ... end

module type Public_parameters = sig ... end

module type Polynomial_commitment = sig ... end

module type DegreeCheck_proof = sig ... end