🔢 mathematics

Observer-Quotient Security: Composable Leakage Bounds for Hidden State Continuations

本文引入了观察者-商（Observer-Quotient）安全框架，该框架通过利用基于观察者索引的实验和控制论精炼，对跨多种侧信道及隐藏状态延续的泄漏界限进行量化，从而为交互式密码系统建立了可组合的实/理想仿真定理。

原作者： Faruk Alpay, Levent Sarioglu

发布于 2026-07-07

📖 1 分钟阅读🧠 深度阅读

原作者： Faruk Alpay, Levent Sarioglu

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

核心思想：你所看到的 vs. 实际发生的情况

想象你正在观看一位魔术师表演魔术。你看到魔术师把一张牌放入盒中，摇晃几下，然后掏出另一张不同的牌。在你的眼睛（即观察者）看来，这个魔术是一个谜。

然而，在盒子内部，魔术师可能正在进行一系列复杂的动作：换牌、洗牌，甚至更换盒子本身。这些内部动作就是隐藏状态（hidden state）。

这篇论文提出了一个关键问题：如果观察者看不见盒子内部在做什么，那么魔术师在里面做什么重要吗？

答案是：这取决于谁在观察，以及观察了多久。

“观察者”（The Observer）： 指任何试图弄清发生了什么的个人或事物。它可以是黑客、监控摄像头、功率计或计时传感器。
“商”（The Quotient）： 这是数学中的一个术语，意为“将事物分组”。如果两个不同的内部状态（例如“盒子里的牌是 A”和“盒子里的牌是 B”）在观察者看来完全一样，观察者就会将它们归入同一个“桶”中。论文称之为观察者商（Observer Quotient）。
“隐藏延续”（The Hidden Continuation）： 指系统在内部发生变化（状态演进），但在观察者的视角下仍处于同一个“桶”中。系统在移动，但观察者认为什么都没发生。

核心问题：“沉默的移动”

论文指出，许多安全证明之所以失效，是因为它们只关注记录（transcript）（即发生的公开记录）。它们假设如果公开记录看起来一致，系统就是安全的。

但论文表明，系统可以进行一次“沉默的移动”（隐藏延续），这种移动在此时此刻不会改变公开记录，但却为未来埋下了陷阱。

延迟泄露的类比：
想象电脑内部有一个秘密计数器，每当你点击一次按钮，计数器就会加 1。

观察者 A 只看到屏幕上的最终结果。无论计数器是 10 还是 11，他们看到的最终结果都是一样的。对他们来说，系统看起来是完全相同的。
隐藏的移动： 系统将计数器从 10 增加到了 11。屏幕没有任何变化。
陷阱： 稍后，发送了一个维护数据包，揭示了计数器是“奇数”。突然间，观察者意识到：“啊！计数器之前是 10，现在是 11。我可以分辨出区别了！”

论文指出：安全性不仅仅关乎你“现在”看到了什么，更在于未来的观测是否能揭示过去曾经发生的“沉默移动”。

解决方案：一种新的衡量安全性的方法

作者提出了一个名为**观察者商安全性（Observer-Quotient Security）**的新框架。与其仅仅询问“输出是否相同？”，不如询问：

谁在观察？（他们只是在阅读记录，还是也在测量时间、功耗或电磁波？）
“桶”是什么？（哪些内部状态对于这个特定的观察者来说看起来是一样的？）
系统能否在“桶”内移动？（系统能否在观察者察觉不到的情况下改变其内部状态？）
观察者以后能抓到它吗？（如果系统在“桶”内移动，未来的观测或侧信道是否会揭示这次移动？）

“真实 vs. 理想”测试

论文使用了一个“真实/理想”游戏来证明安全性。

真实游戏（Real Game）： 包含所有混乱内部细节的实际运行系统。
理想游戏（Ideal Game）： 一个完美的、简化的版本，该系统仅展示“桶”（商），并隐藏其他一切。

论文证明，如果“真实游戏”从特定观察者的角度来看，其行为与“理想游戏”完全一致，那么“真实游戏”就是安全的。如果“真实游戏”做了“理想游戏”无法做到的事情（例如进行了一次后来泄露了信息的沉默移动），那么安全证明就会失效。

控制论的转折：设计更好的传感器

论文还将此与控制论（工程师如何设计系统以保持稳定）联系起来。

