code wiki / ed25519

topic: ed25519

17 modules sharing the ed25519 name family (derived from the tree's prefix discipline).

The ed25519 topic family in the Nishi sovereign ecosystem provides cryptographic tools for secure Ed25519 signature operations, aligning with RFC 8032 standards. It includes modules like _ed25519_ct_gate for constant-time scalar multiplication, _ed25519_rfc8032_kat for test vector validation, and nx_ed25519_arith for elliptic curve arithmetic, ensuring correctness and security across the ecosystem.

auto-narrated by the local model from this topic's module headers; links verified against the wiki index.

narrated overview -- maintained by the narration lane, module links verified against this wiki.

moduledescriptionlinesfuncs
_ed25519_ct_gate.nxconstant-time gate for SEC-CT-002 (ed25519-scalarmul-constant-time).805
_ed25519_rfc8032_kat.nx_ed25519_rfc8032_kat.nx — RFC 8032 §7.1 TEST 1 KAT for Ed25519.876
_ed25519_sign_verify_smoke.nx_ed25519_sign_verify_smoke.nx — SITES-LIVE 2026-05-27 isolation411
ed25519.nxEd25519 signature verification (RFC 8032). 1995
nx_ed25519.nxEd25519 signature verification (RFC 8032). 2255
nx_ed25519_arith.nxEdwards-curve point arithmetic (RFC 8032).2357
nx_ed25519_arith_test.nxKAT for Edwards-curve arithmetic.1101
nx_ed25519_extvec_gate.nxSECOND provably third-party-validated claim: Ed25519 vs RFC 8032 7.1.2019
nx_ed25519_field.nxEd25519-specific extensions to the shared1998
nx_ed25519_field_test.nxKAT for Ed25519 field primitives.1061
nx_ed25519_point.nxEdwards-curve point ops (RFC 8032 §5.1.3 + §6).2454
nx_ed25519_point_test.nxKAT for Edwards-curve point decompression.1101
nx_ed25519_scalar.nxscalar reduction mod L + scalar mul.2285
nx_ed25519_scalar_test.nxKAT for scalar reduction + mul.1531
nx_ed25519_sign_bisect_test.nxbisection diagnostic for the4827
nx_ed25519_signature.nxfinal Ed25519 verify + sign (RFC 8032 §5.1).3668
nx_ed25519_signature_test.nxRFC 8032 §7.1 TEST 1 KAT.1121