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
Hallo ihr,
danke für den Podcast.Werd ihn wohl noch einigemale anhören müssen bis ich es einigermaßen verstanden habe.Man muß wohl auch erstmal seine Mathewissen auffrischen um das ganze zu verstehen.
Beste Grüße
Michael