Optimization in KimchiPartialVerifier.sol

[pablodeymo]

We don't need to call a msm nor to allocate vectors. We can just do a scalar_mul here:

mina_bridge/eth_verifier/src/KimchiPartialVerifier.sol

Lines 68 to 73 in b29f002

	BN254.G1Point[] memory commitments = new BN254.G1Point[](1);
	commitments[0] = verifier_index.sigma_comm[PERMUTS - 1];
	Scalar.FE[] memory scalars = new Scalar.FE[](1);
	scalars[0] = perm_scalars(evals, oracles.beta, oracles.gamma, alphas, permutation_vanishing_polynomial);
	BN254.G1Point memory f_comm = Commitment.msm(commitments, scalars);