Black-Box Crypto is Useless for Pseudorandom Codes

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Garg, Sanjam, Gunn, Sam, Wang, Mingyuan
Format: Preprint
Veröffentlicht: 2025
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866918150838157312
author Garg, Sanjam
Gunn, Sam
Wang, Mingyuan
author_facet Garg, Sanjam
Gunn, Sam
Wang, Mingyuan
contents A pseudorandom code is a keyed error-correction scheme with the property that any polynomial number of encodings appear random to any computationally bounded adversary. We show that the pseudorandomness of any code tolerating a constant rate of random errors cannot be based on black-box reductions to almost any generic cryptographic primitive: for instance, anything that can be built from random oracles, generic multilinear groups, and virtual black-box obfuscation. Our result is optimal, as Ghentiyala and Guruswami (2024) observed that pseudorandom codes tolerating any sub-constant rate of random errors exist using a black-box reduction from one-way functions. The key technical ingredient in our proof is the hypercontractivity theorem for Boolean functions, which we use to prove our impossibility in the random oracle model. It turns out that this easily extends to an impossibility in the presence of ``crypto oracles,'' a notion recently introduced -- and shown to be capable of implementing all the primitives mentioned above -- by Lin, Mook, and Wichs (EUROCRYPT 2025).
format Preprint
id arxiv_https___arxiv_org_abs_2506_01854
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Black-Box Crypto is Useless for Pseudorandom Codes
Garg, Sanjam
Gunn, Sam
Wang, Mingyuan
Cryptography and Security
Computational Complexity
A pseudorandom code is a keyed error-correction scheme with the property that any polynomial number of encodings appear random to any computationally bounded adversary. We show that the pseudorandomness of any code tolerating a constant rate of random errors cannot be based on black-box reductions to almost any generic cryptographic primitive: for instance, anything that can be built from random oracles, generic multilinear groups, and virtual black-box obfuscation. Our result is optimal, as Ghentiyala and Guruswami (2024) observed that pseudorandom codes tolerating any sub-constant rate of random errors exist using a black-box reduction from one-way functions. The key technical ingredient in our proof is the hypercontractivity theorem for Boolean functions, which we use to prove our impossibility in the random oracle model. It turns out that this easily extends to an impossibility in the presence of ``crypto oracles,'' a notion recently introduced -- and shown to be capable of implementing all the primitives mentioned above -- by Lin, Mook, and Wichs (EUROCRYPT 2025).
title Black-Box Crypto is Useless for Pseudorandom Codes
topic Cryptography and Security
Computational Complexity
url https://arxiv.org/abs/2506.01854