Чи є Groth16 найменшим досяжним доказом SNARK?