code wiki / (root) / nx_p384_field_mul_fast_gate.nx

nx_p384_field_mul_fast_gate.nx

buildroot/runtime/nx_p384_field_mul_fast_gate.nx

2646 B75 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic p384

docs dependencies structs consts functions

about

nx_p384_field_mul_fast_gate.nx -- pin p384_field_mul_fast: it MUST equal the trusted bit-by-bit p384_field_mul for the same a*b mod p, across edge + random inputs, before it replaces the slow path in ECDSA-P384 cert verification. expect_exit: 0

dependencies 6 imports · 0 importers

imports: nx_syscalls.nxnx_u384.nxnx_u384_mul.nxnx_p384_field.nxnx_p384_field_mul.nxnx_p384_field_mul_fast.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

14	func g_ps(s: *u8, n: i64) -> i64 { sys_write(1, s, n); return 0 } called by 2: cmp_case main calls 1: sys_write
15	func g_pn(v: i64) -> i64 called by 2: cmp_case main calls 2: sys_mmap sys_write
27	func mk(x: *i64, seed: i64) -> i64 called by 1: main
36	func cmp_case(a: i64, b: i64, tag: i64) -> i64 called by 1: main calls 6: u384_alloc p384_field_mul_bitwise p384_field_mul_fast u384_eq g_ps g_pn
46	func main() -> i64 calls 10: u384_alloc p384_field_load_p u384_zero cmp_case u384_one u384_copy+4