[Verse 1] In the quantum age we need protection strong Classical signatures won't last for long ML-DSA rises with lattice-based design FIPS two-oh-four keeps our data signed [Chorus] Generate, verify, the math runs deep Module lattices help our secrets keep Hash and sample, compress the key Dilithium's power sets us free ML-DSA, ML-DSA Quantum-safe signatures are here to stay [Verse 2] Start with matrices A and secret vectors s and t Public key is A times s plus e, that's the recipe Private key holds s and t in memory secure While the hint vector helps verification endure [Chorus] Generate, verify, the math runs deep Module lattices help our secrets keep Hash and sample, compress the key Dilithium's power sets us free ML-DSA, ML-DSA Quantum-safe signatures are here to stay [Verse 3] To sign a message, hash it with your key Sample a vector y uniformly free Compute w equals A times y reduced Check the challenge c can be produced [Bridge] Rejection sampling keeps the noise controlled If infinity norm's too high, restart and hold The signature pair z and h together prove That only you could make this valid move [Verse 4] Verification takes the public data A and t Hash the message with w-prime you see Recompute the challenge from the hint If equations match, the signature's mint [Chorus] Generate, verify, the math runs deep Module lattices help our secrets keep Hash and sample, compress the key Dilithium's power sets us free ML-DSA, ML-DSA Quantum-safe signatures are here to stay [Outro] When quantum computers break RSA down ML-DSA will wear the crypto crown Lattice problems keep us quantum-safe Module learning protects the human race
← ML-KEM Key Encapsulation (FIPS 203) | Hash-Based Signatures SLH-DSA (FIPS 205) →