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.

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

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

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

Polaris is a credential-verification engine built for the moment trust is tested: issuer-unlinkable, duress-aware, and designed to evolve with cryptography. Credentials use ML-DSA-65, zero-knowledge verification leaves no token identifier behind, and an audited migration path keeps security adaptable against classical and quantum attacks.

NIST ML-DSA-87 (FIPS 204) verification API with signed, independently-checkable attestations — a post-quantum checkpoint institutions can add to existing custody flows, no migration.