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

Fix typos #290

Merged
merged 3 commits into from
Jan 10, 2024
Merged

Fix typos #290

merged 3 commits into from
Jan 10, 2024

Conversation

GoodDaisy
Copy link
Contributor

No description provided.

@GoodDaisy
Copy link
Contributor Author

@microsoft-github-policy-service agree

@srinathsetty srinathsetty merged commit 0e8f5fd into microsoft:main Jan 10, 2024
6 checks passed
huitseeker added a commit to huitseeker/Nova that referenced this pull request Jan 24, 2024
* add bitwise AND example (microsoft#289)

* add bitwise AND example

* fix cargo clippy

* Fix typos (microsoft#290)

* fix typo

* fix typo

* Fix typo

* Remove absorbing of running instance (microsoft#291)

* Remove absorbing of running instance

* Update value of NUM_FE_FOR_RO

* Update expected values in tests

* Add comment

* cargo fmt

* relax requirements on the size of public IO and add a note about NIFS (microsoft#294)

* relax requirements on the size of public IO

* add a note

---------

Co-authored-by: Srinath Setty <[email protected]>
Co-authored-by: GoodDaisy <[email protected]>
Co-authored-by: Varun Thakore <[email protected]>
huitseeker added a commit to huitseeker/Nova that referenced this pull request Feb 14, 2024
* refactor: remove unneeded MSM from IPA

- Added new trait usage and extended `AffineExt` with more bounds in `src/provider/traits.rs` to enable greater functionality.
- new bounds on AffineExt are trivially satisfied and parrot existing ones, they are repeated to work around the lack of associated_type_bounds
- Optimized vector processing in the `fold` method of `src/provider/pedersen.rs`. Element-wise vector addition replaced the previous multiscalar multiplication method.

* chore: remove unneeded trait bounds

* chore: some simplifications

* refactor: Optimize commitment key handling and IPA

- Transitioned variable ck and ck_c to mutable to facilitate in-place operations.
- Optimized the `split_at` function in `Pedersen.rs` using the `split_off` method.
- Reconfigured the `combine` function to clone and chain iterables for expedited vector creation.
- Reassessed the `scale` function to in-place operations, eliminating the need for new struct instances.
- Streamlined code in `scale` and `fold` functions by removing superfluous variable assignments.

* refactor: test going back to MSM in fold
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