Colloquium: The ideal class group action for post-quantum cryptography (5/2/2025)