https://isa-afp.org/authors/rothmann/ AFP entries of Tobias Rothmann https://isa-afp.org/entries/Polynomial_Commitment_Schemes.html Mon, 13 Jul 2026 00:00:00 +0000 Polynomial Commitment Schemes in the AFP Computer science/Security/Cryptography