Er Groth16 det minste SNARK-beviset som er oppnåelig?