问题： 有时，由于传感器不够好，系统会对自身的内部变化处于“盲目”状态。
解决方案： 论文建议我们可以将安全性视为一个设计问题。如果我们知道某种“隐藏移动”是危险的，我们可以通过重新设计观察者（添加更好的传感器）来打破这个“桶”。
权衡： 添加更好的传感器需要成本或电力。论文提供了一种数学方法来计算：“增加这个传感器能在多大程度上降低风险？”这有助于工程师决定增加新传感器是否值得，以填补安全漏洞。

用通俗语言总结的关键点

安全性相对于观察者而言是相对的。 一个系统对于只看屏幕的黑客来说是安全的，但对于同时测量电脑思考时间的黑客来说可能是不安全的。
沉默的变化是危险的。 仅仅因为公开输出没有变化，并不意味着系统是安全的。内部变化可能会累积并在未来泄露。
你不能仅仅忽略侧信道。 如果你证明了一个系统对于“仅限记录”攻击是安全的，但随后有人增加了“计时”传感器，那么你的证明会立即失效。你必须针对更强大的观察者重新进行证明。
数学可以帮助设计传感器。 论文提供了一个公式，帮助工程师精确计算需要添加哪些传感器，以阻止特定类型的隐藏攻击，从而在传感器成本与风险降低之间取得平衡。

总结比喻

想象一个保险箱。

旧观点： 如果保险箱看起来锁好了，且转盘没动，它就是安全的。
新观点（本文观点）： 即使转盘没动，内部的齿轮可能正在悄悄移动。如果你仔细倾听（计时）、感受热量（功耗），或者等待足够长的时间（未来的会话），你可能会听到齿轮咔哒作响的声音。
本文的目标： 它提供了一套规则手册，用于检查齿轮的移动是否会在以后被听见；它还告诉了你如何制造一个更好的监听设备（传感器），以便在违规发生前将其捕捉到。

技术摘要：观察者商安全性 (Observer-Quotient Security)

问题陈述

现代密码学安全断言在本质上是关于观察的陈述。两个系统执行在内部（其原始状态为 $X$ ）可能存在差异，但对于特定类别的观察者而言仍是不可区分的。然而，这种不可区分性是脆弱的：如果观察者类别被细化（例如，通过增加时序、缓存、功耗或电磁侧信道），或者如果系统经历了“隐藏延续”（hidden continuations）——即虽然保持当前公开转录不变，但改变了状态，从而可能在未来的观察、重复会话或后处理中被利用的内部状态转换——则这种不可区分性可能会失效。

本文解决的核心问题是缺乏一个统一的框架，将密码学不可区分性、侧信道泄漏和控制理论中的可观测性整合在统一的几何与代数结构之下。现有的定义通常假设一个固定的观察者模型；当该模型发生变化时（例如，增加了侧信道），证明往往会失效，且缺乏一种清晰的机制来量化由此产生的泄漏，或设计用于减轻泄漏的传感器。

方法论

本文通过定义安全状态空间并非为原始实现状态 $X$ ，而是为观察者商 $X/\Pi$ （其中 $\Pi$ 是一个容许的观察通道类），从而将观察者商安全性形式化。

核心数学构造

观察者商与伪度量： 本文定义了一个基于所有属于 $\Pi$ 的观察者的输出分布的全变差距离的伪度量 $d_\Pi(x, x')$ 。状态 $x, x'$ 是等价的（即 $x \equiv_\Pi x'$ ）当且仅当 $d_\Pi(x, x') = 0$ 。商空间 $X/\Pi$ 代表了“可见”的状态空间。
隐藏延续： 一个转换 $T(x)$ 若满足 $T(x) \neq x$ 但 $T(x) \equiv_\Pi x$ ，则被称为隐藏延续。这些是对于当前观察者类别而言不可见的内部状态变化。
交互式安全博弈： 该框架引入了包含会话标识符、预言机转发、自适应观察者调度器和后处理的交互式博弈。安全定义是一个 Real/Ideal 定理：若真实博弈 $G$ 模拟了一个理想商功能 $F_{\Pi, B}$ ，则其区别优势受限于特定“缺陷”项之和。
边界泛函与耗散性： 为了处理时间演化和噪声，本文引入了标量边界泛函 $B_\Pi$ 和随机耗散条件。这使得系统能够证明“泄漏底限”（residual leakage floor，即残余区别优势）即使在持续噪声或实现漂移存在的情况下，也能收敛于零或保持有界。

