Programming ZKPs: From Zero to Hero