Authors: - Minki Hhan (speaker) - Tomoyuki Morimae - Takashi Yamakawa (of [[Yamakawa-Zhandry]] fame) EC:HhaMorYam23, https://arxiv.org/abs/2210.05978 New quantum search-to-decision reduction, based on Aaronson/Atia/Susskind's work on quantum gravity! Primary task: distinguish |+> and |->. Equivalent to swap...? = "AAS equivalence" Two reductions: Swap to distinguish; distinguish to swap Swap: Find a unitary U such that |<x|U|y> + <y|U|x>|/2 ? Open problem: PKE from non-abelian group action. (Recall: CSIDH is only signatures.) Their contribution: A *quantum* PKE from non-abelian group action. A 2022 paper: Exist an efficient procedure to convert a stat-hiding comp-binding com. scheme to a comp-hiding stat-binding com. scheme and vice versa. New result: doing this in the quantum setting gives a way more efficient way to do this. (Sounds like a very interesting paper, but sadly not very well presented. Worth reading though!) --- Part of [[Eurocrypt'23]]