/KZG-Polynomial-Commitment-Scheme

Formalizing the KZG polynomial commitment scheme in the Interactive Theorem Prover Isabelle.

Primary LanguageIsabelle

Stargazers