CIP-133 has been approved and is currently being implemented in Plutus.
Once it becomes available in Cardano, the manual MSM calculation in the Halo2 verifier (both Plinth and Aiken versions) should be replaced with the corresponding built-in function.
CIP-133 will be available approx Q1 2026