Most of the complexity in the modular arithmetic concerns carry chains and the modular reductions themselves. It would be good to generate test vectors which exercise the edge cases in these operations:
Carries at all limb boundaries
Reduction of values at or close to the modulus
Perhaps additional special cases for certain prime types
Most of the complexity in the modular arithmetic concerns carry chains and the modular reductions themselves. It would be good to generate test vectors which exercise the edge cases in these operations:
Perhaps something can be learned from https://github.com/guidovranken/bignum-fuzzer.