Zu Gast: Christian Reitwiessner @ethchris

https://blog.ethereum.org/2016/12/05/zksnarks-in-a-nutshell/

Succinct Non interactive ARguments of Knowledge

Verifikation weniger aufwändig als Berechnung selbst

Common reference String

Argument versus Beweis

Public verifier

Designated verifier

Zero Knowledge Beispiel

Graphfärbbarkeit (3 Farben)

Prover hat Karte (bzw nicht-planaren Graphen) und behauptet, sie ist 3-färbbar

P = NP?

https://de.wikipedia.org/wiki/P-NP-Problem

P: Deterministisch in Polynomialzeit lösbar (n^3 z.B.)

NP: Gegebene Lösung in Polynomialzeit verifizierbar

Quadratic Span Program / Quadratic Arithmetic Polynomial

Trusted Setup

Homomorph (Fully) - Pairing-Funktion: einfach multiplikativ homomorph

passt zu einmaliger polynom-multiplikation

Buch: “Complexity Theory a modern approach”

http://theory.cs.princeton.edu/complexity/

PCP-Theorem

https://de.wikipedia.org/wiki/PCP-Theorem

Alessandro Chiesa (SF Ethereum Meetup)

https://www.youtube.com/watch?v=g-HhDyXPWZc