KZG Polynomial Commitment Scheme This is a minimalistic implementation of the KZG polynomial commitment scheme along with its formal verification.