Two-Prover Bit-Commitments: Classical, Quantum and Non-Signaling

Leiden Repository

Two-Prover Bit-Commitments: Classical, Quantum and Non-Signaling

Type: Doctoral Thesis
Title: Two-Prover Bit-Commitments: Classical, Quantum and Non-Signaling
Author: Fillinger, M.J.
Issue Date: 2019-03-19
Keywords: Bit commitment
Foundations
Relativistic bit commitment
Quantum cryptography
Abstract: This 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.
Promotor: Supervisor: Fehr S.
Faculty: Faculty of Science
University: Leiden University
Handle: http://hdl.handle.net/1887/70036
 

Files in this item

Description Size View
application/pdf Full text 1.544Mb View/Open
application/pdf Cover 105.3Kb View/Open
application/pdf Title pages_Contents 308.8Kb View/Open
application/pdf Chapter 1 647.0Kb View/Open
application/pdf Chapter 2 569.7Kb View/Open
application/pdf Chapter 3 594.4Kb View/Open
application/pdf Chapter 4 710.6Kb View/Open
application/pdf Chapter 5 650.4Kb View/Open
application/pdf Chapter 6 732.1Kb View/Open
application/pdf Bibliography 302.3Kb View/Open
application/pdf Summary in English 292.7Kb View/Open
application/pdf Summary in Dutch 292.6Kb View/Open
application/pdf Acknowledgements_Curriculum Vitae 270.3Kb View/Open
application/pdf Propositions 176.6Kb View/Open

This item appears in the following Collection(s)