Batch verification

[burdges]

Summary

We should likely add batch verification like ZCash deployed eventually, and perhaps snarkpack.

Proposal

The ZCash issue zcash/librustzcash#253 (comment) has inbound links with further details.

In this vein, Arkworks might have or want other relevant abstractions, like MIPP, which maybe simplify SnarkPack, which requires more effort and perhaps another crate.

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned