Ist Groth16 der kleinste erreichbare SNARK-Beweis?