[kzrdude]

Is djb involved in any of the standardized algorithms here by the way?

[markschultz]

Yes, many. I believe he's on the SPHINCS+ team (was standardized), Classic McCliece (round 3, not standardized), and NTRU_PRIME (round 3, passed over for Kyber). Perhaps more, but he has significant skin in the game.