Formalisation of the KZG Polynomial Commitment Schemes in EasyCrypt. - Palak 005; Thomas Haines (ESORICS (2), 2025)