Skip to content

Conversation

@srinathsetty
Copy link
Collaborator

credit: storojs72

@srinathsetty srinathsetty merged commit 55a55dd into main Jan 25, 2024
@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 lurk-lang/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.

2 participants