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.

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

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.

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 cryptography tooling for Rust and TypeScript. Key encoding, JWK, PEM, DER, JWS, certificates, and more — built on NIST-standardized algorithms.

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.

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.

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).

A working reference implementation of a post-quantum, issuer-unlinkable, compulsion-resistant identity-token system.

Post-quantum, zero-knowledge identity verification framework combining NIST FIPS 204 (ML-DSA-65) digital signatures, RFC 8785 hash commitments, and Hyperledger Fabric anchoring.

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

Open-source Python tool auditing organisations' public-facing TLS endpoints and network captures for quantum-vulnerable cryptography. Measures two distinct quantum threats - HNDL (confidentiality) and authentication forgery (certificates) - and scores both. NIST FIPS 203/204/205 mapped. SIEM-ready JSON and CEF output.