[论文解读] Partial-indistinguishability obfuscation using braids

Gorjan Alagic, Stacey Jeffery+1 more|arXiv (Cornell University)|Dec 28, 2012

Cryptography and Data Security参考文献 41被引用 6

一句话总结

本文引入了部分不可区分性混淆（partial-indistinguishability obfuscation），这是一种基于具有高效可计算正规形式的计算通用群的新混淆概念，利用交错群 A₅ 中的辫群表示。通过将逻辑门编码为辫子，该方法构建了一个针对经典和量子电路的多项式时间混淆器，实现了使用 44 量子位的通用计算，但其在组合下的密码学安全性仍为开放问题。

ABSTRACT

An obfuscator is an algorithm that translates circuits into functionally-equivalent similarly-sized circuits that are hard to understand. Efficient obfuscators would have many applications in cryptography. Until recently, theoretical progress has mainly been limited to no-go results. Recent works have proposed the first efficient obfuscation algorithms for classical logic circuits, based on a notion of indistinguishability against polynomial-time adversaries. In this work, we propose a new notion of obfuscation, which we call partial-indistinguishability. This notion is based on computationally universal groups with efficiently computable normal forms, and appears to be incomparable with existing definitions. We describe universal gate sets for both classical and quantum computation, in which our definition of obfuscation can be met by polynomial-time algorithms. We also discuss some potential applications to testing quantum computers. We stress that the cryptographic security of these obfuscators, especially when composed with translation from other gate sets, remains an open question.

研究动机与目标

• 提出一种新的、较弱的混淆概念——部分不可区分性，以放松对功能等价电路的严格不可区分性条件。
• 基于 A₅ 中的辫群表示，开发一种针对经典和量子电路的多项式时间混淆方案。
• 证明基于杨-巴克斯解作用于 44 量子位的可逆门可实现通用经典计算。
• 确定存在计算通用的可逆杨-巴克斯门的最小 d 值，表明 d ≤ 44 足够，而 d ≤ 5 不足。

提出的方法

• 该构造使用辫群 B₃ 及其通过同态映射到 A₅ 的表示，其中生成元 σ₁ 和 σ₂ 的像属于 A₅。
• 通过将可逆门映射为 A₅ 中的群元素，并利用杨-巴克斯方程确保一致性，将逻辑电路编码为辫子。
• 特定集合 S 在门 R 的共轭作用下的轨道构成 A₅ 的一个 44 维子空间，该子空间支持通用经典计算。
• 该方法依赖于 S 生成的子群为 A₅，且轨道 O_R 恰好包含 44 个元素（所有 3-循环及两个 5-循环共轭类）。
• 混淆器使用源自辫群关系的正规形式将电路编译为辫子，确保功能等价性并实现多项式时间的慢化。
• 通过限制至 S 在 R 作用下的轨道，将量子位维数从 60 降低至 44，该轨道在门作用下封闭，从而实现优化。

实验结果

研究问题

• RQ1 是否可以定义并高效实现一种较弱的混淆概念——部分不可区分性，使得不可区分性仅在一组固定的门级关系下成立，而非所有功能等价电路？
• RQ2 是否可能使用 A₅ 中辫群表示，以减少量子位维数，构造出经典计算的通用门集？
• RQ3 满足杨-巴克斯方程的 d 量子位可逆门实现通用经典计算的最小 d 值是多少？
• RQ4 是否存在 d < 44 的 d 量子位上的计算通用杨-巴克斯解？此类解能否系统性地被发现？
• RQ5 所提出的混淆方案在与其他门集的翻译组合时是否保持安全性，特别是在量子电路混淆中？

主要发现

• S 在门 R 的共轭作用下的轨道恰好包含 44 个元素，构成 A₅ 的一个 44 维子空间，且在门作用下封闭。
• 将辫子门 R 限制于该 44 维子空间，可得到满足杨-巴克斯方程的置换矩阵，从而实现通用经典计算。
• 基于对置换解的穷举计算机搜索，证明在 d ≤ 5 的 d 量子位上不存在计算通用的可逆杨-巴克斯门。
• 此类通用门存在的最小 d 值介于 5 和 44 之间，其中 d = 44 已足够。
• 通过利用轨道结构，该构造将量子位维数从 60 降低至 44，提升了效率而不损失通用性。
• 所提出的部分不可区分性混淆器运行于多项式时间，满足功能等价性和多项式慢化，但其在组合下的密码学安全性尚未得到证明。