Testudo: Efficient SNARKs with Smaller Setups

Testudo: Efficient SNARKs with Smaller Setups