### On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work

Kai-Min Chung, Serge Fehr, Yu-Hsuan Huang, and Tai-Ning Liao

##### Abstract

We revisit the so-called compressed oracle technique, introduced by Zhandry for analyzing quantum algorithms in the quantum random oracle model (QROM). This technique has proven to be very powerful for reproving known lower bound results, but also for proving new results that seemed to be out of reach before. Despite being very useful, it is however still quite cumbersome to actually employ the compressed oracle technique. To start off with, we offer a concise yet mathematically rigorous exposition of the compressed oracle technique. We adopt a more abstract view than other descriptions found in the literature, which allows us to keep the focus on the relevant aspects. Our exposition easily extends to the parallel-query QROM, where in each query-round the considered quantum oracle algorithm may make several queries to the QROM in parallel. This variant of the QROM allows for a more fine-grained query-complexity analysis of quantum oracle algorithms. Our main technical contribution is a framework that simplifies the use of (the parallel-query generalization of) the compressed oracle technique for proving query complexity results. With our framework in place, whenever applicable, it is possible to prove quantum query complexity lower bounds by means of purely classical reasoning. More than that, we show that, for typical examples, the crucial classical observations that give rise to the classical bounds are sufficient to conclude the corresponding quantum bounds. We demonstrate this on a few examples, recovering known results (like the optimality of parallel Grover), but also obtaining new results (like the optimality of parallel BHT collision search). Our main application is to prove hardness of finding a $q$-chain, i.e., a sequence $x_0,x_1,\ldots,x_q$ with the property that $x_i = H(x_{i-1})$ for all $1 \leq i \leq q$, with fewer than $q$ parallel queries. The above problem of producing a hash chain is of fundamental importance in the context of proofs of sequential work. Indeed, as a concrete application of our new bound, we prove that the Simple Proofs of Sequential Work" proposed by Cohen and Pietrzak remain secure against quantum attacks. Such a proof is not simply a matter of plugging in our new bound; the entire protocol needs to be analyzed in the light of a quantum attack, and substantial additional work is necessary. Thanks to our framework, this can now be done with purely classical reasoning.

Available format(s)
Category
Foundations
Publication info
A minor revision of an IACR publication in EUROCRYPT 2021
Keywords
compressed oracleQROM modelproof of sequential workpost-quantum security
Contact author(s)
kmchung @ iis sinica edu tw
serge fehr @ cwi nl
asd00012334 cs04 @ nctu edu tw
tonyliao8631 @ gmail com
History
2021-07-09: last of 4 revisions
See all versions
Short URL
https://ia.cr/2020/1305

CC BY

BibTeX

@misc{cryptoeprint:2020/1305,
author = {Kai-Min Chung and Serge Fehr and Yu-Hsuan Huang and Tai-Ning Liao},
title = {On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work},
howpublished = {Cryptology ePrint Archive, Paper 2020/1305},
year = {2020},
note = {\url{https://eprint.iacr.org/2020/1305}},
url = {https://eprint.iacr.org/2020/1305}
}

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.