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

ProtoGalaxy Prover #689

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

ProtoGalaxy Prover #689

codygunton opened this issue Aug 18, 2023 · 0 comments · 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 self-assigned this Sep 8, 2023
@codygunton codygunton removed their assignment Oct 11, 2023
@maramihali maramihali self-assigned this Oct 16, 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
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