Proof that verifies multiple polynomial evaluations simultaneously, reducing overhead.