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

Draft: New Transcript #178

Closed
wants to merge 1 commit into from
Closed

Draft: New Transcript #178

wants to merge 1 commit into from

Conversation

adr1anh
Copy link
Contributor

@adr1anh adr1anh commented Feb 23, 2023

Description

Checklist:

  • I have reviewed my diff in github, line by line.
  • Every change is related to the PR description.
  • I have linked this pull request to the issue(s) that it resolves.
  • There are no unexpected formatting changes, superfluous debug logs, or commented-out code.
  • There are no circuit changes, OR specifications in /markdown/specs have been updated.
  • There are no circuit changes, OR a cryptographer has been assigned for review.
  • I've updated any terraform that needs updating (e.g. environment variables) for deployment.
  • The branch has been rebased against the head of its merge target.
  • I'm happy for the PR to be merged at the reviewer's next convenience.
  • New functions, classes, etc. have been documented according to the doxygen comment format. Classes and structs must have @brief describing the intended functionality.
  • If existing code has been modified, such documentation has been added or updated.

@adr1anh adr1anh self-assigned this Feb 23, 2023
@adr1anh adr1anh force-pushed the ah/transcript branch 4 times, most recently from 3fde826 to 6ae2586 Compare February 27, 2023 16:36
@adr1anh
- Add include guard to blake3
9274dc0 
- Remove zeta,alpha from relation_params
- remove manifest input from prover and verifier
- remove oracle and wrapper
- reinstate pcs types test
- add new transcript
- adapt pcs to transcript
- add public inputs and rel_param to prover key
- sumcheck returns an output
- sumcheck verifier does not depend on sumcheck round
@codygunton
Copy link
Collaborator

Subsumed by #248

@codygunton codygunton closed this Mar 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@adr1anh adr1anh

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@adr1anh @codygunton