code wiki / x25519

topic: x25519

9 modules sharing the x25519 name family (derived from the tree's prefix discipline).

The x25519 topic family implements the X25519 elliptic curve Diffie-Hellman key exchange as defined in RFC 7748, providing secure key agreement across the Nishi sovereign ecosystem. The nx_x25519 module forms the core implementation of the curve, while nx_x25519_extvec_gate ensures provable third-party validation of extended vector claims. nx_x25519_kat_gate offers rigorous key agreement testing, verifying correctness against standardized test vectors. These modules collectively support robust, verified cryptographic operations for secure communication within 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
nx_x25519.nxBernstein's Curve25519 X25519 (RFC 7748).54117
nx_x25519_ephemeral.nxephemeral keypair helper for X25519 ECDH.926
nx_x25519_extvec_gate.nxTHE FIRST PROVABLY THIRD-PARTY-VALIDATED CLAIM.19810
nx_x25519_kat_gate.nxRIGOROUS standing KAT for X25519 (RFC 7748). Supersedes the compile-only smoke1117
nx_x25519_test.nxRFC 7748 ยง5.2 X25519 KAT.1451
nx_x25519_wasm.nxCurve25519 ECDH (RFC 7748) for WAT target.55113
nx_x25519_wasm_vm_gate.nxKAT-verify the E2E chat's KEY AGREEMENT primitive: run the shipped nx_x25519.wasm in631
x25519.nxBernstein's Curve25519 X25519 (RFC 7748). 48516
x25519_ephemeral.nxephemeral keypair helper for X25519 ECDH. 826