TagsAffiliatione-mailActiveCollaborationJoint PapersTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup