audit/improve KZG10 code

[zhenfeizhang]

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:
arkworks-rs/poly-commit#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]

FYI: @alxiong here is the issue.

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

[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)