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

chore: VID-GPU `batch_commit` now takes polynomials of different degrees #559

Closed mrain closed 7 months ago

mrain commented 7 months ago

Description

It's highly possible that, in VID, the last encoded data polynomial is not of the maximum degree. Now batch_commit pads the coefficient vectors for GPU data alignment.

Also update the icicle dependency for bug fix.


Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are not applicable, please leave them but write a little note why.