feat: provide a non-hiding variant of KZG #28
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Drafts a non-hiding variant of the KZG PCS on univariate Dense polynomial representations
Details:
sumcheck
,cpu_best_multiexp
, andmod kzg;
.halo2curves
version and added new dependencies likepairing
,anyhow
,rand
, andgroup
.non_hiding_kzg.rs
file, introducing new structures and functionalities likeUVUniversalKZGParam
,UVKZGProverKey
,UVKZGPoly
, andUVKZGPCS
along with their implementation and tests.Engine
inkzg.rs
fromhalo2curves::pairing::Engine
topairing::Engine
(reflecting the new version of halo2curves).