nx_p384_point.nx

buildroot/runtime/nx_p384_point.nx

8561 B290 linesdepth 7pulls 8 transitivereach 535 importersview sourcekind tooltopic p384

docs dependencies structs consts functions

about

nx_p384_point.nx -- NIST P-384 elliptic curve point operations. Curve: y^2 = x^3 - 3x + b mod p (same form as P-256, just larger field). Stored in Jacobian (X, Y, Z) coordinates. Mirrors nx_p256_point.nx 1:1. Doubling formula is unchanged (a = -3 special form valid for both NIST P-256 and P-384). API: struct P384Point { x: *i64, y: *i64, z: *i64 } p384_point_alloc() -> *P384Point p384_point_zero(p) set p to canonical infinity (1,1,0) p384_point_is_infinity(p) -> 0|1 (Z == 0) p384_point_copy(dst, src) p384_point_set_affine(p, x, y) p384_point_load_b(out) curve constant b p384_point_load_g(out_g) base point G (Z=1) p384_point_on_curve(p) requires p in affine p384_point_to_affine(p) normalize in place p384_point_eq(a, b) affine-equality test p384_point_double(out, in_pt) Jacobian doubling license_tier: INDEPENDENT_REDERIVE genealogy_id: international-research-sources/nist/fips_186_5 lineage_id: nishi_p384_point_q10

dependencies 5 imports · 8 importers

imports: nx_syscalls.nxnx_u384.nxnx_p384_field.nxnx_p384_field_mul_fast.nxnx_p384_field_inv.nx

imported by: nx_ecdsa_p384.nxnx_ecdsa_p384_bisect_test.nxnx_p384_ecdh.nxnx_p384_point_add.nxnx_p384_point_test.nxnx_p384_scalar_mul.nxnx_p384_scalar_mul_gate.nxnx_p384_scalar_mul_test.nx

structs

39	struct P384Point

consts

45	const NX_P384_POINT_OK: i64 = 1
46	const NX_P384_POINT_BAD: i64 = 2
47	const NX_P384_POINT_VERDICT_N: i64 = 3

functions

49	func nx_p384_point_verdict_is_valid(v: i64) -> i64
55	func p384_point_alloc() -> *P384Point called by 12: _nx_ecdsa_p384_verify_inner main p384_ecdh_pub p384_ecdh_shared p384_point_eq p384_point_add+6 calls 4: nx_u384_scratch u384_alloc p384_field_one p384_field_zero
67	func p384_point_zero(p: *P384Point) -> i64 called by 4: p384_point_double p384_point_add p384_scalar_mul_dbladd p384_scalar_mul calls 2: p384_field_one p384_field_zero
74	func p384_point_is_infinity(p: *P384Point) -> i64 called by 10: _nx_ecdsa_p384_verify_inner p384_ecdh_pub p384_ecdh_shared p384_point_on_curve p384_point_to_affine p384_point_eq+4 calls 1: u384_is_zero
78	func p384_point_copy(dst: P384Point, src: P384Point) -> i64 called by 6: main p384_point_eq p384_point_add p384_scalar_mul_dbladd p384_scalar_mul main calls 1: u384_copy
85	func p384_point_set_affine(p: P384Point, x: i64, y: *i64) -> i64 called by 3: _nx_ecdsa_p384_verify_inner main p384_ecdh_shared calls 2: u384_copy p384_field_one
96	func p384_point_load_b(out: *i64) -> i64 called by 1: p384_point_on_curve
117	func p384_point_load_g(out_g: *P384Point) -> i64 called by 6: _nx_ecdsa_p384_verify_inner main p384_ecdh_pub main main main calls 1: p384_field_one
150	func p384_point_on_curve(p: *P384Point) -> i64 called by 3: _nx_ecdsa_p384_verify_inner p384_ecdh_shared main calls 9: p384_point_is_infinity u384_alloc u384_copy p384_field_sq_fast p384_field_mul_fast p384_field_add+3
178	func p384_point_to_affine(p: *P384Point) -> i64 called by 6: _nx_ecdsa_p384_verify_inner main p384_ecdh_pub p384_ecdh_shared p384_point_eq main calls 6: p384_point_is_infinity u384_alloc p384_field_inv p384_field_sq_fast p384_field_mul_fast p384_field_one
195	func p384_point_eq(a: P384Point, b: P384Point) -> i64 called by 4: main pg_match main main calls 5: p384_point_is_infinity p384_point_alloc p384_point_copy p384_point_to_affine p384_field_eq
224	func p384_point_double(out: P384Point, in_pt: P384Point) -> i64 called by 5: p384_point_add main p384_scalar_mul_dbladd p384_scalar_mul main calls 9: p384_point_is_infinity p384_point_zero u384_is_zero u384_alloc u384_copy p384_field_sq_fast+3
288	func main() -> i64