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