nx_ed25519_field_test.nx
buildroot/runtime/nx_ed25519_field_test.nx
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
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
structs
| none |
consts
| none |
functions
| 17 | func main() -> i64 |