È Groth16 la prova SNARK più piccola raggiungibile?