q
SIGMA zero-knowledge proof protocols
Quantum-Shield File System (QSFS) - Complete post-quantum file encryption library and CLI tools with ML-KEM-1024 and ML-DSA-87
NTT/INTT Custom Gadget for Dilithium (ML-DSA-65) verification in SP1 zkVM with 60-bit soundness PIC
Anytime-Valid Quantum Kernel Coherence Monitor (AV-QKCM) - Sequential MMD testing with e-values for quantum syndrome distribution drift detection
A dependency-free physics toolkit for Rust.
Library for the design, simulation and validation of quantum cryptographic protocols
Implementation of the STARK ZK-proof system
Formal invariants, reductions, and hardness gates for QSSM Engine A/B binding.
Operations for Next-generation Quantum computing
Kiran — AI-native game engine for AGNOS
Post-quantum PASETO tokens with RFC-compliant footer authentication using ML-DSA signatures