Skip to content

chore: numeric audit response#22856

Merged
ledwards2225 merged 8 commits into
merge-train/barretenbergfrom
lde/numeric-audit-response
May 1, 2026
Merged

chore: numeric audit response#22856
ledwards2225 merged 8 commits into
merge-train/barretenbergfrom
lde/numeric-audit-response

Conversation

@ledwards2225

@ledwards2225 ledwards2225 commented Apr 29, 2026

Copy link
Copy Markdown
Contributor

Addresses external audit findings for numeric module (all low or informational).

@ledwards2225 ledwards2225 added the ci-full Run all master checks. label Apr 29, 2026
@ledwards2225 ledwards2225 marked this pull request as ready for review April 29, 2026 18:39
@ledwards2225 ledwards2225 requested a review from suyash67 April 29, 2026 21:21
constexpr uint256_t uint256_t::slice(const uint64_t start, const uint64_t end) const
{
assert(start < end);
BB_ASSERT_DEBUG(start <= end);

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Do we want start < end or start <= end?
When start = end the result is 0 and I am not sure if it should be 0 or the bit at index start = end.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

I went back and forth but I think a size-0 slice is a valid call and I think you'd expect it to return 0. The size-1 slice of form [start, start+1) would return the bit at index start

@suyash67 suyash67 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Looks good, left a minor comment

@ledwards2225 ledwards2225 merged commit 47bf473 into merge-train/barretenberg May 1, 2026
12 checks passed
@ledwards2225 ledwards2225 deleted the lde/numeric-audit-response branch May 1, 2026 20:50
danielntmd pushed a commit to danielntmd/aztec-packages that referenced this pull request May 6, 2026
BEGIN_COMMIT_OVERRIDE
fix(ci): default S3_BUILD_CACHE_AWS_PARAMS in cache_s3_transfer{,_to}
(AztecProtocol#22898)
chore: low-hanging chonk prover fixes from profiling (AztecProtocol#22855)
chore: fuse N `add_scaled` into one `parallel_for` (AztecProtocol#22893)
feat: Delayed merge implementation (AztecProtocol#22775)
chore: numeric audit response (AztecProtocol#22856)
fix: harden BN254 G2 SRS ingress (AztecProtocol#22858)
fix: remove unused hash_challenge variable in batch_merge.test.cpp
(AztecProtocol#22906)
fix(bbup): remove jq dependency (AztecProtocol#22912)
chore: fix g2 test failing on merge-train (AztecProtocol#22920)
fix(ci): error on disabled-cache in CI hash calculation (AztecProtocol#22904)
END_COMMIT_OVERRIDE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-full Run all master checks.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants