Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Optimizations to KZG commitment scheme #300

Merged
merged 5 commits into from
Jan 25, 2024
Merged

Optimizations to KZG commitment scheme #300

merged 5 commits into from
Jan 25, 2024

Conversation

srinathsetty
Copy link
Collaborator

credit: storojs72

@srinathsetty srinathsetty merged commit 55a55dd into main Jan 25, 2024
6 checks passed
@srinathsetty srinathsetty deleted the hyper3 branch January 25, 2024 00:44
huitseeker added a commit to huitseeker/arecibo that referenced this pull request Jan 25, 2024
This is a port of the following upstream PRs:
- microsoft/Nova#299
- microsoft/Nova#300
huitseeker added a commit to huitseeker/arecibo that referenced this pull request Jan 25, 2024
This is a port of the following upstream PRs:
- microsoft/Nova#299
- microsoft/Nova#300
huitseeker pushed a commit to huitseeker/Nova that referenced this pull request Jan 26, 2024
* simplify kzg_verify_batch closure

credit: storojs72

* parallel computation of polynomials

credit: storojs72

* eliminate computation of the last commitment

credit: storojs72

* update tests to account for the new behavior of the Prove method

* simplify tests
github-merge-queue bot pushed a commit to argumentcomputer/arecibo that referenced this pull request Jan 26, 2024
* refactor: move mlkzg -> hyperkzg

* refactor: Refactor HyperKZG comments

This is a port of the following upstream PRs:
- microsoft/Nova#299
- microsoft/Nova#300

* refactor: Refactor engine and testing parameters in pcs.rs

- in the IPA Evaluation Engine, transitioning from GrumpkinEngine to Bn256Engine,
- avoids noise due to field arithmetic differences
huitseeker added a commit to huitseeker/Nova that referenced this pull request Feb 14, 2024
- Added comprehensive comments in `non_hiding_kzg.rs` and `pedersen.rs` files for clarity and explanation of abomonation annotations
- Updated `traits.rs` and `pasta.rs` with compile-time assertions for group data memory representation
- Included a new dependency on `static_assertions` version `1.1.0` in `Cargo.toml`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant