Является ли Groth16 самым маленьким достижимым доказательством SNARK?