Promotie
Two-Prover Bit-Commitments: Classical, Quantum and Non-Signaling
- Datum
- dinsdag 19 maart 2019
- Tijd
- Locatie
-
Academiegebouw
Rapenburg 73
2311 GJ Leiden
Promotor
- Prof.dr. S. Fehr
Het proefschrift draagt bij aan de theorie van multi-prover commitment schemes, in het bijzonder relativistische commitment schemes. Een commitment scheme is een cruciale bouwsteen voor cryptografische protocollen die partijen die elkaar niet vertrouwen in staat stellen om op een veilige manier samen te werken.
De eerste bijdrage van het proefschrift omvat nieuwe definities voor het bindend-zijn van een multi-prover commitment scheme. Deze definities hebben diverse voordelen boven de tot nu gebruikte sum-binding-defiiotie: ze zijn niet beperkt tot bit-commitment schemes, maar van toepassing voor commitment schemes met arbitraire, eindige domeinen. Ze blijven ook dichter bij de intuïtie en zijn makkelijker te gebruiken.
De tweede bijdrage is dat onze nieuwe definities ons in staat stellen om een vrij algemene compositie-stelling voor two-prover commitment schemes te bewijzen. We voegen twee commitment schemes samen door de provers aan de opening information van het eerste schema te laten 'committen' met het tweede scheme, en dan dit tweede commitment te openen. Dit onthult de opening information en dus wordt het eerst commitment geopend. We bewijzen dat het samengestelde scheme bindend is als de twee originele schemes bindend zijn en aan enkele lichte eisen voldoen.
De derde bijdrage is het bewijs dat er geen two-prover commitment schemes bestaan die veilig zijn tegen algemene non-signaling provers. Maar we kunnen ook een positief resultaat melden: we bewijzen dat een eenvoudige uitbreiding van CHSHq naar een three-prover commitment scheme compleet is, evenals verbergend voor een arbitraire oneerlijke verifier en bindend voor algemene non-signaling provers.
Bijwonen
Promoties zijn vrij toegankelijk, u hoeft zich niet aan te melden.
Proefschriften
Proefschriften van Leidse promovendi zijn na de promotie digitaal beschikbaar via het Leids Repositorium. De proefschriften op deze site zijn vrij toegankelijk. Alleen in sommige gevallen rust er een tijdelijk embargo op een proefschrift en wordt het proefschrift pas later volledig beschikbaar gesteld.
Persvragen
Maarten Muns, adviseur wetenschapscommunicatie Universiteit Leiden
m.a.muns@bb.leidenuniv.nl
071 527 3282