nx_p256_field_test.nx

nx_p256_field_test.nx -- KAT for P-256 prime field add/sub/neg. Verifies modular arithmetic correctness using: - 0 + 0, 1 + 1, p-1 + 1 (boundary wrap) - p-1 + p-1 = p-2 (general wrap) - p-1 - p-1 = 0 - 0 - 1 = p-1 (underflow + add-p) - -0 = 0 - -1 = p-1 - -(p-1) = 1 - -(-a) = a (involutive) - a + (-a) = 0 (definition) - load_p produces the correct byte sequence expect_exit: 0 license_tier: ORIGINAL