High-performance, constant-time, cryptography-grade number theory library for ClockCurve ecosystem
Decentralised data- and message encryption for groups with post-compromise security and optional forward secrecy
Lightweight identity-free attestation protocol
Allocation-locked Vec that guarantees no reallocation after sealing
High-security web browser implementing 7-layer onion routing architecture with cryptographic anonymity guarantees
Authenticated and encrypted API tokens
High-performance async network encryption library featuring XChaCha20-Poly1305, type-safe protocol DSL, and zero-copy packet streaming for secure communication channels
no_std compatible implementation of Noise protocol framework with Post-Quantum extensions
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Systematic encryption-at-rest for in-memory sensitive data in Rust
AEGIS-128L and XChaCha20-Poly1305 AEAD with zeroization
aarch64 assembly AEGIS-128L AEAD implementation