Closed Avi-D-coder closed 2 months ago
This pr just enables proving batches, and adds some test utils.
This pr just enables proving batches, and adds some test utils.