On the Composition of Two-Prover Commitments, and Applications to Multi-round Relativistic Commitments

详细信息    查看全文

• 刊名：Lecture Notes in Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：9666
• 期：1
• 页码：477-496
• 全文大小：408 KB
• 参考文献：1.Bavarian, M., Shor, P.W.: Information Causality, Szemerédi-Trotter and Algebraic Variants of CHSH. In: Roughgarden, T. (ed.) ITCS 2015, pp. 123–132. ACM (2015)
  2.Ben-Or, M., Goldwasser, S., Kilian, J., Wigderson, A.: Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions. In: Simon, J. (ed.) STOC 1988, pp. 113–131. ACM (1988)
  3.Chakraborty, K., Chailloux, A., Leverrier, A : Arbitrarily Long Relativistic Bit Commitment. ArXiv e-prints (2015). http://​arxiv.​org/​abs/​1507.​00239
  4.Clauser, J.F., Horne, M.A., Shimony, A., Holt, R.A.: Proposed Experiment to Test Local Hidden-Variable Theories. Phys. Rev. Lett. 23, 880–884 (1969)CrossRef
  5.Crépeau, C., Salvail, L., Simard, J.-R., Tapp, A.: Two Provers in Isolation. In: Lee, D.H., Wang, X. (eds.) ASIACRYPT 2011. LNCS, vol. 7073, pp. 407–430. Springer, Heidelberg (2011)CrossRef
  6.Fehr, S., Fillinger, M.: Multi-Prover Commitments Against Non-Signaling Attacks. In: Gennaro, R., Robshaw, M. (eds.) CRYPTO 2015. LNCS, vol. 9216, pp. 403–421. Springer, Heidelberg (2015)CrossRef
  7.Kent, A.: Unconditionally Secure Bit Commitment. Phys. Rev. Lett. 83(7), 1447–1450 (1999)MathSciNet CrossRef
  8.Kent, A.: Secure Classical Bit Commitment Using Fixed Capacity Communication Channels. J. Cryptology 18(4), 313–335 (2005)MathSciNet CrossRef MATH
  9.Lo, H.-K., Chau, H.F.: Is quantum bit commitment really possible? Phys. Rev. Lett. 78, 3410–3413 (1997)CrossRef
  10.Lunghi, T., Kaniewski, J., Bussières, F., Houlmann, R., Tomamichel, M., Wehner, S., Zbinden, H.: Practical Relativistic Bit Commitment. Phys. Rev. Lett. 115, 30502–30506 (2015)CrossRef
  11.Mayers, D.: Unconditionally Secure Quantum Bit Commitment is Impossible. Phys. Rev. Lett. 18, 3414–3417 (1997)CrossRef
  12.Sikora, J., Chailloux, A., Kerenidis, I.: Strong Connections Between Quantum Encodings, Non-Locality and Quantum Cryptography. Phys. Rev. A 89, 22334–22341 (2014)CrossRef
  
• 作者单位：Serge Fehr (15)
  Max Fillinger (15)
  
  15. Centrum Wiskunde and Informatica (CWI), Amsterdam, The Netherlands
  
• 丛书名：Advances in Cryptology – EUROCRYPT 2016
• ISBN：978-3-662-49896-5
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349
• 卷排序：9666

文摘

We consider the related notions of two-prover and of relativistic commitment schemes. In recent work, Lunghi et al. proposed a new relativistic commitment scheme with a multi-round sustain phase that keeps the binding property alive as long as the sustain phase is running. They prove security of their scheme against classical attacks; however, the proven bound on the error parameter is very weak: it blows up double exponentially in the number of rounds.