O protocolo de internet que utiliza a representação de endereços em formato hexadecimal, com 8 grupos de 4 dígitos separados por dois-pontos, permitindo compressão de zeros consecutivos, é denominado: