non-malleable extractors

27
Non-Malleable Extractors Gil Cohen Weizmann Institute Joint work with Ran Raz and Gil Segev

Upload: amandla

Post on 23-Feb-2016

53 views

Category:

Documents


0 download

DESCRIPTION

Non-Malleable Extractors. Gil Cohen Weizmann Institute Joint work with Ran Raz and Gil Segev. Seeded Extractors. 0. 1. Seeded Extractor. Seeded Extractors. 11. 00. 10. 01. 01. 00. 10. 11. Seeded Extractor. Strong Seeded Extractor. Seeded Extractors. 11. 10. 101. 100. - PowerPoint PPT Presentation

TRANSCRIPT

Non-Malleable Extractors

Gil CohenWeizmann Institute

Joint work withRan Raz and Gil Segev

2𝑛

2𝑑

2𝑘

Seeded Extractors

10

Seeded Extractor

Seeded Extractors

2𝑛

2𝑑

000111 10 2𝑘

Seeded Extractor

2𝑑

Strong SeededExtractor

2𝑘00

0110

11

Seeded Extractors

2𝑛

2𝑑

000111

2𝑘

Seeded Extractor

2𝑑

000

101

100

111

…… No limitation

Small-Bias Set

10

Non-Malleable Extractors [DodisWichs09]

Seeded Extractor Strong SeededExtractor

2𝑑

2𝑘

Non-MalleableExtractor

0

1

0

0

1

𝐴 (𝑠 ) 𝑠

The Explicit Construction of [DodisLiWooleyZuckerman11]

• Conditional efficiency

The Explicit Construction of [DodisLiWooleyZuckerman11]

• Conditional efficiency

The Explicit Construction of [DodisLiWooleyZuckerman11]

• Conditional efficiency

The Explicit Construction of [DodisLiWooleyZuckerman11]

• Conditional efficiency

Main Result

• Unconditionally efficient

Main Result

• Unconditionally efficient

Main Result

• Unconditionally efficient

Main Result

• Unconditionally efficient

Explicit Constructions [Li12]

Moreover, Bourgain’s extractor is non-malleable.

The Construction

Raz’s Theorem [Raz05]

is a

Proof Sketch

Proof Idea

𝑊

𝑠 𝐴 (𝑠 )𝑍1𝑍 2⋯

Proof Idea

𝑊

𝑠 𝐴 (𝑠 )

𝐸𝑥𝑡 (𝑊 ;𝑠 )𝐸𝑥𝑡 (𝑊 ; 𝐴 (𝑠 ) )

is typically biased (say towards 0).

Proof Idea

𝑊

𝑠 𝐴 (𝑠 )

𝐸𝑥𝑡 (𝑊 ;𝑠 )𝐸𝑥𝑡 (𝑊 ; 𝐴 (𝑠 ) )

is typically biased (say towards 0).

Proof Idea

𝑠 𝐴 (𝑠 )

𝑠𝐴 (𝑠 )

𝑏𝑖𝑎𝑠 (𝑌𝑠 )

Proof Idea

𝑠 𝐴 (𝑠 )

𝑠𝐴 (𝑠 )

𝑏𝑖𝑎𝑠 (𝑌𝑠 )Acyclic

Many verticesAverage edge weight is large

Proof Idea

𝑠 𝐴 (𝑠 )

𝑠𝐴 (𝑠 )

𝑏𝑖𝑎𝑠 (𝑌𝑠 )Acyclic

Many verticesAverage edge weight is large

Proof Idea

⋯ 𝑍 𝑠⊕ 𝑍𝐴 (𝑠 )⋯

Small-Bias Set

[Raz05] implies that this is also an

extractor𝑊

stands in contradiction!

𝑌 𝑠=E 𝑥𝑡 (𝑊 ; 𝑠 )⊕𝐸𝑥𝑡 (𝑊 ; 𝐴 (𝑠) )

Open Questions

? Construct a non-malleable extractor for smaller min-entropies, or prove this is hard.

? Waiting for applications to complexity (as apposed to cryptography).

Open Questions

Thank You!