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. sfTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup. In Abdelrahaman Aly, Mehdi Tibouchi, editors, Progress in Cryptology - LATINCRYPT 2023 - 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3-6, 2023, Proceedings. Volume 14168 of Lecture Notes in Computer Science, pages 331-351, Springer, 2023. [doi]

Abstract

Abstract is missing.