Skip to content

Grow Lehmer modular-inverse fuzz corpora (3-day soak) - #1

Open
biryukovmaxim wants to merge 1 commit into
kaspanet:mainfrom
biryukovmaxim:lehmer
Open

Grow Lehmer modular-inverse fuzz corpora (3-day soak)#1
biryukovmaxim wants to merge 1 commit into
kaspanet:mainfrom
biryukovmaxim:lehmer

Conversation

@biryukovmaxim

@biryukovmaxim biryukovmaxim commented Jul 14, 2026

Copy link
Copy Markdown

Grown corpora from a 3-day (72 h) fuzzing soak for the Lehmer modular-inverse implementation in kaspanet/rusty-kaspa#1051.

Targets

All targets ran with strict-asserts enabled (promoted debug_assert! to assert!).

Target Executions Corpus entries Size Result
u3072 139.8M 21,768 87 MB 0 crashes
u128 1.65B 5,437 22 MB 0 crashes
u192 831M 5,515 22 MB 0 crashes
u256 657M 7,215 29 MB 0 crashes

What each target fuzzes

  • u3072: the production lehmer::invert for 3072-bit MuHash elements, cross-checked against num-bigint extended GCD
  • u128: construct_uint!(Uint128, 2) arithmetic + LehmerInvert for u128 and Uint128, cross-checked against native u128 and num-bigint
  • u192: construct_uint!(Uint192, 3) arithmetic + LehmerInvert, cross-checked against num-bigint (non-power-of-two width)
  • u256: construct_uint!(Uint256, 4) arithmetic + LehmerInvert, cross-checked against num-bigint

Coverage reports

Related

@biryukovmaxim biryukovmaxim changed the title lehmer Grow Lehmer modular-inverse fuzz corpora (3-day soak) Jul 14, 2026
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