Advertisement

On Verification in Secret Sharing

  • Cynthia Dwork
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 576)

Abstract

Verifiable Secret Sharing (VSS) has proven to be a powerful tool in the construction of fault-tolerant distributed algorithms. Previous results show that Unverified Secret Sharing, in which there are no requirements when the dealer is faulty during distribution of the secret, requires the same number of processors as VSS. This is counterintuitive: verification that the secret is well shared out should come at a price. In this paper, by focussing on information leaked to nonfaulty processors during verification, we separate a certain strong version of Unverified Secret Sharing (USS) from its VSS analogue in terms of the required number of processors. The proof of the separation theorem yields information about communication needed for the original VSS problem. In order to obtain the separation result we introduce a new definition of secrecy, different from the Shannon definition, capturing the intuition that “information” received from faulty processors may not be informative at all.

Keywords

Secret Sharing Broadcast Channel View Versus Faulty Processor Small Coalition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [1]
    D. Beaver, and S. Goldwasser, Multiparty Computation with Faulty Majority, Proc. 30th Symp. on Foundations of Comp. Science, pp. 468–473, 1989.Google Scholar
  2. [2]
    M. Ben-Or, S. Goldwasser, and A. Wigderson, Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation, Proc. 20th Symp. on Theory of Computing, pp. 1–10, 1988.Google Scholar
  3. [3]
    D. Chaum, C. Crepeau, and I. Damgard, Multiparty Unconditionally Secure Protocols, Proc. 20th Symp. on Theory of Computing, 11–19, 1988.Google Scholar
  4. [4]
    B. Chor, S. Goldwasser, S. Micali, and B. Awerbuch, Verifiable Secret Sharing and Achieving Simultaneity in the Presence of Faults, Proc. 26 Symp. on Foundations of Computing, pp. 383–395, 1985.Google Scholar
  5. [5]
    B. Chor, and M. Rabin, Achieving Independence in Logarithmic Number of Rounds, Proc. 6th Annual ACM Symp. on Principles of Distributed Computing, pp. 260–268 (1987).Google Scholar
  6. [6]
    C. Dwork, Strong Verifiable Secret Sharing, to appear, Proc. 4th International Workshop on Distributed Algorithms (1990), Springer Verlag.Google Scholar
  7. [7]
    D. Dolev, C. Dwork, O. Waarts, and M. Yung, Perfectly Secure Message Transmission, Proc. 31st Annual Symposium on Foundations of Computer Science, pp. 36–45 (1990).Google Scholar
  8. [8]
    P. Feldman, and S. Micali, Optimal Algorithms for Byzantine Agreement, Proc. 20th Symp. on Theory of Computing, pp. 148–161, 1988.Google Scholar
  9. [9]
    O. Goldreich, S. Micali, and A. Wigderson, How to Play Any Mental Game, Proc. 19th Symp. on Theory of Computing, pp. 218–229, 1987.Google Scholar
  10. [10]
    S. Goldwasser, S. Micali, and C. Rackoff, The Knowledge Complexity of Interactive Proof-Systems, Proc. 17th Annual ACM Symposium on Theory of Computing (1985), pp. 291–304.Google Scholar
  11. [11]
    J. Halpern and Y. Moses, Knowledge and Common Knowledge in a Distributed Environment, JACM 37(3), pp. 549–587, 1990.zbMATHCrossRefMathSciNetGoogle Scholar
  12. [12]
    R. McEliece and D. Sarwate, On Sharing Secrets and Reed-Solomon Codes, CACM 24(9), pp. 583–584, 1981.MathSciNetGoogle Scholar
  13. [13]
    T. Rabin, and M. Ben-Or, Verifiable Secret Sharing and Multiparty Protocols with Honest Majority, Proc. 21st Symp. on Theory of Computing, pp. 73–85, 1989.Google Scholar
  14. [14]
    A. Shamir, How to Share a Secret, CACM 22, pp. 612–613, 1979.zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Cynthia Dwork
    • 1
  1. 1.IBM Almaden Research CenterSan Jose

Personalised recommendations