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.

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

chore: removed unnecessary brillig code for range constraining from_field #103

Draft
wants to merge 8 commits into
base: main
Choose a base branch
from

Conversation

kashbrti
Copy link
Contributor

@kashbrti kashbrti commented Jan 20, 2025

Description

I added a validate_in_grumpkin method to replace the validate_gt check in the from_field method.
This method removes unnecessary carry flags which validate_gt computes.

Problem*

Resolves

Summary*

Additional Context

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@kashbrti
Copy link
Contributor Author

this PR should be merged after #99 and #100 (in the given order)

@TomAFrench
Copy link
Member

Please don't creat unnecessary stacks of PRs as it slows down getting later prs merged if something is blocked.

Copy link
Contributor

github-actions bot commented Jan 21, 2025

Changes to circuit sizes

Generated at commit: b9d34dfd33e703c99518c54f3ac900ab97321847, compared to commit: d231a459965b824bb0aec34f923f1ef05d07a213

🧾 Summary (10% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
bench_from_field_BN256.json 0 ➖ 0.00% +6 ❌ +0.21%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
bench_from_field_BN256.json 21 (0) 0.00% 2,839 (+6) +0.21%

@@ -51,6 +51,7 @@ jobs:
run: nargo test

format:
needs: [noir-version-list]
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
needs: [noir-version-list]

@@ -2,6 +2,6 @@
name = "bignum"
type = "lib"
authors = [""]
compiler_version = ">=1.0.0"
compiler_version = ">=0.36.0"
Copy link
Member

Choose a reason for hiding this comment

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

?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: 📋 Backlog
Development

Successfully merging this pull request may close these issues.

2 participants