code wiki / ed25519
topic: ed25519
16 modules sharing the ed25519 name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| _ed25519_ct_gate.nx | constant-time gate for SEC-CT-002 (ed25519-scalarmul-constant-time). | 80 | 5 |
| _ed25519_rfc8032_kat.nx | _ed25519_rfc8032_kat.nx — RFC 8032 §7.1 TEST 1 KAT for Ed25519. | 87 | 6 |
| _ed25519_sign_verify_smoke.nx | _ed25519_sign_verify_smoke.nx — SITES-LIVE 2026-05-27 isolation | 41 | 1 |
| ed25519.nx | Ed25519 signature verification (RFC 8032). | 199 | 5 |
| nx_ed25519.nx | Ed25519 signature verification (RFC 8032). | 225 | 5 |
| nx_ed25519_arith.nx | Edwards-curve point arithmetic (RFC 8032). | 235 | 7 |
| nx_ed25519_arith_test.nx | KAT for Edwards-curve arithmetic. | 110 | 1 |
| nx_ed25519_field.nx | Ed25519-specific extensions to the shared | 199 | 8 |
| nx_ed25519_field_test.nx | KAT for Ed25519 field primitives. | 106 | 1 |
| nx_ed25519_point.nx | Edwards-curve point ops (RFC 8032 §5.1.3 + §6). | 245 | 4 |
| nx_ed25519_point_test.nx | KAT for Edwards-curve point decompression. | 110 | 1 |
| nx_ed25519_scalar.nx | scalar reduction mod L + scalar mul. | 228 | 5 |
| nx_ed25519_scalar_test.nx | KAT for scalar reduction + mul. | 153 | 1 |
| nx_ed25519_sign_bisect_test.nx | bisection diagnostic for the | 482 | 7 |
| nx_ed25519_signature.nx | final Ed25519 verify + sign (RFC 8032 §5.1). | 366 | 8 |
| nx_ed25519_signature_test.nx | RFC 8032 §7.1 TEST 1 KAT. | 112 | 1 |