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