BDC Small Business Week · Oct. 21, 1 pm ET · Online session: host a node of a tokenless ledger → RegisterSemaine de la PME de BDC · 21 oct., 13 h · Séance en ligne : hébergez un nœud du registre → S'inscrire

Your encryption has an expiry date.
Protect your traffic while you migrate.

Votre chiffrement a une date d'expiration.
Protégez vos échanges pendant que vous migrez.

Secure the access path this quarter for the cost of one component per site, and migrate the rest at your own pace, without depending on the attacker.

PQTG is a post-quantum gateway that sits in front of the key distribution, HSM and API interfaces you already use. Nothing downstream changes. Free software, written in Rust; its post-quantum cryptography contains no C and has been tested on real quantum key distribution equipment.Sécurisez le chemin d'accès ce trimestre pour le prix d'un composant par site, et migrez le reste à votre rythme, sans dépendre de l'attaquant.

PQTG est une passerelle post-quantique qui se place devant les interfaces de distribution de clés, HSM et API que vous utilisez déjà. Rien ne change en aval. Logiciel libre, écrit en Rust ; sa cryptographie post-quantique est exempte de C et a été testée sur de vrais équipements de distribution quantique de clés.

Oct. 21: host a node →21 oct. : hébergez un nœud → Order PQTG 1U →Commander le PQTG 1U → Get your free scan →Analyse gratuite →
Published onPublié sur
Zenodo crates.io PyPI HuggingFace GitHub
NewsActualités
Oct. 1, 2026 · Ottawa1er oct. 2026 · Ottawa

Panelist at the Ottawa Web3 x Blockchain SummitPanelliste au Ottawa Web3 x Blockchain Summit

Hub350, Kanata North. Panel moderated by Prof. Michel Barbeau, Carleton School of Computer Science.Hub350, Kanata Nord. Panel animé par le professeur Michel Barbeau, École d'informatique de Carleton.
Oct. 21, 2026 · Online21 oct. 2026 · En ligne

BDC Small Business Week: host a nodeSemaine de la PME de BDC : hébergez un nœud

A 45-minute session on a tokenless ledger hosted by its members. Free.Une séance de 45 minutes sur un registre sans jeton, hébergé par ses membres. Gratuit.
Sept. 29, 2026 · Europe29 sept. 2026 · Europe

QURECA becomes our European partnerQURECA devient notre partenaire européen

Bringing the post-quantum transport gateway to Europe's quantum-safe ecosystem.Pour porter la passerelle post-quantique vers l'écosystème européen.
Architecture
Securing the trust chain from wire to decision.Sécuriser la chaîne de confiance du fil au décideur.

One integrated architecture. Five layers. You deploy what you need.Une architecture intégrée. Cinq couches. Vous déployez ce dont vous avez besoin.

PQ

PQTG — Transport GatewayPQTG — Passerelle de transport

The post-quantum gateway that hardens the classical channel delivering your QKD keys (ETSI GS QKD 014). Device-agnostic, standards-based, written in Rust. Exercised in interoperability testing against two commercial key delivery systems. Also runs as a post-quantum reverse proxy in front of any TCP service.La passerelle post-quantique qui sécurise le canal classique livrant vos clés QKD (ETSI GS QKD 014). Agnostique aux appareils, basée sur les normes, écrite en Rust. Exercée en essais d'interopérabilité contre deux systèmes commerciaux de livraison de clés. Fonctionne aussi comme mandataire inverse post-quantique devant tout service TCP.

  • Hardens ETSI-014 key delivery
  • Tested against two commercial key delivery systems
  • Reverse proxy for any TCP service, including a blockchain node's RPC
  • ML-KEM + Falcon / SPHINCS+
  • Runs as software or 1U appliance
  • Next: gateway plus a lightweight, non-voting ledger node in one box (in development)
  • Also: QSSH & QSSL drop-in PQ transport
  • Sécurise la livraison de clés ETSI-014
  • Essayée contre deux systèmes commerciaux de livraison de clés
  • Mandataire inverse pour tout service TCP, y compris le RPC d'un nœud de registre
  • ML-KEM + Falcon / SPHINCS+
  • En logiciel ou en appareil 1U
  • À venir : passerelle et nœud léger non votant dans un même boîtier (en développement)
  • Aussi : QSSH et QSSL, transport PQ direct
