💻 computer science

Light-Weight Cryptographic Heartbeat Protocol In Robotic Swarms

本文提出了一种用于机器人集群的轻量级加密心跳协议，该协议仅利用时钟同步和哈希函数，在分布式边缘计算系统中确保消息的认证性与完整性，同时在树莓派 5 硬件上展示了低延迟、极低存储需求以及针对网络异常的鲁棒性。

原作者： Faris Alhamed, Mohamed Mtiri, Francesco Paolucci, Filippo Cugini, Alex Shafarenko

发布于 2026-08-03

📖 1 分钟阅读☕ 轻松阅读

原作者： Faris Alhamed, Mohamed Mtiri, Francesco Paolucci, Filippo Cugini, Alex Shafarenko

原始论文采用 CC BY 4.0 许可（https://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一个繁忙的城市，数以百万计的小型自主机器人在这里穿梭往来，它们相互交谈，以进行建造、搬运货物或解决问题。在这个高科技世界中，每个机器人都需要不断向邻居大喊：“我在这里！我在工作！”这被称为“心跳”（heartbeat）。但就像在拥挤的房间里一样，坏人可能会试图潜入其中，假冒机器人，或者重复旧的消息来制造混乱。为了阻止这种情况，机器人需要一种秘密握手方式，以证明它们的身份，并确保消息未被篡改。通常，这种握手就像一把沉重且复杂的锁，开启和关闭它需要消耗大量能量——对于电池容量较小的微型机器人来说，这太吃力了。这就是密码学（研究秘密代码的科学）与集群机器人技术（一群机器人协同工作）的世界。科学家们提出的核心问题是：我们如何给这些微型机器人提供一种既超级强大、坚不可摧，又不会耗尽电池或减慢它们速度的秘密握手方式？

这篇研究论文介绍了一种针对该问题的巧妙且轻量化的解决方案。作者在“智能工厂”场景下对机器人进行了研究，设计了一种让机器人安全发送心跳而无需沉重计算能力的新方法。他们没有使用传统的、沉重的锁（如 RSA 或 ED25519 数字签名），而是使用了一种基于哈希链（hash chain）的方法。把这条链想象成一个神奇的、单向的楼梯：你可以通过执行哈希函数（一种将数据打乱的数学配方）轻松地向下走，但你无法向上走回去。机器人从顶端的秘密密钥开始，每发送一次心跳就向下走一步。接收者（机器人的上级/老板）只知道最底部的台阶。当一条消息到达时，上级会检查机器人的当前台阶是否符合前一个台阶的数学逻辑。如果匹配，则说明消息是真实的。如果消息在混乱中丢失了，上级只需通过向前进行数学运算来“跳过”缺失的步骤，直到追上进度，从而确保链条不会断裂。

论文展示了该系统极高的效率。在利用 Raspberry Pi 5（作为机器人的代表）进行的测试中，该系统在不到 900 毫秒内即可完成初始化，且发送端的存储空间需求仅为 1 MB 左右。接收端几乎不需要任何存储空间。研究人员发现，该方法能够应对复杂的网络状况，包括消息丢失、重复以及消息乱序到达，同时还能保护机器人免受重放攻击（即黑客记录一段有效的消息并在稍后播放）。他们还证实，只要时间偏差保持在 50 毫秒以内，即使机器人的时钟不同步，该系统也能正常工作。通过用这种更轻量级的哈希方法取代沉重的公钥密码学，本文表明我们可以保护大规模机器人集群的安全，而不会拖累它们的运行速度，从而使未来的工厂和自主系统变得更加安全、更加智能。

技术摘要：机器人集群中的轻量级加密心跳协议

问题陈述

现代工业环境，特别是工业 4.0 范式下的环境，日益依赖智能工厂中自主移动机器人和物联网设备的自主集群。这些系统需要通过周期性的心跳消息来持续监测设备的“存活状态（liveness）”，以实现故障检测、编排和安全监控。然而，现有的解决方案在资源受限的边缘环境中面临显著挑战：

计算开销： 传统的公钥密码学（如 RSA、ED25519）由于大整数算术和模幂运算，会带来极高的计算、内存和能量成本，这会导致物联网电池迅速耗尽。
量子脆弱性： 许多经典的公钥原语易受未来量子攻击的影响，为持久化部署带来了长期安全风险。
网络异常： 分布式边缘网络容易出现消息丢失、延迟、重复和重排序，这可能会破坏心跳验证并导致误报。
安全需求： 系统必须保证消息完整性、发送者身份验证和不可否认性，同时抵御重放攻击和拒绝服务（DoS）攻击，且不一定需要完整的加密功能。

方法论

作者提出了一种专为分布式边缘计算系统（特别是针对机器人集群）设计的轻量级加密心跳协议。该方案集成了基于时间同步的心跳生成与基于哈希链的完整性验证。

核心加密机制

