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

ZK for sumcheck #979

Closed
codygunton opened this issue May 14, 2024 · 0 comments · Fixed by AztecProtocol/aztec-packages#7517
Closed

ZK for sumcheck #979

codygunton opened this issue May 14, 2024 · 0 comments · Fixed by AztecProtocol/aztec-packages#7517
Assignees
@iakovenkos

Comments

@codygunton
Copy link
Collaborator

No description provided.

@codygunton codygunton mentioned this issue Jul 18, 2024
Merged
AztecBot pushed a commit that referenced this issue Aug 20, 2024
@iakovenkos @AztecBot
feat: zk sumcheck (#7517)
f15d8de 
Added ZK Sumcheck that ensures that neither round univariates nor
claimed evaluations leak witness information

ZK Sumcheck is "togglable": only Flavors with (HasZK = true) use it 

Refactored sumcheck tests: now they are typed by the Flavor (Ultra or
UltraWithZK)

Made sumcheck-outline.md consistent with the implementation, expanded
docs in sumcheck.hpp and sumcheck_round.hpp

Note: ultra/mega/... -provers and verifiers using ZK sumcheck will be
added later

Closes #979
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@iakovenkos iakovenkos

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: zk sumcheck AztecProtocol/aztec-packages
2 participants
@codygunton @iakovenkos