Publications

“On the Formal Verification of Polynomial Commitments: two KZG constructions and the Algebraic Group Model”.
Tobias Rothmann.
ESORICS 2026 (Best Paper Award Nominee). Available at: IACR eprints | AFP entry | slides

“Formal Verification of the Kate-Zaverucha-Goldberg Polynomial Commitment Scheme”.
Tobias Rothmann, Katharina Heidler (b. Kreuzer).
IEEE FCS2024 Workshop. Available at: FCS Workshop