IACR Communications in Cryptology · 2024 · 13 citations · 4 references
ComputingComputer ScienceComputer SecurityCryptographySecurity ProtocolsCryptographic Protocol DesignCryptographic ProtocolsProtocol VerificationSecret SharingSecure Multi-party ComputationSecurity Protocol VerificationProtocol Security ProofsSecret Sharing SchemesSecurity ProofsSecurity Properties Of ProtocolsVerifiable ComputationVerifiable Secret Sharing
Verifiable secret sharing (VSS) protocols enable parties to share secrets while guaranteeing security (in particular, that all parties hold valid and consistent shares) even if the dealer or some of the participants are malicious. Most work on VSS focuses on the honest majority case, primarily since it enables one to guarantee output delivery (e.g., a corrupted recipient cannot prevent an honest dealer from sharing their value). Feldman's VSS is a well known and popular protocol for this task and relies on the discrete log hardness assumption. In this paper, we present a variant of Feldman's VSS for the dishonest majority setting and formally prove its security. Beyond the basic VSS protocol, we present a publicly-verifiable version, as well as show how to securely add participants to the sharing and how to refresh an existing sharing (all secure in the presence of a dishonest majority). We prove that our protocols are UC secure, for appropriately defined ideal functionalities.
4
Universally composable security: a new paradigm for cryptographic protocols
Ran Canetti · 2001 · 3.3K citations
Security and Composition of Multiparty Cryptographic Protocols
Ran Canetti · Journal of Cryptology · 2000 · 1.4K citations · Full text
A practical scheme for non-interactive verifiable secret sharing
Paul Feldman · 1987 · 1.1K citations