Skip to content

9: atleast circuit#30

Merged
lolaaimar merged 4 commits into
mainfrom
9-atleast-circuit
Jun 25, 2026
Merged

9: atleast circuit#30
lolaaimar merged 4 commits into
mainfrom
9-atleast-circuit

Conversation

@lolaaimar

@lolaaimar lolaaimar commented Jun 24, 2026

Copy link
Copy Markdown
Collaborator

PR Summary:

  • Modifies the implementation of the atLeast case of the verify circuit:
    • Replaces explosive combinatorial approach with simple sum-based approach
  • Adds tests specific for the atLeast case
  • Adds example inputs for stress testing the atLeast case

@lolaaimar lolaaimar linked an issue Jun 24, 2026 that may be closed by this pull request
AtLeast circuit #9
Closed
@lolaaimar
lolaaimar merged commit d4dffb8 into main Jun 25, 2026
1 check passed
@lolaaimar
lolaaimar deleted the 9-atleast-circuit branch June 25, 2026 18:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

AtLeast circuit

1 participant

@lolaaimar