Groth16 是可實現的最小 SNARK 證明嗎?