Module Kzg.InterfacesSource

Sourcemodule type Commitment = sig ... end
Sourcemodule type Public_parameters = sig ... end
Sourcemodule type Polynomial_commitment = sig ... end
Sourcemodule type DegreeCheck_proof = sig ... end