Groth16 có phải là chứng minh SNARK nhỏ nhất có thể đạt được không?