Qual é o IPv6 público correto `::1` ou `::/80` ou `::`

E eu li que ::1 é o loopback local.

Bem, sim, mas precisamente::1 é loopback local – isso não é uma abreviatura, é na verdade o endereço completo (que está 0:0:0:0:0:0:0:1completo).

Não se aplica a outros endereços que terminam com "[…]::1", portanto o seu 2a00:da10:f218:9ff0::1não é ::1e, portanto, não é loopback – é um endereço global normal.

Mas a exibição pública que recebi do provedor mostra: 2a00:da10:f218:9ff0::/80

Ele mostra uma rede – um intervalo de endereços, não um único endereço. O /80tem o mesmo significado que no IPv4; é uma forma abreviada de escrever a máscara de sub-rede e indica o tamanho da rede (o início-fim do intervalo pode ser determinado a partir dela).

Seu /80 é, portanto, um intervalo de 2a00:da10:f218:9ff0::(também conhecido como, 2a00:da10:f218:9ff0:0:0:0:0se você quiser) a 2a00:da10:f218:9ff0:0:ffff:ffff:ffff.

Para efeito de comparação, o equivalente IPv4 para sua LAN doméstica seria 192.168.1.0/24.

Qual é a sintaxe correta para implementar este endereço em locais como DNS etc.

O 2a00:da10:f218:9ff0::1endereço que você recebeu é aquele que você deve usar no DNS.

A menos, é claro, que você configure o servidor para ter endereços adicionais do intervalo fornecido – então você também poderá usá-los no DNS.

(O /80 inteiro está disponível para seu uso, embora o endereço com todos os zeros deva ser evitado, pois coincide com o endereço especial normalmente reservado para 'roteadores de sub-rede anycast'.)