Validated on hardwareValidé sur matériel
AL

Attestation LayerCouche d'attestation

The trust chain continues past the wire. Coherence Shield sits between your platform and any LLM, capturing each decision — the answer plus its evidence and reasoning — as a post-quantum-signed, independently verifiable audit trail. Prove exactly what the AI recommended, and that the record wasn't altered.La chaîne de confiance continue au-delà du fil. Coherence Shield se place entre votre plateforme et n'importe quel LLM, capturant chaque décision — la réponse ainsi que ses preuves et son raisonnement — comme une piste d'audit signée post-quantique et vérifiable indépendamment. Prouvez exactement ce que l'IA a recommandé, et que l'enregistrement n'a pas été altéré.

  • Coherence Shield — OpenAI-compatible proxy
  • Signed evidence-and-reasoning audit trail
  • Falcon-512 post-quantum signatures
  • Tamper-evident, anchored on QuantumHarmony
  • Preregistered hallucination measurement
  • Coherence Shield — proxy compatible OpenAI
  • Piste d'audit signée (preuves et raisonnement)
  • Signatures post-quantiques Falcon-512
  • Infalsifiable, ancrée sur QuantumHarmony
  • Mesure préenregistrée des hallucinations
DeployedDéployé
IL

Inference LayerCouche d'inférence

