Title Baby SNARK (do do dodo dodo) Authors Andrew Miller and Ye Zhang and Sanket Kanjalkar Year 2020 Videos – Links BabySNARK github repository