qssl 0.2.0

Pure Rust post-quantum TLS — zero C code. ML-KEM, ML-DSA, SLH-DSA, Falcon. FIPS 203/204/205/206 compliant. 100 Lean 4 theorems.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

-- QSSLProofs: Lean 4 formal verification of qssl cryptographic properties
-- Tier 3 verification (Kani → Verus → Lean 4)

import QSSLProofs.MLKem
import QSSLProofs.Falcon
import QSSLProofs.SphincsHaraka
import QSSLProofs.KDF
import QSSLProofs.QuantumFrame
import QSSLProofs.TLSRecord
import QSSLProofs.CipherSuite
import QSSLProofs.HybridKEM