search

privacy-scaling-explorations / halo2

https://privacy-scaling-explorations.github.io/halo2/
Other
208 stars 129 forks source link

Discussion: Apply `ZkAccel/ZAL` to Verification process #371

Open guorong009 opened 2 months ago

guorong009 commented 2 months ago

It is necessary to explore/discuss if ZkAccel/ZAL feature should be applied to verification process.

Context

ZkAccel/ZAL feature has been introduced to accelerate the MSM & FFT computation in #227 , originated from https://github.com/privacy-scaling-explorations/halo2/issues/216. Currently, it is applied for only proving process, since proving is computation-heavy. Verification process is much cheaper than proving one. Hence, the PR author(@mratsim) left TODO comments, setting it as low priority.

Now, we need to consider this TODO.

Related comments: https://github.com/privacy-scaling-explorations/halo2/pull/359#discussion_r1676163723