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

Feat/Remove ZK from Spartan Backend #53

Merged
merged 13 commits into from
Dec 10, 2024
Merged

Feat/Remove ZK from Spartan Backend #53

merged 13 commits into from
Dec 10, 2024
+155 −1,533

Conversation

darth-cy
Copy link
Collaborator

@darth-cy darth-cy commented Dec 5, 2024

  • Use SumcheckInstanceProof everywhere, replacing ZKSumcheckInstanceProof.
  • All sumcheck instance proofs will include compressed polynomials.

@darth-cy darth-cy mentioned this pull request Dec 5, 2024
Closed
kunxian-xia
kunxian-xia reviewed Dec 9, 2024
View reviewed changes
Copy link
Collaborator

@kunxian-xia kunxian-xia left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me except that we need to remove the codes in PolyEvalProof::prove() / verify().

@darth-cy
Copy link
Collaborator Author

darth-cy commented Dec 9, 2024

Looks good to me except that we need to remove the codes in PolyEvalProof::prove() / verify().

Removed!

@kunxian-xia kunxian-xia merged commit 781a290 into feat/goldilocks-spartan Dec 10, 2024
2 checks passed
@darth-cy darth-cy deleted the feat/remove_backend_zk branch December 10, 2024 01:23
@kunxian-xia kunxian-xia linked an issue Dec 10, 2024 that may be closed by this pull request
remove the zk part in spartan_parallel #49
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kunxian-xia kunxian-xia kunxian-xia approved these changes

Assignees
No one assigned
Labels
None yet
Projects
Ceno - Recursion
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

remove the zk part in spartan_parallel
2 participants
@darth-cy @kunxian-xia