code wiki / (root) / nx_ecdsa_sig_der_test.nx

nx_ecdsa_sig_der_test.nx

buildroot/runtime/nx_ecdsa_sig_der_test.nx

6803 B151 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic ecdsa
docsdependenciesstructsconstsfunctions

about

nx_ecdsa_sig_der_test.nx -- KAT for the ECDSA DER-sig parser. Test vector: RFC 6979 §A.2.5 (NIST P-256 + SHA-256, "sample") r = EFD48B2AACB6A8FD1140DD9CD45E81D6 9D2C877B56AAF991C34D0EA84EAF3716 s = F7CB1C942D657C41D436C7A1B6E29F65 F3E900DBB9AFF4064DC4AB2F843ACDA8 Both r and s have their leading byte's high bit set (0xEF and 0xF7 respectively), so DER encoding prepends 0x00 to each -> 33-byte INTEGER bodies. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_u256.nx nx_ecdsa_sig_der.nx nx_ecdsa_sig_der_test.nx

imports: nx_syscalls.nxnx_u256.nxnx_ecdsa_sig_der.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_ecdsa_sig_parse_der sys_mmap ↻ asn1_cursor_init asn1_expect_tag sys_mmap ↻ asn1_read_tlv_header asn1_read_tag asn1_read_length ecdsa_int_load u256_zero sys_mmap ↻ u256_load_be nx_ecdsa_sig_der_verdict_i

structs

none

consts

none

functions

18func main() -> i64
calls 4: sys_mmapu256_allocnx_ecdsa_sig_parse_dernx_ecdsa_sig_der_verdict_is_valid