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

Separate instance & witness in NIMFS returned parameters #46

Closed
arnaucube opened this issue Jul 26, 2023 · 0 comments · Fixed by #48
Closed

Separate instance & witness in NIMFS returned parameters #46

arnaucube opened this issue Jul 26, 2023 · 0 comments · Fixed by #48
Assignees
@CPerezz
Labels
hypernova

Comments

@arnaucube
Copy link
Collaborator

Separate instance & witness in NIMFS returned parameters.
In a similar way that in multifolding-poc/src/multifolding.rs, since later the prover has both, but the verifier does not have the witness part of the folding.
In the Nova NIFS impl the instance and witness are already separated ( src/nifs.rs#45 ), and also in the Nova & HyperNova papers.
@arnaucube arnaucube mentioned this issue Jul 26, 2023
Merged
@CPerezz CPerezz mentioned this issue Aug 2, 2023
Merged
@CPerezz CPerezz self-assigned this Aug 3, 2023
CPerezz added a commit that referenced this issue Aug 4, 2023
@CPerezz
Remove witness from CCCS & LCCCS instances (#48)
5f24446 
Since the Verifier in the protocol does not have access to the
witnesses, we should not have `z`s inside of the LCCCS and CCCS
instances and instead, work with the witness sepparatedly.

This PR implements this sort of behaviour.
Resolves: #46
hero78119 pushed a commit to hero78119/SuperNova that referenced this issue Jan 3, 2024
@samuelburnham
Switch to larger cloud-hosted runners (privacy-scaling-explorations#46)
9d5a73b
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@CPerezz CPerezz

Labels
hypernova
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Remove witness from CCCS & LCCCS instances privacy-scaling-explorations/Nova
2 participants
@arnaucube @CPerezz