• Keine Ergebnisse gefunden

Gitter und Kryptographie Blatt 7, 01.06.2018, Abgabe 08.06.2018

N/A
N/A
Protected

Academic year: 2021

Aktie "Gitter und Kryptographie Blatt 7, 01.06.2018, Abgabe 08.06.2018"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Prof. C. P. Schnorr Sommersemester 2018

Gitter und Kryptographie

Blatt 7, 01.06.2018, Abgabe 08.06.2018 Identikation (P, V ) MV

(geh. Schl. w mit ||Bw − y|| ≤ t , u = y − Bw , (B, y, t) ist JA - Instanz ) 1. P wählt r iR B m (0, γt/2 − t) ∩ Z m für i = 1, ..., k verschiebt r i zu

m i := r i + Bv i ∈ P (B) (Grundmasche) und sendet m 1 , ..., m k an V . 2. V sendet q = (q 1 , . . . , q k ) ∈ R {0, 1} k

3. P sendet für i = 1, . . . , k : den Vektor Bv i − q i (u + y)

4. V akzeptiert wenn ||m i − Bv i + q i (u + y) − q i y|| ≤ γt/2 für i = 1, . . . , k . Korrektheit: V akzeptiert immer, wenn P dem Protokoll folgt (gilt weil

||m i − Bv i + q i (u + y) − q i y|| = ||m i − m i + r i + q i u|| ≤ ||r i || + ||u|| ≤ γt/2 − t + t = γt/2 ).

Aufgabe 1: Der triviale P hat mit Ws 2 −k Erfolg, indem er q = (q 1 , . . . , q k ) errät und m 1 , . . . , m k entsprechend" bestimmt. Die Ws bezieht sich auf die Zufallsbits von P .

Aufgabe 2. Angenommen P kennt zu m i Werte v i,q ∈ Z n so dass

||m i −Bv i,q −qy|| ≤ γt/2 für q ∈ {0, 1} . Dann gilt ||Bv i,0 −Bv i,1 −y|| ≤ γt . Aufgabe 3. Skizziere einen Extraktor AL P

zum pol.- Zeit P von Auf- gabe 2. P bestehe mit Ws 1 2 (1 + ε) für beide q i ∈ {0, 1} den Test ||m i − Bv i + q i (u + y)|| ≤ γt/2 . Zeige dass AL P

die von P in Schritt 3 gesendeten erfolgreichen Werte Bv i,q

i

− q i (u + v) für beide q i = 0, 1 und ein geeignetres i mit 1 ≤ i ≤ k extrahiert so dass ||Bv i,0 − Bv i,1 − y|| ≤ γt .

Punktzahl pro Aufgabe 1, 2, 3 : 4, 4, 6

Referenzen