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

Prover/support special columns #700

Draft
wants to merge 14 commits into
base: prover/limitless-top-level
Choose a base branch
from
Draft

Prover/support special columns #700

wants to merge 14 commits into from

Conversation

Soleimani193
Copy link
Contributor

@Soleimani193 Soleimani193 commented Feb 17, 2025 •
edited
Loading

This PR implements:

  • the support for special columns like precomputed columns and verifier columns.
  • the NoBoundary case for the global queries
  • Crosse checks for global constraints (via hash consistency)
  • A complex analysis of the module discoverer, to cover the post-preparation phase.

Checklist

  • I wrote new tests for my new core changes.
  • I have successfully ran tests, style checker and build against my new changes locally.
  • I have informed the team of any breaking changes if there are any.

@Soleimani193 Soleimani193 added the Prover Tag to use for all work impacting the prover label Feb 17, 2025
@Soleimani193 Soleimani193 self-assigned this Feb 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AlexandreBelling AlexandreBelling Awaiting requested review from AlexandreBelling

Assignees

@Soleimani193 Soleimani193

Labels
Prover Tag to use for all work impacting the prover
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Soleimani193