OSIDH is not vulnerable to Kup. algorithms

[GiacomoPope]

Highlighted by Peter on twitter: https://twitter.com/kutasp/status/1565330594824802306
Attack said to be fully exponential in the OSDIH paper: https://eprint.iacr.org/2020/985.pdf

[defeo]

Oh, right. OSIDH is not really based on the oriented vectorization problem as defined in Benjamin's paper. I think an ad-hoc assumption is needed for it.

[GiacomoPope]

Should be fixed with the latest push, but considering that you understand this better than me by magnitudes, maybe have a quick look before I close it.