Non-Malleable Codes for Small-Depth Circuits

02/21/2018
by   Marshall Ball, et al.
0

We construct efficient, unconditional non-malleable codes that are secure against tampering functions computed by small-depth circuits. For constant-depth circuits of polynomial size (i.e. AC^0 tampering functions), our codes have codeword length n = k^1+o(1) for a k-bit message. This is an exponential improvement of the previous best construction due to Chattopadhyay and Li (STOC 2017), which had codeword length 2^O(√(k)). Our construction remains efficient for circuit depths as large as Θ((n)/(n)) (indeed, our codeword length remains n≤ k^1+ϵ), and extending our result beyond this would require separating P from NC^1. We obtain our codes via a new efficient non-malleable reduction from small-depth tampering to split-state tampering. A novel aspect of our work is the incorporation of techniques from unconditional derandomization into the framework of non-malleable reductions. In particular, a key ingredient in our analysis is a recent pseudorandom switching lemma of Trevisan and Xue (CCC 2013), a derandomization of the influential switching lemma from circuit complexity; the randomness-efficiency of this switching lemma translates into the rate-efficiency of our codes via our non-malleable reduction.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/10/2018

Improved pseudorandom generators from pseudorandom multi-switching lemmas

We give the best known pseudorandom generators for two touchstone classe...
research
04/05/2023

Tight Correlation Bounds for Circuits Between AC0 and TC0

We initiate the study of generalized AC0 circuits comprised of negations...
research
04/07/2018

A Near-Optimal Depth-Hierarchy Theorem for Small-Depth Multilinear Circuits

We study the size blow-up that is necessary to convert an algebraic circ...
research
03/12/2018

Luby--Veličković--Wigderson revisited: Improved correlation bounds and pseudorandom generators for depth-two circuits

We study correlation bounds and pseudorandom generators for depth-two ci...
research
08/11/2020

The Maximum Length and Isomorphism of Circuit Codes with Long Bit Runs

Recently, Byrnes presented a formula for the maximum length of a symmetr...
research
01/03/2021

Symmetry Implies Isomorphism for Certain Maximum Length Circuit Codes

A classic result due to Douglas establishes that, for odd spread k and d...
research
11/29/2018

Small Hazard-free Transducers

Recently, an unconditional exponential separation between the hazard-fre...

Please sign up or login with your details

Forgot password? Click here to reset