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

Implement AssertLeFindSmallArcs hint #155

Closed
mmk-1 opened this issue Nov 7, 2023 · 2 comments
Closed

Implement AssertLeFindSmallArcs hint #155

mmk-1 opened this issue Nov 7, 2023 · 2 comments
Assignees
@mmk-1
Labels
enhancement New feature or request vm hint Related with VM hints

Comments

@mmk-1
Copy link
Contributor

mmk-1 commented Nov 7, 2023

No description provided.

@mmk-1 mmk-1 added the vm hint Related with VM hints label Nov 7, 2023
@mmk-1 mmk-1 self-assigned this Nov 7, 2023
@mmk-1 mmk-1 mentioned this issue Nov 7, 2023
Closed
30 tasks
@rodrigo-pino rodrigo-pino added the vm builtin Related with VM Builtins label Nov 7, 2023
@rodrigo-pino
Copy link
Contributor

@mmk-1 it could be nice if you could find out what is the intention behind this hints as well

@rodrigo-pino rodrigo-pino added enhancement New feature or request and removed vm builtin Related with VM Builtins labels Nov 7, 2023
@mmk-1 mmk-1 mentioned this issue Nov 8, 2023
Merged
@mmk-1
Copy link
Contributor Author

mmk-1 commented Nov 23, 2023 •
edited
Loading

@rodrigo-pino
I've tried to look to see what this hint is trying to do. Basically it wants to assert that a is less than or equal to b by showing that the numbers [0, a, b, PRIME - 1] are in ascending order. To do this, it looks at the three segments between them on a circle: 0 -> a, a -> b, and b -> PRIME - 1. It proves that two of these segments are shorter than some thresholds, so they cannot overlap. Therefore, the numbers are ordered as we want.
The comments in this link were super useful.

If you think its a good idea, i can make a new PR to add a description as a comment before the hint

@mmk-1 mmk-1 closed this as completed Nov 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mmk-1 mmk-1

Labels
enhancement New feature or request vm hint Related with VM hints
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rodrigo-pino @mmk-1