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

Cg/PoC partial verification #65

Closed
wants to merge 13 commits into from
Closed

Cg/PoC partial verification #65

wants to merge 13 commits into from

Conversation

codygunton
Copy link
Collaborator

@codygunton codygunton commented Jan 17, 2023 •
edited
Loading

Working toward a full proof construction and verification flow using a partial proof system.

@codygunton codygunton changed the title WIP running verifier; cna't get purpoprted evals. Fix verifier test Jan 17, 2023
@codygunton codygunton self-assigned this Jan 17, 2023
@codygunton codygunton force-pushed the cg/poc-verifier-short-test-fix branch from f1f426a to 1b3e172 Compare January 19, 2023 04:34
@codygunton
Copy link
Collaborator Author

codygunton commented Jan 19, 2023 •
edited
Loading

Some fixes:

  • waffle::Verifier $\leadsto$ honk::StandardUnrolledVerifier
  • Sumcheck evals are added to transcript from within sumcheck module (old method lead to all zeros in transcript)
  • Verifier algorithm adds u challenges to transcript.
  • Start on verifier-computed polynomial values.
  • Temporarily end prover and verifier at sumcheck.
  • Verifier test uses real manifest.
  • Circuit size is correctly extracted from transcript into Multivariates.
  • Multivariate evals recorded as a single element in the manifest.

@codygunton codygunton changed the title Fix verifier test cg/Fix verifier test Jan 19, 2023
@codygunton codygunton changed the title cg/Fix verifier test Cg/PoC partial verification Jan 20, 2023
@codygunton codygunton force-pushed the cg/poc-verifier-short-test-fix branch from 41b4af6 to e2e5f8f Compare January 20, 2023 20:06
@codygunton codygunton mentioned this pull request Jan 24, 2023
Merged
11 tasks
@codygunton
Copy link
Collaborator Author

Subsumed by #72.

@codygunton codygunton closed this Jan 24, 2023
codygunton added a commit that referenced this pull request Jan 24, 2023
@codygunton
Cg/poc base case partial (#72)
d8e9e8b 
* Lots of work in the now-extinct #65.
* Composer tests shows memory issue
* NOT working; TwoGates too trivial.
* Zero out univariate accumulator (hack).
* Init relation works.
* Add failure tests.
* Added Sage notebook.
*Cleanup.
dbanks12 pushed a commit that referenced this pull request Jan 26, 2023
@codygunton @dbanks12
Cg/poc base case partial (#72)
5518419 
* Lots of work in the now-extinct #65.
* Composer tests shows memory issue
* NOT working; TwoGates too trivial.
* Zero out univariate accumulator (hack).
* Init relation works.
* Add failure tests.
* Added Sage notebook.
*Cleanup.
dbanks12 pushed a commit that referenced this pull request Jan 27, 2023
@codygunton @dbanks12
Cg/poc base case partial (#72)
b5528ab 
* Lots of work in the now-extinct #65.
* Composer tests shows memory issue
* NOT working; TwoGates too trivial.
* Zero out univariate accumulator (hack).
* Init relation works.
* Add failure tests.
* Added Sage notebook.
*Cleanup.
@codygunton codygunton deleted the cg/poc-verifier-short-test-fix branch May 26, 2023 12:45
ludamad pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 22, 2023
@codygunton @dbanks12
Cg/poc base case partial (AztecProtocol/barretenberg#72)
e8dfc81 
* Lots of work in the now-extinct AztecProtocol/barretenberg#65.
* Composer tests shows memory issue
* NOT working; TwoGates too trivial.
* Zero out univariate accumulator (hack).
* Init relation works.
* Add failure tests.
* Added Sage notebook.
*Cleanup.
ludamad pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 24, 2023
@codygunton @dbanks12
Cg/poc base case partial (AztecProtocol/barretenberg#72)
71f970b 
* Lots of work in the now-extinct AztecProtocol/barretenberg#65.
* Composer tests shows memory issue
* NOT working; TwoGates too trivial.
* Zero out univariate accumulator (hack).
* Init relation works.
* Add failure tests.
* Added Sage notebook.
*Cleanup.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@codygunton codygunton

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@codygunton