TagsAdvisorResearcherAffiliationGeorgetown Universitye-mailActiveCollaborationAdvisorJoint PapersTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup