IP Catalog
ChaCha20-Poly1305
v1.0PRODUCTIONRFC 8439 AEAD with XChaCha extension — tag-before-release discipline, formally proven rounds.
AXI4-Stream
The modern AEAD: ChaCha20-Poly1305 exactly as RFC 8439 specifies it, plus XChaCha for large-nonce designs. The AEAD wrapper enforces tag-before-release — ciphertext is never exposed downstream before the tag verifies — and that discipline is a formal proof, not a code-review note.
Per-primitive testbenches (block, HChaCha, Poly1305, stream, AEAD) run RFC vectors and randomized AEAD round-trips against a golden model.
14
MODULES
3 proofs
FORMAL
RFC 8439
VECTORS
Need this core adapted — different bus, different process, extra features, or verified against your own requirements?
Talk to us about customization