证明策略

主要的 Real/Ideal 定理是通过全索引混合序列（fully indexed hybrid sequence）证明的。该证明将安全差距分解为命名的缺陷项：

观察者缺陷： 观察者无法区分商类中的状态。
核缺陷： 转换核（transition kernel）与商不兼容（即：将等价状态拆分为可区分的未来分布）。
后处理缺陷： 观察者族在容许变换下不封闭。
模拟器/接口缺陷： 将真实接口映射到理想商功能时的误差。
统计/残余项： 源自随机耗散性和边界-优势映射的界限。

核心贡献

形式化定义观察者商安全性博弈： 本文定义了一个全面的博弈结构，包括会话标识符、自适应调度器和理想商功能。它在状态上建立了一个由观察者类诱导的伪度量，使“观察者模型”成为安全定理的一个显式参数。
组合式 Real/Ideal 定理： 它提供了一个定理，用于界定自适应环境的区别优势。该界限是显式的、命名的缺陷项（观察者、核、后处理、模拟器、统计和残余）之和，允许对复杂系统进行模块化分析。
计算实例化： 该框架在具体的密码学场景中进行了实例化：
- 具有时序泄漏的 IND-CPA： 一个基于仅密文安全性加上显式时序边界参数和剖析噪声来界定优势的定理。
- 确定性加密： 一种基于账本的方法，通过追踪字母表大小和光滑最大信息泄漏来追踪熵消耗。
- 刷新 Nonce 的认证加密： 一种状态机分析，用于追踪 Nonce 碰撞和泄漏状态漂移。
控制理论解释与综合： 本文架起了密码学与控制理论之间的桥梁。它将观察者细化解释为传感器重新设计，并将隐藏延续解释为可观测性核（observability kernel）中的元素。它将观察者设计表述为一个优化问题（例如，在效用和成本约束下最小化泄漏），并为松弛的传感器选择提供了 KKT 条件。
有限系统的算法验证： 本文提出了针对有限状态机的构造性算法，用于计算观察者签名、检查商兼容性，并细化划分直到达到稳定的商。这允许自动检测“延迟泄漏”，即当前等价但在未来可区分的状态。

结果与主张

本文声称其框架统一了三个先前独立的领域：

密码学不可区分性： 当观察者类仅限于转录（transcripts）时，标准的 IND-CPA 被作为特例恢复。
侧信道分析： 框架明确地模拟了增加侧信道（细化 $\Pi$ ）如何使商变得粗糙，从而可能使之前的证明失效。它提供了一种量化由持续噪声或实现漂移引起的“泄漏底限”的方法。
弹性控制： 它将安全性与可观测性联系起来。一次“隐蔽攻击”被定义为使系统穿过观察者核（kernel）的输入序列。本文展示了通过增加传感器行（细化观察者）如何减少核的维度并降低残余优势界限。

本文论证了只有当商动力学（quotient dynamics）是兼容的时，隐藏延续才是无害的（即：转换核将等价状态映射到等价的未来分布）。如果核是不兼容的，或者观察者类在稍后被细化，则隐藏状态可能会暴露。

意义

本文认为，安全断言本质上是相对于观察者类的。对于仅限转录的观察者有效的证明，并不自动适用于“转录加时序”的观察者。其意义在于：

显式性： 它迫使开发者显式声明观察者类、时界（horizon）和对手模型，防止导致安全失败的“隐式”假设。
模块化： 通过将安全界限分解为命名的缺陷项，它允许系统设计者隔离安全失败的来源（例如，是核不兼容还是后处理问题？）。
设计集成： 它提供了一种数学语言来权衡测量成本、效用和泄漏。它不再将侧信道缓解视为事后补救，而是将其构造成一个关于观察者商的传感器设计与泄漏控制的优化问题。
定量残余： 它超越了定性的“安全/不安全”二元论，提供了在噪声和漂移存在下的“残余优势”或“泄漏底限”的定量界限，从而提供了更现实的长期安全性评估。

本文总结道，状态相等与观察者相等之间的“间隙”正是隐藏延续存在的地方。维护安全性不在于确保原始状态完全一致，而在于确保商动力学是兼容的，并且边界泛函（代表泄漏间隙）被驱动至零或一个极小的底限。