Is Groth16 het kleinste SNARK bewijs dat haalbaar is?