Lightweight AI that runs at the edge. Ternary quantization, toroidal attention, and spectral filtering — 20x model compression, CPU-native, no cloud required.IA légère qui fonctionne en périphérie. Quantification ternaire, attention toroïdale et filtrage spectral — compression 20x, natif CPU, sans infonuagique.

  • SMDR — Sparse Meta Distributed Representations
  • 1.5 J per query (1300x more efficient than cloud)
  • Runs on battery-powered field hardware
  • Hallucination-resistant by design
  • Air-gappable, zero outbound traffic
  • SMDR — Représentations méta distribuées clairsemées
  • 1,5 J par requête (1300x plus efficace que l'infonuagique)
  • Fonctionne sur du matériel de terrain alimenté par batterie
  • Résistant aux hallucinations par conception
  • Isolable, zéro trafic sortant
Active R&DR&D active
CL

Consensus LayerCouche de consensus

QuantumHarmony — a permissioned post-quantum Layer 1 enterprise blockchain, purpose-built for attestation. Byzantine fault tolerant, with a machine-checked finality-safety proof. The immutable backbone behind every Paraxiom product.QuantumHarmony — une chaîne d'entreprise L1 post-quantique, permissionnée, conçue pour l'attestation. Tolérance aux fautes byzantines, avec preuve de sûreté de finalité vérifiée par machine. L'épine dorsale immuable de chaque produit Paraxiom.

  • SPHINCS+ post-quantum signatures
  • BFT finality — machine-checked safety proof (Lean 4)
  • Permissioned enterprise validators
  • Coherence attestation (research layer, Bell-witness based)
  • On-chain notarization & smart contracts
  • Signatures post-quantiques SPHINCS+
  • Finalité BFT — preuve de sûreté vérifiée par machine (Lean 4)
  • Validateurs d'entreprise permissionnés
  • Attestation de cohérence (couche recherche, témoin de Bell)
  • Notarisation on-chain et contrats intelligents
Live NetworkRéseau en ligne
AP

Application LayerCouche applicative

Drista — post-quantum encrypted field communications. Triple Ratchet forward secrecy, zero-knowledge message verification, designed for contested environments.Drista — communications de terrain chiffrées post-quantiques. Confidentialité persistante par Triple Ratchet, vérification de messages sans divulgation, conçu pour les environnements contestés.

  • ML-KEM-1024 key exchange
  • PQ Triple Ratchet protocol
  • STARK zero-knowledge proofs
  • Forward secrecy on device capture
  • Runs on standard mobile devices
  • Échange de clés ML-KEM-1024
  • Protocole PQ Triple Ratchet
  • Preuves sans divulgation STARK
  • Confidentialité persistante en cas de capture
  • Fonctionne sur appareils mobiles standard
CompleteComplété
HardwareMatériel
From the desk to the full rack.Du bureau à la baie complète.

The same gateway and the same node, sized to your setup. PQTG 1U is open for orders now. The other formats are in development: write to us for a trial.La même passerelle et le même nœud, à la taille de votre installation. Le PQTG 1U se commande dès maintenant. Les autres formats sont en développement : écrivez-nous pour un essai.

PQTG Edge

PQTG EdgePQTG Edge

Desk enclosure, one card. The gateway for an office or a small site.Boîtier de bureau, une carte. La passerelle pour un bureau ou un petit site.

ConceptConcept
PQTG Node 1U

PQTG Node 1UPQTG Node 1U

1U rack unit, two cards. The gateway plus a QuantumHarmony node, federated learning and small-model inference.Rack 1U, deux cartes. La passerelle plus un nœud QuantumHarmony, l'apprentissage fédéré et l'inférence de petits modèles.

In developmentEn développement
NationTech rack

NationTech rackBaie NationTech

A full rack, deployed and operated in Québec by our partner NationTech.Une baie complète, déployée et opérée au Québec par notre partenaire NationTech.

On requestSur demande

Renderings. A node can also run on your own machine with Docker.Images de synthèse. Un nœud peut aussi tourner sur votre propre machine, avec Docker.

How It WorksComment ça fonctionne
Discover. Harden. Verify.Découvrir. Sécuriser. Vérifier.

PQTG drops in front of your QKD key-delivery endpoint. No changes to the quantum hardware.PQTG se place devant votre point de livraison de clés QKD. Aucune modification du matériel quantique.

Discover the channelDécouvrir le canal

Point PQTG at your ETSI-014 key-delivery endpoint. It maps how keys are being served today — and where classical TLS leaves you exposed to harvest-now-decrypt-later.Dirigez PQTG vers votre point de livraison de clés ETSI-014. Il cartographie la façon dont les clés sont servies — et où le TLS classique vous expose au « récolter maintenant, déchiffrer plus tard ».

Harden the deliverySécuriser la livraison

PQTG wraps the key-delivery channel in post-quantum crypto (ML-KEM + Falcon / SPHINCS+). Device-agnostic and transparent — your KMS and applications don't change.PQTG enveloppe le canal de livraison de clés dans une cryptographie post-quantique (ML-KEM + Falcon / SPHINCS+). Agnostique et transparent — votre KMS et vos applications ne changent pas.

Verify & attestVérifier et attester

Each hardened exchange can be signed and recorded on QuantumHarmony — a tamper-evident, independently verifiable record that the channel was quantum-safe when the key was delivered.Chaque échange sécurisé peut être signé et enregistré sur QuantumHarmony — une trace infalsifiable et vérifiable indépendamment attestant que le canal était sûr au moment de la livraison de la clé.

Trust ArchitectureArchitecture de confiance
Safe. Verified. Quantum-ready.Sûr. Vérifié. Prêt pour le quantique.

Core components carry machine-checked proofs of the properties we state, against specified models — and we say precisely what is proven and what isn't.Les composants critiques portent des preuves vérifiées par machine des propriétés que nous énonçons, dans des modèles spécifiés — et nous disons précisément ce qui est prouvé et ce qui ne l'est pas.

Machine-Checked ProofsPreuves vérifiées par machine

Critical components carry machine-checked Lean 4 proofs of functional correctness against the FIPS specifications and stated protocol invariants — 940+ theorems, zero unproven assertions. Proofs guarantee exactly what they state, no more: a level of rigor rare in the field, honestly scoped.Les composants critiques portent des preuves Lean 4 vérifiées par machine de leur correction fonctionnelle face aux spécifications FIPS et aux invariants de protocole énoncés — plus de 940 théorèmes, zéro assertion non prouvée. Une preuve garantit exactement ce qu'elle énonce, rien de plus : une rigueur rare dans le domaine, honnêtement délimitée.

Post-Quantum SecuritySécurité post-quantique

All cryptography uses NIST-approved post-quantum algorithms. Your audit trail, signatures, and encryption survive the arrival of quantum computers. Patent-free.Toute la cryptographie utilise des algorithmes post-quantiques approuvés par le NIST. Votre piste d'audit, vos signatures et votre chiffrement survivent à l'arrivée des ordinateurs quantiques. Sans brevet.

On-Chain AttestationAttestation sur la chaîne

Records are Falcon-512 signed and anchored on QuantumHarmony — a post-quantum L1 with a machine-checked finality-safety proof. No classical crypto to break. The audit trail survives quantum computers.Les enregistrements sont signés Falcon-512 et ancrés sur QuantumHarmony — un L1 post-quantique avec preuve de sûreté de finalité vérifiée par machine. Aucune crypto classique à casser. La piste d'audit survit aux ordinateurs quantiques.

Solutions
Built for regulated industries.Conçu pour les industries réglementées.

Where quantum-safe trust can't be optional.Là où la confiance résistante au quantique n'est pas optionnelle.

Σ

Financial ServicesServices financiers

Auditable AI for banking, insurance, and capital markets compliance.IA auditable pour la conformité bancaire, en assurance et sur les marchés de capitaux.

Δ

Government & DefenceGouvernement et défense

Sovereign AI infrastructure aligned with national defence strategies.Infrastructure IA souveraine alignée sur les stratégies de défense nationale.

Ω

HealthcareSanté

Verifiable AI outputs for clinical decision support and diagnostics.Sorties d'IA vérifiables pour l'aide à la décision clinique et les diagnostics.

Λ

Legal & NotarialJuridique et notarial

Quantum-safe document attestation and chain-of-custody proofs.Attestation de documents résistante au quantique et preuves de chaîne de possession.

AboutÀ propos
Founded in 2023. Built in Montréal.Fondée en 2023. Construite à Montréal.

Paraxiom Technologies Inc. builds sovereign post-quantum trust infrastructure for Canada and its allies. 20+ years of engineering at the intersection of mathematics and systems. 940+ machine-checked Lean 4 theorems, zero unproven assertions. Working systems, validated on real quantum hardware.Paraxiom Technologies Inc. construit une infrastructure de confiance post-quantique souveraine pour le Canada et ses alliés. Plus de 20 ans d'ingénierie à l'intersection des mathématiques et des systèmes. Plus de 940 théorèmes Lean 4 vérifiés par machine, zéro assertion non prouvée. Des systèmes fonctionnels, validés sur du matériel quantique réel.

PartnersPartenaires
Building with the right people.Construire avec les bonnes personnes.

Technology partners, industry collaborators, and ecosystem builders across quantum, AI, and critical infrastructure.Partenaires technologiques, collaborateurs industriels et bâtisseurs d'écosystème en quantique, IA et infrastructures critiques.

MosaicDM

AI admissibility and governance. Dimensional Intelligence™ enforcement architecture for regulated, high-liability, and mission-critical environments.Admissibilité et gouvernance IA. Architecture d'application Dimensional Intelligence™ pour les environnements réglementés, à haute responsabilité et critiques.

United StatesÉtats-Unis

V.I.A. Solutions

Independent technical validation. IT project governance, contract compliance verification, and decision traceability for organizations.Validation technique indépendante. Gouvernance de projets TI, vérification de conformité contractuelle et traçabilité décisionnelle.

Portneuf, QuébecPortneuf, Québec

NationTech

Private cloud and micro data centres in Québec, deployed with Harmony, their open source Rust infrastructure framework. Our recommended host for QuantumHarmony nodes in Québec.Infonuagique privée et micro-centres de données au Québec, déployés avec Harmony, leur cadre d'infrastructure libre en Rust. L'hébergeur que nous recommandons pour les nœuds QuantumHarmony au Québec.

Wendake, QuébecWendake, Québec

Mobius Electronic

Electronic product solutions. Hardware design and manufacturing for complex systems, simplified.Solutions de produits électroniques. Conception et fabrication matérielle pour systèmes complexes, simplifiée.

Montreal, QuébecMontréal, Québec

QURECA

European channel partner. Quantum readiness and education; brings Paraxiom's post-quantum transport gateway to Europe's quantum-safe ecosystem.Partenaire européen. Préparation et formation quantiques; porte la passerelle post-quantique de Paraxiom vers l'écosystème européen.

Glasgow, United KingdomGlasgow, Royaume-Uni

Carleton University

Research collaboration with Prof. Michel Barbeau, School of Computer Science. A QuantumHarmony node runs there.Collaboration de recherche avec le professeur Michel Barbeau, École d'informatique. Un nœud QuantumHarmony y tourne.

Ottawa, OntarioOttawa, Ontario

Queen's University Belfast · CSIT

Research collaboration with Dr. Ayesha Khalid on hardware security and side-channel assurance for post-quantum transport.Collaboration de recherche avec la Dre Ayesha Khalid sur la sécurité matérielle et les canaux auxiliaires du transport post-quantique.

Belfast, United KingdomBelfast, Royaume-Uni

École de technologie supérieure

Research collaboration opened in 2026 with Prof. Kaiwen Zhang on attesting contributions and resources.Collaboration de recherche amorcée en 2026 avec le professeur Kaiwen Zhang sur l'attestation des contributions et des ressources.

Montreal, QuébecMontréal, Québec
Member of theMembre du PKI Consortium
PricingTarification
Start free. Scale when ready.Commencez gratuitement. Évoluez quand vous êtes prêt.

Every product is open-source or API-accessible. Enterprise support when you need it.Chaque produit est open-source ou accessible par API. Soutien entreprise quand vous en avez besoin.

Open Source

FreeGratuit

MIT & Apache 2.0 licensedLicence MIT & Apache 2.0
  • QSSH — quantum-safe SSH
  • QSSL — quantum-safe TLS
  • PQ Transport Gateway
  • Drista — PQ encrypted chat
  • QuantumHarmony node
  • Toroidal Logit Bias (inference result retracted, July 2026)
  • All Lean 4 formal proofs
  • QSSH — SSH post-quantique
  • QSSL — TLS post-quantique
  • Passerelle de transport PQ
  • Drista — clavardage chiffré PQ
  • Nœud QuantumHarmony
  • Biais logit toroïdal (résultat à l'inférence retiré, juillet 2026)
  • Toutes les preuves formelles Lean 4
View on GitHubVoir sur GitHub
Hosted APIAPI hébergée

ManagedGéré

Talk to us about a hosted plan.Parlons d'un forfait hébergé.
  • Coherence Shield API
  • TAO Signal data feeds
  • QuantumHarmony attestation
  • PQ-signed audit logs
  • 99.9% uptime SLA
  • API Coherence Shield
  • Flux de données TAO Signal
  • Attestation QuantumHarmony
  • Journaux d'audit signés PQ
  • SLA de disponibilité 99,9 %
Get API AccessObtenir l'accès API
EnterpriseEntreprise

CustomSur mesure

Tailored to your infrastructure.Adapté à votre infrastructure.
  • PQC migration audit & roadmap
  • QKD gateway integration (PQTG)
  • On-prem PQ infrastructure
  • Custom Lean 4 verification
  • Private blockchain deployment
  • Audit de migration PQC et feuille de route
  • Intégration passerelle QKD (PQTG)
  • Infrastructure PQ sur site
  • Vérification Lean 4 sur mesure
  • Déploiement de chaîne de blocs privée
Contact UsContactez-nous
Open Source
Built in the open.Construit au grand jour.

45+ repositories, 18 publications on Zenodo, 940+ machine-checked Lean 4 theorems.Plus de 45 dépôts, 18 publications sur Zenodo, plus de 940 théorèmes Lean 4 vérifiés par machine.

QuantumHarmony

Post-quantum L1 blockchain. SPHINCS+ signatures, BFT finality with machine-checked safety proof, 950 tests.

Rust Lean 4

QSSH

Quantum-safe SSH replacement. Falcon + SPHINCS+ + ML-KEM, QKD-compatible. 132 tests.

Rust Lean 4

QSSL

Patent-free post-quantum TLS. 12 cipher suites, 100 formal theorems. 40 tests.

Rust Lean 4

PQ Transport Gateway

Post-quantum networking gateway. Transparent PQ upgrade for existing infrastructure.

Rust

toroidal-noise

Quantum noise channels with density matrix simulation. Spectral gap dephasing. 31 tests.

crates.io

pennylane-toroidal-noise

PennyLane plugin for toroidal dephasing channels. Gradient-compatible. 15 tests.

PyPI

Publications

Peer-reviewed research on Zenodo. All defensively published as prior art.Recherche évaluée par les pairs sur Zenodo. Toutes publiées défensivement comme art antérieur.

TitleYearDOI
549 Lean 4 Theorems — Formal Verification Across 7 PQ Systems 2026 10.5281/zenodo.14805498
Toroidal Geometry of LLM Representations (training-time gains in-sample only; null on held-out data, July 2026; corrected v2: 10.5281/zenodo.21227351) 2026 10.5281/zenodo.18746144 (corrected v2: 10.5281/zenodo.21227351)
Toroidal Logit Bias — Multi-Model TruthfulQA (retracted July 2026: the inference-time effect did not replicate in a preregistered study, see 10.5281/zenodo.21206458) 2026 10.5281/zenodo.18516477 (retracted, see 10.5281/zenodo.21206458)
Defensive Technical Disclosure — 4 Embodiments 2026 10.5281/zenodo.18595753
Topological Coherence — Toroidal Mesh for Consensus & ML 2025 10.5281/zenodo.14805498
EngageEngagement
Start with an audit. Harden with PQTG.Commencez par un audit. Sécurisez avec PQTG.

A fixed-fee PQC migration audit maps your quantum-vulnerable crypto and hands you a prioritized roadmap. From there, PQTG hardens the highest-risk channels — software first, appliance when you need it.Un audit de migration PQC à prix fixe cartographie votre cryptographie vulnérable au quantique et vous remet une feuille de route priorisée. Ensuite, PQTG sécurise les canaux les plus à risque — en logiciel d'abord, en appareil au besoin.

PQC Migration AuditAudit de migration PQC

We inventory your cryptography end-to-end — TLS, SSH, VPN, and QKD key delivery — flag every quantum-vulnerable channel, and deliver a prioritized, standards-aligned migration roadmap. Fixed fee, no product commitment.Nous inventorions votre cryptographie de bout en bout — TLS, SSH, VPN et livraison de clés QKD — signalons chaque canal vulnérable au quantique, et livrons une feuille de route priorisée et conforme aux normes. Prix fixe, sans engagement produit.

PQTG PilotPilote PQTG

PQTG deploys as software in front of your highest-risk channel — one QKD link or key-delivery endpoint. Measured, reversible, transparent to your KMS and applications; no hardware to swap.PQTG se déploie en logiciel devant votre canal le plus à risque — un lien QKD ou un point de livraison de clés. Mesuré, réversible, transparent pour votre KMS et vos applications; aucun matériel à remplacer.

Scale & AttestÉtendre et attester

Roll to production across channels, or drop in the 1U appliance. On-chain attestation on QuantumHarmony is available when you want a verifiable record of what was hardened, and when.Passez en production sur tous les canaux, ou installez l'appareil 1U. L'attestation sur la chaîne QuantumHarmony est disponible pour une trace vérifiable de ce qui a été sécurisé, et quand.

Close the gap behind
your quantum keys.Comblez l'écart derrière
vos clés quantiques.

Book a PQTG pilot on your QKD link as software today, or order the 1U appliance now.Réservez un pilote PQTG sur votre lien QKD en logiciel dès aujourd'hui, ou commandez l'appareil 1U dès maintenant.

Book a PilotRéserver un pilote See PQTG →Voir PQTG →