code wiki / (root) / nx_rsa_pkcs1_v1_5_sha256_real_test.nx

nx_rsa_pkcs1_v1_5_sha256_real_test.nx

buildroot/runtime/nx_rsa_pkcs1_v1_5_sha256_real_test.nx

3057 B100 linesdepth 7pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic rsa
docsdependenciesstructsconstsfunctions

about

nx_rsa_pkcs1_v1_5_sha256_real_test.nx -- KAT for RSA-PKCS#1 v1.5 SHA-256 verify against the REAL cert4 (SSL.com TLS ECC Root CA 2022) signed by Comodo AAA Certificate Services (RSA-2048, e=65537). Inputs (raw binary fixtures dropped by dump_rsa_fixtures.py): /tmp/comodo_aaa_n.bin 256-byte BE modulus /tmp/cert4_sig.bin 256-byte BE signature /tmp/cert4_tbs.bin 810-byte TBS expect_exit: 0 (verifies successfully). license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_u2048.nx nx_rsa_pkcs1_v1_5_sha256.nx nx_rsa_pkcs1_v1_5_sha256_real_

imports: nx_syscalls.nxnx_u2048.nxnx_rsa_pkcs1_v1_5_sha256.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap mkpath read_to sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close dump_dec sys_mmap ↻ sys_write u2048_alloc sys_mmap ↻ u2048_load_be rsa_pkcs1_v1_5_sha256_veri u2048_alloc ↻ u2048_load_be ↻ rsa2048_mod_exp_mont u2048_cmp u2048_one u2048_zero rsa2048_mont_n0inv u2048_alloc ↻ rsa2048_mont_r2 u2048_wide_alloc sys_mmap ↻ u2048_alloc ↻ rsa2048_mod u2048_alloc ↻ u2048_zero ↻ u2048_shl1 u2048_wide_get_bit u2048_sub_with_borrow u2048_cmp ↻ u2048_copy rsa2048_mul_mod u2048_wide_alloc ↻

structs

none

consts

none

functions

17func read_to(path: *u8, out_buf: *u8, max: i64) -> i64
called by 1: main calls 2: sys_mmapsys_read_file
28func mkpath(out: *u8, c: i64) -> i64
called by 1: main
50func dump_dec(l0: i64, l1: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
74func main() -> i64
calls 7: sys_mmapmkpathread_todump_decu2048_allocu2048_load_be+1