Show HN: Sixup – IPv6 routing in one binary, replaces odhcp6c/radvd/odhcpd/ndppd
github.com
github.com
Note that RFC 7278 doesn't prescribe ND proxy use for the mobile network case. Mobile networks provide the /64 over a point-to-point interface, so they can simply put the /64 and their own address on the LAN interface and it'll work fine, as described in the examples at the end of the RFC.
You're right about RFC 7278, I misread it. It only describes a routed setup, moving the /64 to the LAN. So on point-to-point WANs I'll do exactly that, and use ND proxy only when the /64 is on-link on a broadcast WAN.
Things are improving, though. In Japan, NTT's newer 10G service delegates a /56 by default; only the older 1G service without a phone subscription is stuck with a single /64.