Computes the a^x, where a is mcl.Fr and x is int64.

G1Fold performs element wise: result = x * vec1 + vec2 Ex: result[0] = x * vec1[0] + vec2[0] vec1 and vec2 has to be same size Parameters ---------- result: G1 slice where the results are stored x : Fr, the exponent vec1: slice of mcl.G1 vec2: slice of mcl.G1 Returns -------.

// Add the randomness to the vector // a_0, a_1, a_2, a_3, a_4, a_5will become // a_0, a_1, a_2^r, a_3^r, a_4^{r^2}, a_5^{r^2}.

G2Fold performs element wise: result = x * vec1 + vec2 Ex: result[0] = x * vec1[0] + vec2[0] vec1 and vec2 has to be same size Parameters ---------- result: G2 slice where the results are stored x : Fr, the exponent vec1: slice of mcl.G2 vec2: slice of mcl.G2 Returns ------- None.

// Add the randomness to the vector // a_0, a_1, a_2, a_3, a_4, a_5will become // a_0, a_1, a_2^r, a_3^r, a_4^{r^2}, a_5^{r^2}.

e(P_i, Q_i) = e(A_i, B_i)...e(A_m, B_m) This will keep Q_i's and B_i's the same This will allows us to test both batch.Verify and batch.VerifyEdrax.

InnerProd computes the inner product of vector A and vector B.

Check if anywhere we are dealing with instance size which not a power of 2.

ValidM checks if the input is a power of 2.

Find the nextpow of 2 >= input, expect for 0.

Returns alpha, beta, G, H.