Unit tests for ToeplitzNTT #
Exhaustive checks (over all seeds and inputs) that the NTT-based Toeplitz hash
toeplitzHashNTT agrees with the school-book toeplitzHash for small dimensions,
complementing the general theorem toeplitzHashNTT_eq_toeplitzHash.
Note that compiled calls to toeplitzHashNTT run toeplitzHashNTTFast (via the
@[csimp] theorem toeplitzHashNTT_eq_fast), so these tests exercise the fast
implementation's compiled code paths.
Exhaustive agreement check of toeplitzHashNTT m n with toeplitzHash m n
over all 2 ^ (m + n - 1) seeds and 2 ^ n inputs.
Equations
- One or more equations did not get rendered due to their size.