Groth16 est-il la plus petite preuve SNARK réalisable ?