Resumo

  • O IPv4 verificava apenas seu cabeçalho mutável. Cada roteador podia conferir a versão recebida, reduzir o TTL, alterar campos permitidos e deixar um novo checksum, sem prometer que os dados estavam íntegros.
  • TCP e UDP somavam cabeçalho, conteúdo e um pseudocabeçalho formado por fatos IP selecionados. Isso ajudava a detectar entrega incorreta, mas não autenticava remetente, propriedade ou caminho.
  • A aritmética de complemento de um possui zero positivo e negativo. O RFC 1141 podia produzir 0xFFFF quando o recálculo completo produzia 0x0000; o RFC 1624 corrigiu a borda. O IPv6 removeu o checksum do cabeçalho-base, não a responsabilidade das camadas superiores.

Um cabeçalho renovado no caminho

O TTL do IPv4 diminui em cada ponto de processamento. Fragmentação pode mudar comprimento, flags e deslocamento. Algumas opções também alteram o cabeçalho. Portanto, o roteador nem sempre transmite exatamente a estrutura que recebeu.

O RFC 791 define o campo como o complemento de um da soma em complemento de um de todas as palavras de 16 bits do cabeçalho, tratando o próprio campo como zero durante a conta. A cobertura é somente do cabeçalho.

O roteador verifica a entrada, descarta a falha, executa sua mudança legítima e gera o valor correspondente ao novo estado. Não preserva um selo imutável da origem. A afirmação vale para uma versão entre dois pontos de processamento.

O mesmo RFC exclui controle de erro sobre os dados, confirmações e retransmissões. Passar na verificação IPv4 nada diz sobre o payload. O campo protege o material usado pela camada de Internet para decidir o encaminhamento.

Fronteiras diferentes no mesmo pacote

IPv4 soma seu cabeçalho. O RFC 768 inclui no UDP cabeçalho, dados e pseudocabeçalho. O RFC 793 cobre cabeçalho e texto TCP mais um pseudocabeçalho de 96 bits.

Assim, reduzir TTL não obriga o roteador a alterar uma verificação de transporte ponta a ponta. O roteador renova IPv4; os terminais mantêm TCP ou UDP. Um enlace pode ainda proteger sua própria trama, com validade limitada àquela adjacência.

Três verificações aprovadas continuam sendo três alegações finitas. Nenhuma se transforma em certificado de identidade, política ou histórico completo da rota.

O cabeçalho conceitual

UDP inclui endereço de origem, destino, protocolo e comprimento UDP na conta. TCP inclui origem, destino, protocolo e comprimento TCP. Esse pseudocabeçalho não viaja como bloco separado; o receptor o reconstrói a partir do IP.

RFC 768 e RFC 793 afirmam que a estrutura oferece proteção contra datagramas ou segmentos mal encaminhados. Bytes TCP intactos não deveriam validar facilmente se aparecerem sob destino ou protocolo diferente.

Mas a ligação não é autenticação. Quem cria ou modifica deliberadamente o pacote pode recalcular o campo. O pseudocabeçalho não prova titularidade de endereço, exatidão de registro, autorização da rota nem ausência de interceptação.

Dois zeros com funções distintas

No complemento de um, 0x0000 é o zero positivo e 0xFFFF o negativo. O RFC 768 usa a diferença: se o checksum UDP calculado for zero, transmite-se tudo um; um campo transmitido todo zero significa que o emissor não gerou checksum.

Logo, 0xFFFF pode ser um resultado válido, enquanto 0x0000 pode indicar omissão no contrato UDP sobre IPv4. A codificação preserva a diferença entre “calculado e deu zero” e “não calculado”.

O RFC 8200 torna o checksum UDP obrigatório por padrão no IPv6. Zero vira 0xFFFF, e o receptor descarta tudo zero. Há uma exceção restrita para determinados túneis UDP sob requisitos adicionais, não uma permissão geral.

Diferentes máquinas, uma resposta

O RFC 1071 reuniu propriedades de desempenho. Preservada a posição par e ímpar dos bytes, a soma é comutativa e associativa: buffers podem ser divididos e somas parciais reunidas. A conta funciona nas duas ordens de bytes, com acumuladores largos, laços desenrolados ou paralelismo. Um byte final isolado recebe zero apenas para calcular.

O protocolo fixa cobertura e bits finais, não um único programa. A liberdade de implementação termina quando paridade, carry circular ou último byte mudam a resposta comum.

Atualizar somente o que mudou

Ao reduzir TTL, o roteador conhece a palavra de 16 bits alterada. O RFC 1141 mostra como retirar a contribuição antiga e adicionar a nova. Diminuir TTL em um equivale a somar 1 ou 256 ao campo armazenado, conforme a posição do byte, usando complemento de um.

O RFC 1624 cita ainda fragmentação e atualização de source route. O custo acompanha a pequena mudança. Porém, a atualização só é correta se for idêntica ao recálculo completo em todos os limites.

A fórmula que escolheu o zero impossível

O RFC 1624 registra que a expressão anterior usava implicitamente uma propriedade distributiva que falha quando o resultado é zero. Em seu exemplo, uma palavra muda de 0x5555 para 0x3285; o restante soma 0xCD7A. O recálculo produz 0x0000; o RFC 1141 produz 0xFFFF.

Num cabeçalho IPv4, não são representações livres. Existe pelo menos um campo não nulo. A adição de entradas não nulas em complemento de um pode produzir zero negativo, não positivo; depois do complemento final, o campo pode ser 0x0000, mas não canonicamente 0xFFFF.

A correção é HC' = ~(~HC + ~m + m'), sempre com adição em complemento de um. Ela evita a transformação inválida e iguala o resultado de referência.

Alguns receptores incluíam o campo recebido na soma e comparavam com zero negativo, como recomenda o RFC 1071; no exemplo, aceitavam os dois valores. Outros recalculavam e comparavam diretamente. Testes de produto expuseram o caso, e análise e simulação validaram a solução.

A tolerância de alguns destinos não autoriza saída não canônica. O produtor não controla como o próximo receptor verifica.

IPv6 deslocou a verificação

O cabeçalho-base IPv6 do RFC 8200 não contém checksum de camada Internet. TCP, UDP e ICMPv6 continuam usando pseudocabeçalho com endereços IPv6 de 128 bits, comprimento superior e Next Header.

O texto explica que o ICMPv6 inclui esses fatos porque os campos IPv6 relevantes, ao contrário do IPv4, não estão cobertos por verificação da camada Internet. A responsabilidade passou aos protocolos que realmente dependem deles.

O IPv4 obrigava cada roteador a conferir e renovar uma alegação pequena, muitas vezes ao lado de controles de enlace e transporte. O IPv6 removeu essa repetição do cabeçalho fixo, conservou verificações de terminal e fechou a omissão UDP por padrão.

Fontes e incertezas

RFC 768 sustenta UDP e os zeros; RFC 791, IPv4; RFC 793, TCP; RFC 1071, otimização; RFC 1141, atualização; RFC 1624, correção; RFC 8200, a divisão IPv6.

Eles não provam inventor único, implementação universal, prevalência atual de offload ou taxa específica de erros não detectados. Aprovação não exclui modificação deliberada seguida de recálculo; falha não identifica sozinha o dispositivo ou ator.

O fato histórico é menor e mais sólido: ao definir bytes, produtor e alcance, a Internet tornou várias inconsistências baratas de localizar sem transformar soma em autoridade geral.