Covers ML-DSA, formerly CRYSTALS-Dilithium, including Fiat–Shamir with aborts, sampling, hints, verification, and parameter sets. Exercises sign and verify artifacts while checking encoding and failure handling.