jellyfish icon indicating copy to clipboard operation
jellyfish copied to clipboard

Published 20 hours ago • verified publisher icon EspressoSystems

audit/improve KZG10 code

Open zhenfeizhang opened this issue 2 years ago • 2 comments

the main bottleneck of Jellyfish currently are:

  • FFT
  • KZG commitment

And KZG dominants.

It appears that arkwork's KZG implementation may not be optimized, for example: https://github.com/arkworks-rs/poly-commit/pull/98

The non-optimization in the example is not critical to us yet because it is for the verifier, and CAPE uses solidity verifier rather than rust verifier (cc @philippecamacho).

zhenfeizhang avatar May 03 '22 18:05 zhenfeizhang

FYI: @alxiong here is the issue.

Resolution: we will use our own PCS APIs for this.

zhenfeizhang avatar Jul 28 '22 16:07 zhenfeizhang

  • move HP PCS to Jellyfish/primitive
  • update Jellyfish/plonk to new PCS
  • implement univariate KZG batching for PCS (different PR)
  • update jellyfish/plonk with pcs batching (different PR)

zhenfeizhang avatar Aug 15 '22 15:08 zhenfeizhang