Model Hub
Browse PQC-verified AI models, datasets, and tools
PQC-signed neurosymbolic reasoning ledger. Chain-of-thought steps hash-chained in real time during AI inference, Merkle-rooted, ML-DSA-65 signed. Produces legally defensible reasoning trails that survive quantum transition. 11 StepKinds (thought, observation, hypothesis, deduction, retrieval, tool-call, tool-result, self-critique, refinement, decision, meta). 36 tests passing.
PQC Secure Enclave SDK for on-device AI. ML-KEM-768 key encapsulation + AES-256-GCM encrypted model weights, credentials, adapters, biometric templates. Pluggable backends for Apple Secure Enclave, Android StrongBox, Qualcomm QSEE. ML-DSA device attestation for proof of enclave storage. Protects 5+ year HNDL exposure of on-device weights. 32 tests passing.
PQC Byzantine fault-tolerant consensus for federated AI governance. ML-DSA-65 signed proposals and votes, weighted quorum policy (PBFT 2/3+2/3 default), Byzantine double-vote detection, AuthorizationChain with AUTHORIZE/REVOKE semantics. 9 proposal kinds for enterprise AI oversight. Quantum-resistant DAO for distributed AI trust. 38 tests passing.