code wiki / (root) / nx_rsa4096_mod_test.nx

nx_rsa4096_mod_test.nx

buildroot/runtime/nx_rsa4096_mod_test.nx

3826 B131 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic rsa4096
docsdependenciesstructsconstsfunctions

about

nx_rsa4096_mod_test.nx -- KAT for rsa4096_mod + rsa4096_mod_exp. Small-value KAT: numbers fit in low limb but exercise the full 8191-bit reduction loop (every iteration runs whether values are large or small). Correctness is hand-verifiable. expect_exit: 0 license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_u4096.nx nx_u4096_mul.nx nx_rsa4096_mod.nx nx_rsa4096_mod_exp.nx nx_rsa4096_mod_test.nx

imports: nx_syscalls.nxnx_u4096.nxnx_u4096_mul.nxnx_rsa4096_mod.nxnx_rsa4096_mod_exp.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main u4096_wide_alloc sys_mmap u4096_alloc sys_mmap ↻ u4096_zero rsa4096_mod u4096_alloc ↻ u4096_zero ↻ u4096_shl1 u4096_wide_get_bit u4096_sub_with_borrow u4096_cmp u4096_copy u4096_is_zero rsa4096_mod_exp u4096_cmp ↻ rsa4096_highbit_i64 u4096_one u4096_zero ↻ u4096_alloc ↻ u4096_copy ↻ rsa4096_mul_mod u4096_wide_alloc ↻ u4096_mul_wide rsa4096_mod ↻ sys_mmap ↻ sys_write

structs

none

consts

none

functions

16func main() -> i64
calls 8: u4096_wide_allocu4096_allocu4096_zerorsa4096_modu4096_is_zerorsa4096_mod_exp+2