Skip to content

Replace batched constraint check sumcheck#14

Merged
z-tech merged 3 commits intomainfrom
dev/efficient_sumcheck
Dec 14, 2025
Merged

Replace batched constraint check sumcheck#14
z-tech merged 3 commits intomainfrom
dev/efficient_sumcheck

Conversation

@z-tech
Copy link
Copy Markdown
Collaborator

@z-tech z-tech commented Dec 14, 2025

What does this do?

  • Just batches the constraint checks and then calls an API from efficient sumcheck so we can delete code
  • This also contains an optimization -> reducing the batched constraint poly is the same as reducing all the constraint polys and then batching (linear)
  • Can do similar for TwinConstraint in a bit

@z-tech z-tech requested a review from dmpierre December 14, 2025 16:59
@z-tech
Copy link
Copy Markdown
Collaborator Author

z-tech commented Dec 14, 2025

I think this is good to go, lmk

@dmpierre
Copy link
Copy Markdown
Collaborator

nice, lgtm!

@z-tech z-tech merged commit fd94e5e into main Dec 14, 2025
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants