Supersinguläre abelsche Flächen lassen sich jetzt in O(log p) Monte-Carlo verifizieren – ein offenes Problem der Isogenie-Kryptografie 2. Oktober 2026