https://news.ycombinator.com/item?id=21088046
The article is about MPTCP but there is some good discussion of the IP identifier problem in there.
Rekhter’s law (“Addressing can follow topology or topology can follow addressing. Choose one.”)
Also, looks like I need to read up on CurveCP / MinimalT and look at https://ouroboros.rocks/.