code wiki / (root) / nx_rsa_pkcs1_v1_5_k_test.nx

nx_rsa_pkcs1_v1_5_k_test.nx

buildroot/runtime/nx_rsa_pkcs1_v1_5_k_test.nx

35556 B1321 linesdepth 8pulls 18 transitivereach 0 importersview sourcekind gate/prooftopic rsa
docsdependenciesstructsconstsfunctions

about

nx_rsa_pkcs1_v1_5_k_test.nx -- KAT vs openssl RSA-3072 (sha256 + sha384). expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_u4096.nx nx_rsa_pkcs1_v1_5_k.nx nx_rsa_pkcs1_v1_5_k_test.nx

imports: nx_syscalls.nxnx_u4096.nxnx_rsa_pkcs1_v1_5_k.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 u4096_alloc sys_mmap ↻ u4096_load_be rsa_pkcs1_v1_5_sha256_k_ve sys_mmap ↻ _rsa_k_recover sys_mmap ↻ u4096_alloc ↻ u4096_load_be ↻ rsa4096_mod_exp u4096_cmp rsa4096_highbit_i64 u4096_one u4096_zero u4096_alloc ↻ u4096_copy rsa4096_mul_mod u4096_wide_alloc sys_mmap ↻ u4096_mul_wide rsa4096_mod u4096_alloc ↻ u4096_zero ↻ u4096_shl1 u4096_wide_get_bit u4096_sub_with_borrow u4096_cmp ↻ u4096_copy ↻ u4096_store_be sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress

structs

none

consts

none

functions

9func main() -> i64
calls 5: sys_mmapu4096_allocu4096_load_bersa_pkcs1_v1_5_sha256_k_verifyrsa_pkcs1_v1_5_sha384_k_verify