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
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