Cryptology ePrint Archive: Report 2021/888

Lifting Standard Model Reductions to Common Setup Assumptions

Ngoc Khanh Nguyen and Eftychios Theodorakis and Bogdan Warinschi

Abstract: In this paper, we show that standard model black-box reductions naturally lift to various setup assumptions, such as the random oracle (ROM) or ideal cipher model. Concretely, we prove that a black-box reduction from a security notion P to security notion Q in the standard model can be turned into a non-programmable black-box reduction from P_O to Q_O in a model with a setup assumption O, where P_O and Q_O are the natural extensions of P and Q to a model with a setup assumption O. Our results rely on a generalization of the recent framework by Hofheinz and Nguyen (PKC 2019) to support primitives which make use of a trusted setup. Our framework encompasses standard idealized settings like the random oracle and the ideal cipher model. At the core of our main result lie novel properties of negligible functions that can be of independent interest.

Category / Keywords: foundations / black-box reductions, primitives, setup assumptions

Date: received 28 Jun 2021

Contact author: nkn at zurich ibm com, crypto at eftychis org, bogdan warinschi at gmail com

Available format(s): PDF | BibTeX Citation

Version: 20210629:114901 (All versions of this report)

Short URL: ia.cr/2021/888


[ Cryptology ePrint archive ]