Reduce the number of GT elements in Pack proof
This MR reduces the number of GT elements in the proofs and commitments of Pack, and also the number of computations in Pack.
The file for ZCash SRS for G2 elements has been reduced since only 2 elements are required after this optimization.