[Resource Topic] 2022/1637: Polynomial-Time Cryptanalysis of the Subspace Flooding Assumption for Post-Quantum $i\mathcal{O}$

Welcome to the resource topic for 2022/1637

Polynomial-Time Cryptanalysis of the Subspace Flooding Assumption for Post-Quantum i\mathcal{O}

Authors: Aayush Jain, Huijia Lin, Paul Lou, Amit Sahai


Indistinguishability Obfuscation (i\mathcal{O}) is a highly versatile primitive implying a myriad advanced cryptographic applications. Up until recently, the state of feasibility of i\mathcal{O} was unclear, which changed with works (Jain-Lin-Sahai STOC 2021, Jain-Lin-Sahai Eurocrypt 2022) showing that i\mathcal{O} can be finally based upon well-studied hardness assumptions. Unfortunately, one of these assumptions is broken in quantum polynomial time. Luckily, the line work of Brakerski et al. Eurocrypt 2020, Gay-Pass STOC 2021, Wichs-Wee Eurocrypt 2021, Brakerski et al. ePrint 2021, Devadas et al. TCC 2021 simultaneously created new pathways to construct i\mathcal{O} with plausible post-quantum security from new assumptions, namely a new form of circular security of LWE in the presence of leakages. At the same time, effective cryptanalysis of this line of work has also begun to emerge (Hopkins et al. Crypto 2021).

It is important to identify the simplest possible conjectures that yield post-quantum i\mathcal{O} and can be understood through known cryptanalytic tools. In that spirit, and in light of the cryptanalysis of Hopkins et al., recently Devadas et al. gave an elegant construction of i\mathcal{O} from a fully-specified and simple-to-state assumption along with a thorough initial cryptanalysis.

Our work gives a polynomial-time distinguisher on their “final assumption” for their scheme. Our algorithm is extremely simple to describe: Solve a carefully designed linear system arising out of the assumption. The argument of correctness of our algorithm, however, is nontrivial.

We also analyze the “T-sum” version of the same assumption described by Devadas et. al. and under a reasonable conjecture rule out the assumption for any value of T that implies i\mathcal{O}.

ePrint: https://eprint.iacr.org/2022/1637

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .