¿Es Groth16 la prueba SNARK más pequeña que se pueda alcanzar?