Czy Groth16 to najmniejszy możliwy dowód SNARK?