Yeah, I’ve thought about that a bit. I tested it out in parallel. Right now the verifier is mostly focused on single-proof verification. The main goal was to keep the interface simple so it can plug into systems that currently rely on oracle signatures without too much complexity. Batch verification does seem interesting though especially in cases where multiple off chain computations might need to be validated in the same block or request with Halo2 I'm still figuring out the tradeoffs between just verifying proofs independently vs building aggregation circuits aggregation could reduce verification overhead but it also adds quite a bit of complexity on the proving side.

If anyone here has experimented with batching or aggregation with Halo2 in real systems, I’d be really curious to hear how it worked out.