sfTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup. - Matteo Campanelli; Nicolas Gailly; Rosario Gennaro; Philipp Jovanovic; Mara Mihali; Justin Thaler (LATINCRYPT, 2023)

Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup. - Matteo Campanelli; Nicolas Gailly; Rosario Gennaro; Philipp Jovanovic; Mara Mihali; Justin Thaler (IACR Cryptol. ePrint Arch., 2023)