Indistinguishability Obfuscation from Well-Founded Assumptions

08/21/2020
by   Aayush Jain, et al.
0

In this work, we show how to construct indistinguishability obfuscation from subexponential hardness of four well-founded assumptions. We prove: Let τ∈ (0,∞), δ∈ (0,1), ϵ∈ (0,1) be arbitrary constants. Assume sub-exponential security of the following assumptions, where λ is a security parameter, and the parameters ℓ,k,n below are large enough polynomials in λ: - The SXDH assumption on asymmetric bilinear groups of a prime order p = O(2^λ), - The LWE assumption over ℤ_p with subexponential modulus-to-noise ratio 2^k^ϵ, where k is the dimension of the LWE secret, - The LPN assumption over ℤ_p with polynomially many LPN samples and error rate 1/ℓ^δ, where ℓ is the dimension of the LPN secret, - The existence of a Boolean PRG in 𝖭𝖢^0 with stretch n^1+τ, Then, (subexponentially secure) indistinguishability obfuscation for all polynomial-size circuits exists.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/29/2023

Computational Quantum Secret Sharing

Quantum secret sharing (QSS) allows a dealer to distribute a secret quan...
research
04/30/2021

A Novel Provably Secure Key-Agreement Using Secret Subgroup Generator

: In this paper, a new key-agreement scheme is proposed and analyzed. In...
research
03/09/2020

A quantum secret sharing scheme with verifiable function

In the ( t,n) threshold quantum secret sharing scheme, it is difficult t...
research
06/28/2022

Indistinguishability Obfuscation of Circuits and its Application in Security

Under discussion in the paper is an i𝒪 (indistinguishability obfuscator)...
research
09/02/2018

On overcoming the Curse of Dimensionality in Neural Networks

Let H be a reproducing Kernel Hilbert space. For i=1,...,N, let x_i∈R^d ...
research
11/24/2019

Secure Sketch for All Noisy Sources

Secure sketch produces public information of its input w without reveali...
research
03/29/2023

Certified Hardness vs. Randomness for Log-Space

Let ℒ be a language that can be decided in linear space and let ϵ >0 be ...

Please sign up or login with your details

Forgot password? Click here to reset