Search

Home > Bitstaub > BS026 – zkSNARKs
Podcast: Bitstaub
Episode:

BS026 – zkSNARKs
Category: Education
Duration: 01:46:38
Publish Date: 2016-12-05 09:44:28
Description: 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
Total Play: 0

Users also like

1K+ Episodes
Bitcoin Info .. 100+     8
400+ Episodes
Domian Archi .. 24K+     200+
600+ Episodes
Beste Freund .. 10K+     300+