code wiki / poly1305
topic: poly1305
11 modules sharing the poly1305 name family (derived from the tree's prefix discipline).
The poly1305 topic family implements Bernstein's Poly1305 MAC as specified in RFC 8439, providing cryptographic authentication for data integrity. The nx_poly1305 module serves as the core implementation, while nx_poly1305_pure offers an architecture-neutral version using arena-based memory. The nx_poly1305_test module validates compliance with RFC 8439's requirements through KAT, ensuring correctness across different platforms.
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.
| module | description | lines | funcs |
|---|---|---|---|
| nx_poly1305.nx | Bernstein's Poly1305 MAC (RFC 8439 variant). | 334 | 5 |
| nx_poly1305_bench.nx | throughput bench for the SCALAR Poly1305 (same verified 5x26-bit-limb code | 91 | 4 |
| nx_poly1305_extvec_gate.nx | FOURTH provably third-party-validated claim: Poly1305 vs RFC 8439 2.5.2. | 194 | 9 |
| nx_poly1305_gate.nx | GATE for the SCALAR Poly1305 reference (the MAC half of the room's | 202 | 8 |
| nx_poly1305_pow_gate.nx | compute + verify the Poly1305 key powers r, r^2, r^3, r^4 (mod 2^130-5), | 152 | 12 |
| nx_poly1305_pure.nx | architecture-neutral Poly1305 (arena-based). | 326 | 7 |
| nx_poly1305_pure_test.nx | RV64 KAT for nx_poly1305_pure.nx. | 47 | 1 |
| nx_poly1305_test.nx | RFC 8439 §2.5.2 KAT for Poly1305. | 89 | 1 |
| nx_poly1305_tput_probe.nx | measure Nishi Poly1305 MAC throughput in | 44 | 3 |
| nx_poly1305_wasm.nx | Poly1305 MAC (RFC 7539 §2.5) for WAT target. | 323 | 6 |
| poly1305.nx | Bernstein's Poly1305 MAC (RFC 8439 variant). | 288 | 5 |