Skip to content

test(bigint): add U64/U254 unit tests for add_ref and add_ref_with_top - #373

Open
radik878 wants to merge 1 commit into
BitVM:mainfrom
radik878:feat/bigint-add_ref-tests
Open

radik878 wants to merge 1 commit into
BitVM:mainfrom
radik878:feat/bigint-add_ref-tests

Conversation

@radik878

Copy link
Copy Markdown

Add targeted unit tests for stack-indexed addition helpers add_ref and add_ref_with_top on U64 and U254, including depth>1 and carry-propagation edge cases. These tests increase confidence against off-by-one stack indexing regressions and cover code paths used indirectly in BN254 windowed multiplication.

This branch has not been deployed

No deployments
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.

1 participant