On the Dashboard the WAN has my public IPv4 address, but shows a local IPv6 address starting fe80:: is that correct? I thought the WAN should get a public IPv6 address? The IPv6 gateway also starts fe80::
What you see is correct. The way Cerberus handle IPv6 is to use an "unnumbered" link between your router and their BRAS - no public IPs are assigned. They could have allocated a separate subnet for this link - some providers give you an extra /64 or a /127 - but they don't. This gives you the whole /56 to use as you like, and avoids them the work of having to allocate addresses for the point-to-point link.
(fe80:: addresses are "link local" - only having local significance, i.e. usable only between peers on the same link, not routable across the Internet. They are assigned automatically by the devices themselves, embedding their MAC address to ensure uniqueness)
LAN1 is allocated an IP address of 2a01:5d00:abcd:ff00.xxxx.xxxx.xxxx.xxxx and clients on the LAN are being allocated addresses starting 2a01:5d00:abcd:ff00. Now I thought the WAN side should take the first subnet of 2a01:5d00:abcd:ff00 and the LAN would get 2a01:5d00:abcd:ff01.
I have configured my router statically, so I don't have experience of how Cerberus have configured DHCP service on their side. But what I suspect is they provide DHCP for "prefix delegation" (i.e. for the router to fetch a subnet for its LAN side) without DHCP for assigning the WAN IPv6 address.
You are free to statically allocate any address out of your /56 to your WAN side if you wish. For example, you could give your router 2a01:5d00:abcd:ff00::1 (and this can be the same as its address on the LAN side). This may make it easier for the router to make outbound connections to the Internet - e.g. for outbound pings or fetching firmware updates. However it may still work without this - e.g. the router may be smart enough to use its LAN address as source IP for connections, when its WAN address is link-local.
In the pfSense GUI, try checking for firmware updates. If it says that your software is up-to-date, then it's happily making outbound connections - although in all likelihood it's just using IPv4 for this. Or try pinging 2001:4860:4860::8888 from the pfSense CLI.
If you want to make
inbound connections to your pfSense box - e.g. to manage it over the Internet - then you should be able to do this using its LAN address. However, pfSense blocks management access from the WAN side anyway unless you tick an option.
Edited by candlerb (Mon 30-Dec-19 09:34:22)