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

Fold witness commitments #781

Closed
maramihali opened this issue Nov 18, 2023 · 0 comments · Fixed by AztecProtocol/aztec-packages#3419
Closed

Fold witness commitments #781

maramihali opened this issue Nov 18, 2023 · 0 comments · Fixed by AztecProtocol/aztec-packages#3419
Assignees
@maramihali
Labels
protogalaxy
Milestone
Protogalaxy

Comments

@maramihali
Copy link
Contributor

maramihali commented Nov 18, 2023 •
edited
Loading

In our proof system they are sent through the transcript, following the notation in ProtoGalaxy they are phi_0
@maramihali maramihali added this to the Protogalaxy milestone Nov 18, 2023
@maramihali maramihali mentioned this issue Dec 4, 2023
Merged
maramihali added a commit to AztecProtocol/aztec-packages that referenced this issue Dec 8, 2023
@maramihali
feat: complete folding prover and verifier for ultra instances (#3419)
bb86ce9 
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.
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
protogalaxy
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
1 participant
@maramihali