Completed
Open questions Composability of such schemes.
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Relativistic or 2 Prover 1 Round Zero Knowledge Protocol for NP Secure Against Quantum Adversaries
Automatically move to the next video in the Classroom when playback concludes
- 1 Initial motivation
- 2 Motivation (2)
- 3 Concrete example: Sigma protocols
- 4 Sigma protocols (2) - How to go from 1 to 2 challenges?
- 5 Quantum consecutive measurements
- 6 Recap of the problem
- 7 Main theorems
- 8 Tightness of the bounds.
- 9 Application of the bound Proofs of knowledge
- 10 Construction
- 11 Relativistic Fobit commitment
- 12 ZK protocol for Hamiltonian Cycle (informal) . Given a graph G. does there exista closed path going thought al nodes without using the same edge twice?
- 13 Open questions Composability of such schemes.
