Palak, Thomas Haines. Formalisation of the KZG Polynomial Commitment Schemes in EasyCrypt. In Vincent Nicomette, Abdelmalek Benzekri, Nora Boulahia-Cuppens, Jaideep Vaidya, editors, Computer Security - ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part II. Volume 16054 of Lecture Notes in Computer Science, pages 303-320, Springer, 2025. [doi]
Abstract is missing.