黑暗整数：Internet路由器上的通用计算

格雷格·埃根（Greg Egan）的小说“黑暗整数”（关于两个具有两个不同数学的宇宙的故事，通过证明数学上不一致的定理进行交流）声称可以仅使用其基本功能就可以在现有的互联网路由器上仅构建通用计算机数据包交换（准确地说是校验和校正）。

原则上可行吗？

更新。

为了使问题更精确：

路由器网络必须具备的绝对最低限度的属性集是什么？

这可能会有所帮助：

寄生计算是一种潜在技术的示例，可以同时将其视为对在线宇宙的威胁或健康补充。在Internet上，所有计算机都使用一组标准协议来保证可靠的通信。可以利用这些协议来利用通信基础结构进行计算，从而将Internet转换为分布式计算机，其中服务器会不经意地代表远程节点执行计算。在此模型中，一台机器仅通过使目标计算机参与标准通信来迫使目标计算机解决一个复杂的计算问题。

在里面 寄生计算站点中，您可以获取有关如何使用TCP数据包的校验和解决3-SAT问题的详细信息。

其他有用的链接：

• 寄生计算研讨会报告KKMaharana的
• Nature撰写的有关寄生计算的文章（2001年8月）

Albert-Laszlo Barabasi，Vincent W. Freeh，Hawoong Jeong和Jay B. Brockman在《自然》杂志的一封信中公开了一种使用互联网路由器等作为计算机的方法 。他们称此为“ 寄生计算”。他们的想法是使用TCP协议中执行的检查来执行计算，并离线解决NP完全问题，尽管是在线的。这项工作一直延续在这里以一个全功能的虚拟机。提供了大量文档（德语），甚至提供了源代码。

《沉默的电线》一书提供了一个描述，说明如何通过发送格式错误的数据包（包含随后会反弹的数据）来将这种思想扩展为将浮动在互联网上的数据包用作RAM。RAM的数量等于发出的数据包数量乘以数据包大小。