For additively homomorphic commitment schemes (including Hyrax, Zeromorph, HyperKZG) we can use a sumcheck to reduce multiple opening proofs (multiple polynomials, not necessarily of the same size, each opened at a different point) into a single opening. This is implemented in Nova here.

Currently, the Jolt prover with Zeromorph and HyperKZG is bottlenecked by opening proofs. By reducing the number of opening proofs down to one, we can cut the prover time by about half.