search

a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
https://jolt.a16zcrypto.com
MIT License
679 stars 146 forks source link

Parallelize Sumcheck::prove_arbitrary summation #31

Closed sragss closed 7 months ago

sragss commented 1 year ago

Feature gate with "multicore"

0xfuturistic commented 1 year ago

done! could you please review #54? @moodlezoup @sragss

sragss commented 1 year ago

54 is great but does not quite close the issue.

The main cost in prove_arbitrary is that big accumulation of field work. This can also be heavily parallelized with a proper accumulation strategy and is the lowest hanging fruit for large decreases in prover costs thanks to parallelism.