Groth16は最小のSNARK証明でしょうか?