nx_ed25519_arith_test.nx
buildroot/runtime/nx_ed25519_arith_test.nx
about
nx_ed25519_arith_test.nx -- KAT for Edwards-curve arithmetic.
Verifies:
A. Identity point (0, 1, 1, 0) compresses to canonical y=1,
sign-x=0 encoding (byte 0 = 0x01, all others 0)
B. P + (-P) == identity (via compressed equality)
C. P + identity == P (identity is the additive neutral)
D. double(B) == B + B (where B = Ed25519 basepoint)
E. double(B) is on the curve
F. Triple via add(double(B), B) == B + B + B (associativity check)
G. Compress(decompress(B_bytes)) == B_bytes (round-trip via the
basepoint canonical encoding 5866...66)
expect_exit: 0
license_tier: ORIGINAL
dependencies 5 imports · 0 importers
imports: nx_syscalls.nxnx_x25519.nxnx_ed25519_field.nxnx_ed25519_point.nxnx_ed25519_arith.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
| 23 | func main() -> i64 |