**From Bor's defense:** re-randomizable -> worst-case hardness == average-case hardness! *Men* har ikke en [[Search-to-decision]] reduction, så har strukturen til [[Gap problems]]. Kan så vidt jeg skjønner abstraheres til [[Abelian Group Actions]], som ser ut til å ha blitt mer populært i det siste (jeg hørte første gangen om det i Luca de Feo sitt tavleforedrag på [[Foundations and Applications of Lattice-based Cryptography]]). Potensielt interessant lesning, for å forstå bedre hvorfor [[Shors algoritme]] faktisk ville *hjulpet* oss med å bruke CSIDH group action: [CSI-FiSh really isn't polynomial-time](https://yx7.cc/blah/2023-04-14.html)