ETH Zürich » Computer Science » Theory » Cryptography

Publications: Abstract

Computational Verifiable Secret Sharing Revisited

Michael Backes, Aniket Kate, Arpita Patra

Verifiable secret sharing (VSS) is an important primitive in distributed cryptography that allows a dealer to share a secret among $n$ parties in the presence of an adversary controlling at most $t$ of them. In the computational} setting, the feasibility of VSS schemes based on commitments was established over two decades ago. Interestingly, all known computational VSS schemes rely on the homomorphic nature of these commitments or achieve weaker guarantees. As homomorphism is not inherent to commitments or to the computational setting in general, a closer look at its utility to VSS is called for. In this work, we demonstrate that homomorphism of commitments is not a necessity for computational VSS in the synchronous or in the asynchronous communication model. We present new VSS schemes based only on the definitional properties of commitments that are almost as good as the existing VSS schemes based on homomorphic commitments. Importantly, they have significantly lower communication complexities than their (statistical or perfect) unconditional counterparts.

Further, in the synchronous communication model, we observe that a crucial interactive complexity measure of round complexity} has never been formally studied for computational VSS. Interestingly, for the optimal resiliency conditions, the least possible round complexity in the known computational VSS schemes is identical to that in the (statistical or perfect) unconditional setting: three rounds. Considering the strength of the computational setting, this equivalence is certainly surprising. In this work, we show that three rounds are actually not mandatory for computational VSS. We present the first two-round VSS scheme for $n\geq 2t+1$ and lower-bound the result tightly by proving the impossibility of one-round computational VSS for $t\geq 2$ or $n \leq 3t$. We also include a new two-round VSS scheme using homomorphic commitments that has the same communication complexity as the well-known three-round Feldman and Pedersen VSS schemes.