arkworks-rs / groth16

A Rust implementation of the Groth16 zkSNARK
https://www.arkworks.rs
Apache License 2.0
252 stars 101 forks source link

Batch verification #37

Open burdges opened 2 years ago

burdges commented 2 years ago

Summary

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

Proposal

The ZCash issue https://github.com/zcash/librustzcash/issues/253#issuecomment-1026042373 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