Je Groth16 nejmenší důkaz SNARK, kterého lze dosáhnout?