nx_p384_field_test.nx
buildroot/runtime/nx_p384_field_test.nx
about
nx_p384_field_test.nx -- KAT for P-384 field add/sub/neg.
Verifies:
- p loads correctly (12 limbs as documented)
- 0 + 0 = 0
- 1 + (p - 1) = 0 (mod p)
- (p - 1) + (p - 1) = p - 2 (mod p)
- (p - 1) - 1 = p - 2
- 0 - 1 = p - 1
- -0 = 0
- -1 = p - 1
expect_exit: 0
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_u384.nxnx_p384_field.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 20 | func main() -> i64 |