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

dex: 🏒 SwapClaimProof::verify is fallible #3829

Merged
merged 4 commits into from
Feb 15, 2024

Conversation

cratelyn
Copy link
Contributor

see #3777 for more information. this replaces the Result::expect statements with error variants that are propagated to the caller.

💟 some gardening is done along the way to make this code a little more visually consistent. refactoring changes are intentionally kept in separate commits, to facilitate ease of review.

just to be sure that we are turning all of these into field elements!
see #3777 for more
information.

this replaces the `Result::expect` statements with error variants that
are propagated to the caller.
this helps clear away the assorted `foo.0.bar` sequences of accessors.
this subjectively cleans up the result expression(s) a bit, by tapping
the proof result.
@cratelyn cratelyn added A-node Area: System design and implementation for node software security Issues or work related to security. zellic-component-remediated Tag PRs that are remediating Zellic findings _P-high High priority labels Feb 15, 2024
@cratelyn cratelyn added this to the Sprint 0 milestone Feb 15, 2024
@cratelyn cratelyn self-assigned this Feb 15, 2024
@cratelyn cratelyn marked this pull request as ready for review February 15, 2024 19:30
@cratelyn cratelyn requested a review from erwanor February 15, 2024 19:30
Copy link
Member

@redshiftzero redshiftzero left a comment

Choose a reason for hiding this comment

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

looks great!

@cratelyn cratelyn merged commit 174324c into main Feb 15, 2024
6 checks passed
@cratelyn cratelyn deleted the katie/fallible-proof-verification branch February 15, 2024 21:42
cratelyn added a commit that referenced this pull request Feb 16, 2024
see #3777.

this changes `DelegatorVoteProof::verify` so that it is fallible. errors
will be propagated to the caller, rather than inducing a panic.

* #3777
* #3829

as with #3829, i've applied some tlc to the code as i've addressed the
core issue at hand (_panics_). noop code transformations are applied in
distinct commits, to facilitate ease of review.
cratelyn added a commit that referenced this pull request Feb 16, 2024
see #3777.

this changes `DelegatorVoteProof::verify` so that it is fallible. errors
will be propagated to the caller, rather than inducing a panic.

* #3777
* #3829
* #3833

as with #3829 and #3833, i've applied some tlc to the code as i've
addressed the core issue at hand (_panics_). noop code transformations
are applied in distinct commits, to facilitate ease of review.
@cratelyn cratelyn added the A-dex Area: Relates to the dex label Mar 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-dex Area: Relates to the dex A-node Area: System design and implementation for node software _P-high High priority security Issues or work related to security. zellic-component-remediated Tag PRs that are remediating Zellic findings
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants