fips-204

Python and TypeScript SDKs for verifiable evidence of AI agent actions. Signed receipts, policy enforcement, audit trails. Works with LangChain, CrewAI, MCP.

Auditable & minimal JS implementation of public-key post-quantum cryptography

Quantova's client core for JavaScript and WebAssembly. Post quantum signing and Q1 addresses, generated over the Rust core.

A pure python implementation of ML-DSA (FIPS 204) and CRYSTALS-Dilithium

A curated list of PQC (Post Quantum Cryptography) resources

Quantova's client core for Python. Post quantum signing and Q1 addresses, generated over the Rust core.

The Quantova client core in Rust. Post quantum keys, ML-DSA and SLH-DSA signing, and every gateway request built here.

Production & research-grade Post-Quantum KEM Double Ratchet protocol (FIPS 203 ML-KEM-768 + FIPS 204 ML-DSA-65). Resilient against Harvest-Now-Decrypt-Later FTQC attacks

Ratify Protocol™. Open cryptographic protocol for delegated authority: prove an AI agent is authorized to act on another party's behalf, verifiable offline. Hybrid Ed25519 + ML-DSA-65 (FIPS 204). SDKs in Go, TypeScript, Python, Rust, and C.

Post‑quantum ML‑DSA explained with simple Python demos (RSA included) — EN/FA

Static auditor estimating post-quantum (PQC) migration effort for Java codebases: detects quantum-vulnerable JCA usage and structural fragility, with a runtime crypto-agility layer

Cryptographic receipts that prove an AI output was not altered. Offline verification in 21 lines, no server or account. Ed25519 + SHA-256, 128-byte Rust core, optional ML-DSA-65 post-quantum signatures. Python and Rust.

Self-hosted post-quantum cryptography suite across 18 lockstep packages: FIPS 203 ML-KEM, FIPS 204 ML-DSA, Fastify CaaS daemon, multi-cloud KMS interface, database field encryption, and CycloneDX CBOM with 100% test coverage floor. 🔐

Post-quantum cryptography tooling for Rust and TypeScript. Key encoding, JWK, PEM, DER, JWS, certificates, and more — built on NIST-standardized algorithms.

Pure-Dart post-quantum cryptography for Dart and Flutter: zero-dependency FIPS 202, ML-KEM (FIPS 203), ML-DSA (FIPS 204) and SLH-DSA (FIPS 205) with checked-in KATs & ACVP test Corpus & OpenSSL/liboqs interop evidence.

Capacitor plugin for hardware-backed post-quantum crypto and secure storage on iOS and Android

The frozen cryptographic kernel of the AXM protocol. Signed, content-addressed knowledge shards with post-quantum signatures (ML-DSA-44) and mechanically enforced non-selective recording. The gold shard is the definition of correctness.

Polaris ID: identity infrastructure built to be checked, not trusted.

Reproducible refinement proof for unmodified PQClean ML-DSA reference C (reduce.c + forward NTT): fixed-width C -> Cryptol -> Isabelle -> FIPS 204, via a SAW + Cryptol + Isabelle pipeline.

A hybrid cryptography engine unifying classical and post-quantum algorithms — RSA, ECDSA, AES-GCM, ML-KEM (FIPS 203), ML-DSA (FIPS 204).