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

initial implemetation of Sumcheck protocol #7

Merged
merged 20 commits into from
May 12, 2022
Merged

initial implemetation of Sumcheck protocol #7

merged 20 commits into from
May 12, 2022

Conversation

zhenfeizhang
Copy link
Contributor

No description provided.

@zhenfeizhang zhenfeizhang mentioned this pull request May 9, 2022
Open
24 tasks
@zhenfeizhang zhenfeizhang changed the title skeleton for wrappers initial implemetation of Sumcheck protocol May 9, 2022
@zhenfeizhang zhenfeizhang marked this pull request as ready for review May 9, 2022 22:48
@zhenfeizhang zhenfeizhang requested a review from chancharles92 May 9, 2022 22:48
@zhenfeizhang
Copy link
Contributor Author

The majority of the work is refactoring arkwork's sumcheck code with some better API and a transcript system.

Will be auditing this code myself to make sure I understand it and it is correct.
In the meantime @chancharles92 if you want to build zero checks from sum checks you should be able to build on top of this.

chancharles92
chancharles92 requested changes May 10, 2022
View reviewed changes
poly-iop/readme.md Outdated Show resolved Hide resolved
poly-iop/src/errors.rs Outdated Show resolved Hide resolved
poly-iop/src/poly_list.rs Outdated Show resolved Hide resolved
poly-iop/src/poly_list.rs Outdated Show resolved Hide resolved
poly-iop/src/poly_list.rs Outdated Show resolved Hide resolved
poly-iop/src/sum_check/verifier.rs Outdated Show resolved Hide resolved
poly-iop/src/sum_check/verifier.rs Show resolved Hide resolved
poly-iop/src/sum_check/verifier.rs Outdated Show resolved Hide resolved
poly-iop/src/zero_check/mod.rs Outdated Show resolved Hide resolved
poly-iop/src/sum_check/prover.rs Outdated Show resolved Hide resolved
@zhenfeizhang zhenfeizhang changed the title initial implemetation of Sumcheck protocol initial implemetation of Sumcheck and zerocheck protocol May 10, 2022
@zhenfeizhang zhenfeizhang changed the title initial implemetation of Sumcheck and zerocheck protocol initial implemetation of Sumcheck protocol May 11, 2022
@zhenfeizhang zhenfeizhang mentioned this pull request May 11, 2022
Closed
@zhenfeizhang zhenfeizhang mentioned this pull request May 11, 2022
Closed
chancharles92
chancharles92 reviewed May 12, 2022
View reviewed changes
poly-iop/src/sum_check/mod.rs Show resolved Hide resolved
poly-iop/src/sum_check/mod.rs Outdated Show resolved Hide resolved
chancharles92
chancharles92 previously approved these changes May 12, 2022
View reviewed changes
@zhenfeizhang zhenfeizhang self-assigned this May 12, 2022
@zhenfeizhang zhenfeizhang merged commit fbd4009 into main May 12, 2022
@zhenfeizhang zhenfeizhang deleted the wrappers branch May 12, 2022 21:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@chancharles92 chancharles92 chancharles92 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@zhenfeizhang @chancharles92