本文研究区块链审查攻击（blockchain censorship attack）的博弈论基础及其在权益证明（PoS）网络中的均衡影响。作者首先回顾了已有文献[21]中提出的审查攻击模型，该模型表明参与攻击是验证者的占优策略。在此背景下，论文引入一个关键概念——可检测阈值（detectability threshold），即攻击行为被网络其他参与者察觉的概率下限。通过理论分析，作者证明当存在这样的阈值时，持有大量投票权的验证者（称为“鲸鱼”，whales）参与攻击所获得的期望收益会严格低于不参与攻击的收益，而普通验证者（称为“minnows”）由于投票权分散，单独发起攻击则变得困难。这一机制改变了原有的纳什均衡：鲸鱼不愿参与，导致攻击难以由少数小验证者独立发动。为验证理论结论，作者在以太坊（Ethereum）和Solana两个主流PoS链的参数下进行了蒙特卡洛模拟，模拟结果支持了鲸鱼收益减少的存在性。论文贡献在于从机制设计角度为区块链抗审查性提供了新的理论视角，表明通过引入检测机制可以削弱大型验证者的恶意激励，从而增强网络的安全性。适合对区块链安全、共识机制和博弈论应用感兴趣的研究者阅读。

该论文针对网络审查规避系统的一个关键弱点——端点固定且可被发现——提出了移动目标规避（Moving-Target Censorship Resistance）的形式化理论。当前部署的规避系统（如VPN、代理）通常具有固定端点，审查者可以耐心枚举并封锁。移动目标规避系统通过快速轮换云端地址空间中的端点来对抗审查，但由于缺乏理论指导，轮换间隔和地址池大小往往依赖直觉。本文首次对移动目标审查规避进行了形式化建模，将审查者与防御者的交互视为一个连续时间下的定时博弈，作用域为组合地址域空间，并将经典FlipIt模型推广到具有附带约束的对手。作者证明了一个可持续性前沿（sustainability frontier），区分了审查者能够击败的配置和不能击败的配置。关键发现：在中国防火墙（GFW）2024年转向基于域名封锁QUIC和TLS的背景下，原始轮换速度并非约束因素；可用性受域名燃烧率（domain burn rate）β = λ_disc/λ_intro 支配，即审查者封锁防御者域名的速率与防御者引入新域名的速率之比。作者推导了闭式可用性定律，证明当β > 1时，无论端点轮换速度多快，仅靠地址轮换无法维持高可用性，并刻画了前沿β*。论文通过一个开放的、模型级别的审查者-防御者模拟器（无需特权访问或云部署）来验证分析，该模拟器在代表GFW、俄罗斯TSPU和伊朗的对手画像下复现了β*处的预测相变，并展示了对于状态依赖发现和突发性、提供商相关的燃烧的鲁棒性。该工作用精确的操作条件“保持域名经济领先于审查者”替代了启发式的“加速轮换”。适合阅读人群：网络审查规避系统开发者、网络安全研究人员、博弈论在安全中的应用者。