code wiki / (root) / nx_x509_pubkey_ec_test.nx

nx_x509_pubkey_ec_test.nx

buildroot/runtime/nx_x509_pubkey_ec_test.nx

5736 B123 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic x509
docsdependenciesstructsconstsfunctions

about

nx_x509_pubkey_ec_test.nx -- KAT for ECDSA-P256 pubkey extraction from a parsed X509Cert. Uses the RFC 6979 §A.2.5 pubkey (a known-on-curve P-256 point) laid out in uncompressed format (0x04 || X || Y) inside a synthetic buffer at a known offset. Tests: - happy path: extract X, Y match the documented limbs - bad length (e.g. 64 or 66 bytes) -> BAD_LEN - wrong leading byte (0x02 instead of 0x04) -> NOT_UNCOMPRESSED - verdict gate expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_u256.nx nx_x509.nx nx_x509_pubkey_ec.nx nx_x509_pubkey_ec_test.nx

imports: nx_syscalls.nxnx_u256.nxnx_x509.nxnx_x509_pubkey_ec.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 u256_alloc nx_scratch nx_scratch_init sys_mmap ↻ nx_scratch_oom sys_write sys_exit sys_mmap ↻ nx_x509_pubkey_extract_ec_ sys_mmap ↻ u256_load_be nx_x509_pubkey_ec_verdict_

structs

none

consts

none

functions

20func main() -> i64
calls 4: sys_mmapu256_allocnx_x509_pubkey_extract_ec_p256nx_x509_pubkey_ec_verdict_is_valid