Inteiros escuros: computação de uso geral em roteadores da Internet

Greg Egan em sua ficção "Dark Integers" (história sobre dois universos com duas matemáticas diferentes se comunicando por meio da comprovação de teoremas em torno da inconsistência na aritmética) afirma que é possível construir computadores de uso geral apenas em roteadores de Internet existentes usando apenas sua funcionalidade básica de comutação de pacotes (e correção da soma de verificação, para ser mais preciso).

Isso é possível, em princípio?

Atualizar.

Para tornar a pergunta mais precisa:

Qual é o conjunto absolutamente mínimo de propriedades que a rede do roteador deve ter para que seja possível construir um computador de uso geral sobre ele?

Isso pode ser útil:

A computação parasitária é um exemplo de uma tecnologia em potencial que pode ser vista simultaneamente como uma ameaça ou adição saudável ao universo online. Na Internet, a comunicação confiável é garantida por um conjunto padrão de protocolos, usado por todos os computadores. Esses protocolos podem ser explorados para computar com a infraestrutura de comunicação, transformando a Internet em um computador distribuído no qual os servidores, sem querer, executam a computação em nome de um nó remoto . Nesse modelo, uma máquina força os computadores-alvo a resolver uma parte de um problema computacional complexo, apenas envolvendo-os na comunicação padrão.

No site de computação parasitária, você pode obter informações detalhadas sobre como resolver um problema de 3-SAT usando a soma de verificação dos pacotes TCP .

Outros links úteis:

• Relatório do seminário sobre computação parasitária por KKMaharana
• Artigo da Nature sobre computação parasitária (agosto de 2001)

Uma abordagem para o uso de roteadores da Internet etc. como computador foi publicada em uma carta na Nature por Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong e Jay B. Brockman. Eles chamaram a idéia de computação parasitária . A idéia deles é usar as verificações realizadas nos protocolos TCP para realizar cálculos e resolver problemas de NP-completo off-line, embora on-line. O trabalho foi estendido aqui para uma máquina virtual totalmente funcional. Muita documentação (em alemão) e até o código fonte é fornecido.

O livro Silêncio no Fio fornece uma descrição de como essa idéia pode ser estendida para usar os pacotes que flutuam pela Internet como RAM, enviando pacotes mal formados contendo dados que serão recuperados posteriormente. A quantidade de RAM é igual ao número de pacotes enviados vezes o tamanho dos pacotes.