该协议依赖于基于哈希链的 Winternitz 一次性签名 (WOTS) 方案和 Guy Fawkes 协议，完全避免了使用公钥密码学。

哈希链生成： 每个智能节点（发送方）生成一个随机私钥 $x_0$ 。随后，它计算一个长度为 $n$ 的前向安全哈希链，其中 $x_j = H(x_{j-1})$ 。最终值 $x_n$ 通过安全初始通道（例如线下或 NFC）与接收方（集群协调器）共享，作为公钥。
消息构建： 对于每个心跳间隔 $i$ $i$ ，节点构建一条消息 $M_i$ $M_{i}$ ，包含：
- 报头 ( $q_i$ )： 包括同步时间戳 $T_i$ 和当前的哈希链值 $x_{n-i}$ 。
- 有效载荷 ( $p_i$ )： 系统健康状况和存活数据。
- 认证器 ( $y_i$ )： 一个计算为 $HMAC(x_{n-i-1}, q_i \parallel p_i)$ 的 HMAC。
验证过程： 接收方通过以下方式验证传入的消息：
- 检查哈希链推进情况：验证 $H(x_{n-i})$ 是否与之前存储的值匹配（或者在丢包时使用前向哈希值）。
- 使用派生的链值验证 HMAC。
- 基于同步时钟确保严格的时间顺序。

系统架构与假设

时钟同步： 协议假设发送方和接收方的时钟是同步的（例如通过 WiFi 进行 NTP 同步），其精度优于心跳间隔的一半 ( $\epsilon \lesssim \tau/2$ )。这使得接收方能够通过时间戳推断序列号，而无需在有效载荷中包含显式的序列计数器。
丢包容忍度： “前向哈希（forward hashing）”机制允许接收方跳过缺失的链元素。如果心跳 $i$ 丢失但 $i+k$ 到达，接收方通过计算 $H^{(k)}(x_{n-(i+k)})$ 来验证链的完整性，从而在不破坏加密链的情况下将中间消息标记为丢失。
硬件实现： 研究利用 Raspberry Pi 5 设备作为智能节点和协调器，并利用特定哈希函数的硬件加速功能。

主要贡献

本文概述了四项主要贡献：

后量子安全设计： 一种基于 Winternitz 哈希链推进和 HMAC 认证的心跳协议，避免了易受攻击的公钥原语。
严格排序与重放抵御： 系统通过基于时间的序列推断，确保了严格的消息顺序并检测重放攻击，且不依赖公钥密码学。
容错验证： 接收端使用前向哈希机制，实现了在丢包网络中的可扩展操作，即使在传输流中存在间隙时也能验证后续心跳。
资源效率： 该协议展示了极低的计算成本，通过将沉重的计算转化为可控的内存需求，非常适合高度受限的边缘节点。

实验结果与验证

该协议在由 Raspberry Pi 5 设备充当集群节点和协调器，并通过 Dell Edge Gateway 5200 通过 WiFi 连接的测试床上进行了评估。

时钟同步： 使用 NTP over WiFi，在正常条件下（RSSI > -70 dBm, <90% 负载），观察到的最大时钟漂移约为 44 ms。这支持了大于 100 ms 的心跳间隔 ( $\tau$ )。
算法性能： 在 Raspberry Pi 5 硬件上：
- SHA-256 在生成哈希链方面效率最高（约 1.04 百万次迭代/秒），因为它具有硬件加速。
- Keyed BLAKE3 在生成 HMAC 方面表现出最佳性能（约 43.9 万次迭代/秒）。
- ED25519 明显较慢（约 13,886 次迭代/秒），凸显了所提议的基于哈希方法的效率。
初始化与存储：
- 初始化时间： 总初始化时间测量结果不超过 900 ms。
- 存储： 发送方仅需极少的 1 MB 存储空间（使用“齿轮化/gearing”策略，通过权衡存储与重计算），而接收方的存储需求可以忽略不计，仅需存储当前和前一个链点。
鲁棒性： 系统成功检测并丢弃了重复消息，识别了乱序到达的消息，并利用前向哈希从丢失的消息（例如测试序列中的消息 4 和 7）中恢复，在整个过程中保持了链的完整性。

意义与主张

论文声称，所提出的协议成功解决了自主机器人集群中安全性与资源约束之间的权衡问题。通过消除公钥密码学并利用带有前向哈希的哈希链，该系统实现了：

韧性： 它在面对网络异常（丢失、延迟、重复）和安全威胁（重放、篡改、冒充）时保持稳健。
可扩展性： 该架构支持动态集群形成，并可以扩展到大量协作机器人，而无需第三方认证服务器。
高效性： 低计算负担和极小的存储占用使其适用于像 Raspberry Pi 5 这样资源受限的边缘设备，确保智能工厂环境下持续且安全的节点存活监测。

作者得出结论，该协议提供了一个严谨且轻量级的框架用于安全的工业操作，即使在不利的网络条件下，也能保证消息的真实性和时间正确性。