code wiki / (root) / nx_ed25519_field_test.nx

nx_ed25519_field_test.nx

buildroot/runtime/nx_ed25519_field_test.nx

3996 B106 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic ed25519
docsdependenciesstructsconstsfunctions

about

nx_ed25519_field_test.nx -- KAT for Ed25519 field primitives. Verifies: A. fe_neg(fe_one) + fe_one canonically encodes to zero B. fe_pow22523(fe_one) canonically encodes to one C. ED25519_SQRT_M1 squared canonically encodes to fe_neg(fe_one) (the defining property of sqrt(-1)) D. ED25519_D bytes match RFC 8032 ยง6 spec byte-exact expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_x25519.nx nx_ed25519_field.nx nx_ed25519_field_test.nx

imports: nx_syscalls.nxnx_x25519.nxnx_ed25519_field.nx

imported by: nobody (leaf or entry point)

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

main fe_alloc nx_scratch nx_scratch_init sys_mmap nx_scratch_oom sys_write sys_exit sys_mmap ↻ fe_one fe_zero fe_neg fe_alloc ↻ fe_zero ↻ fe_sub fe_add fe_zero ↻ fe_canonical_equal sys_mmap ↻ fe_to_bytes nx_scratch_save nx_scratch_init ↻ fe_alloc ↻ fe_copy nx_scratch_restore fe_pow22523 fe_alloc ↻ fe_sq fe_mul fe_mul ↻ ed25519_sqrt_m1_fe sys_mmap ↻ ed25519_sqrt_m1_bytes fe_from_bytes fe_sq ↻ sys_mmap ↻ ed25519_d_bytes ed25519_sqrt_m1_bytes ↻ ed25519_d_fe sys_mmap ↻

structs

none

consts

none

functions

17func main() -> i64
calls 17: fe_allocfe_onefe_negfe_addfe_zerofe_canonical_equal+11