nx_p384_point_test.nx
buildroot/runtime/nx_p384_point_test.nx
about
nx_p384_point_test.nx -- KAT for P-384 point operations.
Verifies:
- G (base point) is on curve
- 2G via double + to_affine is on curve
- 2G computed via add(G, G) equals 2G via double(G)
- G + infinity == G
- G + (-G) == infinity (additive inverse: -G = (Gx, -Gy))
- 3G via add(2G, G) is on curve
expect_exit: 0
license_tier: ORIGINAL
dependencies 5 imports · 0 importers
imports: nx_syscalls.nxnx_u384.nxnx_p384_field.nxnx_p384_point.nxnx_p384_point_add.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 |