Interfaces (octez-libs.Kzg.Interfaces)

module type Commitment = sig ... end

module type Public_parameters = sig ... end

module type Polynomial_commitment = sig ... end

module type Degree_check_proof = sig ... end

This module type is used for the proof in DAL’s cryptobox, especially for testing purposes