EspressoSystems / jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions
https://jellyfish.docs.espressosys.com
MIT License
408 stars 106 forks source link

Use parallelism over multiplicity in ADVZ verify_share #646

Closed ggutoski closed 3 months ago

ggutoski commented 3 months ago

verify_share is slow when multiplicity is large. There's some low-hanging fruit to be picked by parallelization. Use a par_iter (or whatever) at the following line:

https://github.com/EspressoSystems/jellyfish/blob/89b9345dc018d9bdb3d385aefd2036d5e42e9f17/vid/src/advz.rs#L565

Fix this issue and #644, then cut a new release for jf-vid.