Parallel Kac's Walk Generates PRU

arXiv:2504.14957 · quant-ph, cs.CC, cs.CR · Submitted 2025-04-21 · Read on arXiv

quant-ph, cs.CC, cs.CR

Submitted: 2025-04-21

Updated: 2026-09-09

Comments: 64 pages, including appendices; full version of the paper submitted to ASIACRYPT 2026

License: http://creativecommons.org/licenses/by/4.0/

The gist: Ma and Huang recently proved that the PFC construction, introduced by Metger, Poremba, Sinha and Yuen [MPSY24], gives an adaptive-secure pseudorandom unitary family PRU.

Terminology

Abstract

Ma and Huang recently proved that the PFC construction, introduced by Metger, Poremba, Sinha and Yuen [MPSY24], gives an adaptive-secure pseudorandom unitary family PRU. Their proof developed a new path recording technique [MH25]. In this work, we show that a linear number of sequential repetitions of the parallel Kac's Walk, introduced by Lu, Qin, Song, Yao and Zhao [LQS+26], also forms an adaptive-secure PRU, confirming a conjecture therein. Moreover, it additionally satisfies strong security against adversaries making inverse queries. This gives an alternative PRU construction, and provides another instance demonstrating the power of the path recording technique. We also discuss some further simplifications and implications.

Sources

Related papers