Paraxiom Technologies Inc. is a Montreal-based post-quantum cryptography
company building formally verified security infrastructure for defence,
energy, and government. Our stack includes PQTG (Post-Quantum Transport
Gateway for QKD control channels), qssl (12 PQ cipher suites), Coherence
Shield (AI attestation proxy), and QuantumHarmony (live PQ L1 blockchain
with 27 pallets). 909 Lean 4 theorems, zero unproven hypotheses. DISH
DH01-056 applicant (Canadian DND). Pure Rust, patent-free, sovereign by
design.