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

fix: column delta is out-of-bounds #565

Closed
DavePearce opened this issue Jan 20, 2025 · 2 comments
Closed

fix: column delta is out-of-bounds #565

DavePearce opened this issue Jan 20, 2025 · 2 comments
Assignees
@DavePearce
Labels
bug Something isn't working

Comments

@DavePearce
Copy link
Collaborator

For reasons unknown, we are seeing an error message column:delta is out-of-bounds (-2) (AIR) for a specific column column. This arises when using go-corset check --air, and is not present with go-corset check --hir.
@DavePearce DavePearce added the bug Something isn't working label Jan 20, 2025
@DavePearce DavePearce self-assigned this Jan 20, 2025
@DavePearce
Copy link
Collaborator Author

DavePearce commented Jan 20, 2025 •
edited
Loading

This is actually related to the use of a negatively signed sorting criteria for a sorted permutation which is giving rise (somehow) to data which is incorrectly sorted. At a guess this will be related to padding.

@DavePearce
Copy link
Collaborator Author

This is not a go-corset issue. The problem was that the trace in question broken the (implicit) requirements around negatively signed columns (see #568 for more on this).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@DavePearce DavePearce

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

When branches are created from issues, their pull requests are automatically linked.

refs/heads/565-fix-column-delta-is-out-of-bounds Consensys/go-corset
1 participant
@DavePearce