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

ProtoGalaxyVerifier #690

Closed
codygunton opened this issue Aug 18, 2023 · 1 comment · Fixed by AztecProtocol/aztec-packages#3419
Closed

ProtoGalaxyVerifier #690

codygunton opened this issue Aug 18, 2023 · 1 comment · Fixed by AztecProtocol/aztec-packages#3419
Assignees
@maramihali
Milestone
Protogalaxy

Comments

@codygunton
Copy link
Collaborator

No description provided.

@codygunton codygunton added this to the Protogalaxy milestone Aug 18, 2023
@codygunton codygunton mentioned this issue Sep 11, 2023
Closed
@maramihali maramihali self-assigned this Oct 20, 2023
@maramihali
Copy link
Contributor

i think it makes sense to do prover and verifier in parallel

@maramihali maramihali mentioned this issue Dec 4, 2023
Merged
AztecBot pushed a commit that referenced this issue Dec 11, 2023
@maramihali @AztecBot
feat: complete folding prover and verifier for ultra instances (#3419)
0436001 
Closes #781 
Closes #689 
Closes #690
Closes #802

This PR provides the first full version of folding prover and verifiers
for Ultra instances and provides the first full folding test. The
protogalaxy interfaces have been slightly reworked so the prover now
returns a complete new relaxed `Instance` and a folding proof. While the
verifier receives the folding proof and returns a boolean dependent on
whether the pubic data from the relaxed instance, sent by the prover, is
the same as the data computed by the folding verifier.
michaelelliot pushed a commit to Swoir/noir_rs that referenced this issue Feb 28, 2024
@maramihali
feat: complete folding prover and verifier for ultra instances (Aztec…
4ab3ee7 
…Protocol#3419)

Closes AztecProtocol/barretenberg#781 
Closes AztecProtocol/barretenberg#689 
Closes AztecProtocol/barretenberg#690
Closes AztecProtocol/barretenberg#802

This PR provides the first full version of folding prover and verifiers
for Ultra instances and provides the first full folding test. The
protogalaxy interfaces have been slightly reworked so the prover now
returns a complete new relaxed `Instance` and a folding proof. While the
verifier receives the folding proof and returns a boolean dependent on
whether the pubic data from the relaxed instance, sent by the prover, is
the same as the data computed by the folding verifier.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@maramihali maramihali

Labels
None yet
Projects
None yet
Milestone
Protogalaxy
Development

Successfully merging a pull request may close this issue.

feat: complete folding prover and verifier for ultra instances AztecProtocol/aztec-packages
2 participants
@codygunton @maramihali