Discussion: Apply ZkAccel/ZAL to Verification process

[guorong009]

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 #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: #359 (comment)