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

[TOB] Add tests and clarifying documentation #2546

Merged
merged 4 commits into from
Oct 18, 2024

Conversation

raychu86
Copy link
Contributor

@raychu86 raychu86 commented Sep 5, 2024

Motivation

This PR addresses the following audit findings from Trail of Bits regarding the addition of Transmission checksums:

  • [TOB-CHCK-1] Missing sanity and unit test for the to_checksum function
    • This was addressed by adding unit tests
  • [TOB-CHCK-2] Aborted solutions contain both mutated and unmutated solutions
    • This was addressed by adding clarifying documentation
  • [TOB-Code-Quality] Various code quality findings

This PR does not touch any core logic and only adds testing and supporting documentation.

CI is run here.

@raychu86 raychu86 requested a review from vicsn September 24, 2024 16:12
@vicsn
Copy link
Contributor

vicsn commented Sep 25, 2024

CI fails due to OOM, can you try merging in latest mainnet-staging to limit test threads: https://github.com/AleoNet/snarkVM/blob/mainnet-staging/.circleci/config.yml#L685

@zosorock zosorock merged commit 36b4ef4 into AleoNet:staging Oct 18, 2024
76 of 83 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants