Add a "multi-scalar-mul" trait, and invoke that in GIPA Verifier. The trait would have different implementations for fields vs for curves. (Maybe it belongs in zexe, and not here?). This would allow usage of the efficient MSMs for the GIPA verifier.

Originally posted by @Pratyush in #3 (comment)