Bitstaub

In diesem Podcast wollen wir die Technik hinter Bitcoin beleuchten, und über die neuesten Entwicklungen berichten.

https://bitstaub.diskordia.org

subscribe
share






BS026 – zkSNARKs


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


fyyd: Podcast Search Engine
share








 December 5, 2016  1h46m