Persistent URL of this record https://hdl.handle.net/1887/70036
Documents
-
- Download
- Title pages_Contents
- open access
-
- Download
- Bibliography
- open access
-
- Download
- Summary in English
- open access
-
- Download
- Summary in Dutch
- open access
-
- Download
- Acknowledgements_Curriculum Vitae
- open access
-
- Download
- Propositions
- open access
In Collections
This item can be found in the following collections:
Two-Prover Bit-Commitments: Classical, Quantum and Non-Signaling
A commitment scheme is a cryptographic protocol solving the following problem: One party, the prover, has selected a value which he wants to keep secret at first. The prover wants to have the option to reveal it to the other party, the verifier, at a later time, but the verifier wants a guarantee that no value other than the originally selected one can be revealed.
Standard commitment schemes can only be proven secure with computational hardness assumptions. This can be circumvented by splitting the prover into multiple entities and restricting their communication, e.g., no communication at all, or communication only with a...Show moreThis thesis considers multi-prover commitment schemes whose security is based on restrictions on the communication between the provers. The results are applicable to so-called relativistic commitment schemes: schemes whose security is guaranteed by the fact that information does not travel faster than the speed of light.
A commitment scheme is a cryptographic protocol solving the following problem: One party, the prover, has selected a value which he wants to keep secret at first. The prover wants to have the option to reveal it to the other party, the verifier, at a later time, but the verifier wants a guarantee that no value other than the originally selected one can be revealed.
Standard commitment schemes can only be proven secure with computational hardness assumptions. This can be circumvented by splitting the prover into multiple entities and restricting their communication, e.g., no communication at all, or communication only with a delay (as in relativistic commitment schemes).
This dissertation introduces new methods for analyzing and designing such multi-prover schemes. As an application, we show that the Lunghi et al. commitment scheme from 2015 has much stronger security that their original analysis indicated.Show less
- All authors
- Fillinger, M.J.
- Supervisor
- Fehr, S.
- Committee
- Jeffery, S.; Kent, A.; Smit, B. de; Vaart, A. van der; Wolf, S.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Mathematical institute , Faculty of Science , Leiden University
- Date
- 2019-03-19
Funding
- Sponsorship
- NWO (Free Competition grant 617.001.203)