Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
cryptography theorem-proving isabelle formal-verification pcs agm kzg polynomial-commitments algebraic-group-model
-
Updated
Jul 30, 2026 - Isabelle