Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup

Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup