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.

Sign up for GitHub

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

Jump to bottom

Middleware to load Noir's ACIR into R1CS supported by Nova #275

Closed
srinathsetty opened this issue Dec 4, 2023 · 2 comments
Closed

Middleware to load Noir's ACIR into R1CS supported by Nova #275

srinathsetty opened this issue Dec 4, 2023 · 2 comments
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@srinathsetty
Copy link
Collaborator

Nova accepts circuits written with bellpepper. If one writes a middleware (analogous to Noir's arkworks backend) to parse and load ACIR (and witness) into a bellpepper circuit, one can then prove the execution of Noir programs with Nova.
@srinathsetty srinathsetty added enhancement New feature or request help wanted Extra attention is needed labels Dec 4, 2023
@srinathsetty srinathsetty changed the title Middleware to compile Noir's ACIR into R1CS supported by Nova Middleware to load Noir's ACIR into R1CS supported by Nova Dec 4, 2023
huitseeker added a commit to huitseeker/Nova that referenced this issue Feb 2, 2024
@samuelburnham @huitseeker
Enable grumpkin-msm CUDA feature (microsoft#279)
5da330e 
* chore: Refactor CUDA feature dependencies in Cargo.toml

- Removed unused neptune cuda feature in the project's `Cargo.toml`

Closes microsoft#275

* Enable `grumpkin-msm` CUDA feature

---------

Co-authored-by: François Garillot <[email protected]>
@Sun-Jc
Copy link

Sun-Jc commented Sep 9, 2024 •
edited
Loading

One implementation can be found here.

@srinathsetty
Copy link
Collaborator Author

Closing it here given https://github.com/Sun-Jc/noir-ivc/blob/main/src/tests.rs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Sun-Jc @srinathsetty