Another Look at Extraction and Randomization of Groth’s zk-SNARK