code wiki / (root) / nx_ecdsa_p256_test.nx

nx_ecdsa_p256_test.nx

buildroot/runtime/nx_ecdsa_p256_test.nx

7011 B141 linesdepth 10pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic ecdsa
docsdependenciesstructsconstsfunctions

about

nx_ecdsa_p256_test.nx -- KAT for ECDSA signature verification. Test vector: RFC 6979 §A.2.5 (NIST P-256 + SHA-256, msg = "sample") Pubkey: x = 60FED4BA255A9D31C961EB74C6356D68 C049B8923B61FA6CE669622E60F29FB6 y = 7903FE1008B8BC99A41AE9E95628BC64 F2F1B20C2D7E9F5177A3C294D4462299 msg = "sample" SHA-256(msg) = AF2BDBE1AA9B6EC1E2ADE1D694F41FC7 1A831D0268E9891562113D8A62ADD1BF Sig (deterministic per RFC 6979): r = EFD48B2AACB6A8FD1140DD9CD45E81D6 9D2C877B56AAF991C34D0EA84EAF3716 s = F7CB1C942D657C41D436C7A1B6E29F65 F3E900DBB9AFF4064DC4AB2F843ACDA8 expect_exit: 0 license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_u256.nx nx_p256_field.nx nx_p256_modn.nx nx_ecdsa_p256.nx nx_ecdsa_p256_test.nx

imports: nx_syscalls.nxnx_u256.nxnx_p256_field.nxnx_p256_modn.nxnx_ecdsa_p256.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 ↻ u256_load_be nx_ecdsa_p256_verify nx_scratch_save nx_scratch_init ↻ _nx_ecdsa_p256_verify_impl u256_alloc ↻ p256_modn_load_n p256_modn_one u256_one u256_zero u256_is_zero u256_cmp p256_point_alloc nx_scratch ↻ u256_alloc ↻ p256_field_one u256_one ↻ p256_field_zero u256_zero ↻ p256_point_set_affine u256_copy p256_field_one ↻ p256_point_is_infinity u256_is_zero ↻ p256_point_on_curve p256_point_is_infinity ↻ nx_scratch_save ↻ u256_alloc ↻ u256_copy ↻ p256_field_sq

structs

none

consts

none

functions

30func main() -> i64
calls 8: sys_mmapu256_allocu256_load_benx_ecdsa_p256_verifyu256_zerop256_modn_load_n+2