I don't think any of these proposals: LISP-NERD, LISP-CONS, eFIT-APT, Ivip, TRRPis capable of "resolving" the IPv4 address depletion problem.