该论文研究的是如何在「量子设备不可信」的前提下，仅让诚实参与方使用经典计算，就实现具有设备无关性（device-independent, DI）的茫然传输（oblivious transfer, OT）与比特承诺。作者给出的构造只假设存在后量子单向函数，属于 MiniQCrypt 框架：诚实方不拥有可信量子计算机，只是经典地操作可能由对手提供的量子设备，而这些设备之间可以共享任意纠缠，并且其行为不必是独立同分布（non-IID），也不受限于逐坐标测量。安全定义采用基于模拟（simulation-based）的框架，针对量子多项式时间敌手，并可在顺序组合下保持安全且模拟器高效。论文的核心技术特点是「一套协议骨架同时服务 OT 与比特承诺」，并且支持两种工作体制：第一种假设两个实验室相互隔离、诚实接收方设备仅做坐标局域测量，可容忍常数比例的诚实设备故障率；第二种允许实验室之间存在多对数级别（polylog）的适应性泄漏，并允许任意联合测量，此时可容忍倒数多对数级别（inverse-polylog）的故障率。为保证安全性，每一次基本的 DI 调用都使用一批全新的、相互隔离的多对数规模设备坐标，最终编译出的 OT 协议中设备总使用量为多项式级别。承诺方案对双方都有高效模拟器，并可导出带中止的 DI 抛硬币协议。由于 OT 对于安全计算是完备的，该构造进一步给出：对固定参与方数量下任意高效可计算的经典功能，都存在带中止的 DI 协议，且能抵抗任意真子集的静态腐化。在证明技巧上，承诺的提取器通过经典模糊化（equivocation）改变一个公开奇偶关系，而不改动设备执行过程，因而泄漏量不变；作者借助「承诺—证明」功能、不相交审计与仿射一致性检验，把被认证的关联性连接到理想 OT。发送方安全性则依赖作者为魔方游戏（Magic Square game）推导的选择器感知并行重复界，该界源自 Kundu 与 Tan 的两轮阈值定理。整体而言，这是一项量子密码学理论工作，把 DI 安全从强隔离假设推广到可容忍泄漏的实用化方向。

本文研究的是设备无关会议密钥协商（Device-Independent Conference Key Agreement, DI-CKA）：一组（N 方）参与者在完全不信任其量子设备的前提下，仍需协商出一把共享密钥，其安全性由量子非局域性（non-locality）而非设备可信性来保证。这类协议的安全性分析与标准的 Bell 不等式违背直接挂钩，因此具有很高的理论价值，但也长期受制于可用的非局域博弈种类有限。作者指出，既有 DI-CKA 协议几乎都是围绕单一 Bell 不等式构造的，最典型的是多方 CHSH 博弈的变体；而在设备无关量子密钥分发（DI-QKD）领域，研究者早已使用了远为丰富的非局域博弈工具箱。长期以来不清楚的是：如何把 DI-QKD 中丰富的博弈构造方式迁移到多方会议场景，从而实现更高的密钥率或更广的协议族。 针对这一空白，作者提出了一类新的博弈构造，称为 Parity-G 博弈（Parity-G games）。其核心思想是：对任意一个两方博弈 G，只要 G 存在一种最优策略使得某一方测量 Pauli 可观测量，就可以把 G 扩展成任意 N 方的博弈。关键的技术性质有两个：一是该扩展同时保持原两方博弈 G 的量子值与经典值不变；二是扩展后 N 方协议的安全性可以仅通过分析原来的两方博弈来证明，这极大地简化了多方场景下的安全证明负担。作为一致性检验，该框架把 Ribeiro、Murta 与 Wehner（Phys. Rev. A, 2018）提出的 Parity-CHSH 博弈作为特例重新导出。 进一步，作者把该框架应用于 Mermin-Peres 魔方博弈（Magic Square Game），得到一个新的 N 方伪心灵感应（pseudo-telepathy）博弈，命名为 Parity Magic Square Game。其显著特点是理想的量子设备可以在每一轮都获胜，即经典设备无法做到而量子设备完美获胜。基于该博弈，作者构造了首个基于伪心灵感应博弈的 DI-CKA 协议，并证明该协议对相干攻击（coherent attacks）是安全的。性能方面，该协议每一轮最多可产生两个密钥比特，并且在低噪声条件下，其密钥率超过基于 Parity-CHSH 博弈的 DI-CKA 协议。 总体而言，这项工作把 DI-QKD 中成熟的非局域博弈设计方法系统性地推广到了多方会议密钥协商场景，提供了一个可复用的构造与安全归约框架，并给出了具体的新协议实例与密钥率优势。适合从事量子密码学、量子信息理论、设备无关安全协议设计的研究者阅读；对从事长期密码迁移规划、量子安全通信标准化评估的工程与安全团队也有间接参考价值。