移动/IoT 网络中频繁分区下的单状态账本设计：上下文链

我们研究了一种轻量级账本协议，适用于间歇性和噪声网络，其应用场景为分区常见且完整历史验证不切实际的 IoT 和移动设置。我们的设计以上下文认证的操作性概念为中心：每个节点根据其当前局部上下文决定链扩展是否可接受，使用基于检查点的优先分叉选择、源自近期提议者行为的局部分支得分，以及由不一致性驱动的隔离信号。为改善分区后的恢复，我们结合了自适应同步策略，该策略仅在不一致变得普遍时增加流言传播努力。我们在受控分区和两种网络 regime（干净与噪声）下使用离散事件仿真器对协议进行了评估。在 $N=20$ 时的 500 个随机种子下，主要结果是隔离单独在噪声条件下并不能实质性地改善一致性与恢复，而增加同步（\texttt{Gossip\_only} 和 \texttt{Both}）显著改善了最终一致概率和分区重连后的恢复时间尾部。更长周期的实验表明，低同步失败不能仅通过等待更长时间来消除，而 $N=50$ 和 $N=100$ 的扩展实验表明，在小规模下有效的参数不会自动泛化。这些结果表明，在噪声分区/重连动态下，当前设计中的恢复主要受限于信息可用性，使得同步策略成为一等设计问题。