Publicly Verifiable Secret Sharing

In cryptography, a secret sharing scheme is publicly verifiable (PVSS) if it is a verifiable secret sharing scheme and if any party involved can verify the validity of the shares distributed by the dealer.quotation
In verifiable secret sharing (VSS) the object is to resist malicious players, such as
(i) a dealer sending incorrect shares to some or all of the participants, and
(ii) participants submitting incorrect shares during the reconstruction protocol,cf. [CGMA85] .
In publicly verifiable secret sharing (PVSS), as introduced by Stadler [Sta96] , it is an explicit goal that not just the participants can verify theirown shares, but that anybody can verify that the participants received correct shares.Hence, it is explicitly required that $i$ can be verified publicly.
Berry Schoenmakers. A Simple Publicly Verifiable Secret Sharing Scheme and its Application to Electronic Voting .

The method introduced here according to the paper by: [http://eprint.iacr.org/2004/201.ps Chunming Tang and Dingyi Pei and Zhuo Liu and Yong He] is non-interactive and maintains this property through out the protocol.

Initialization

The PVSS scheme dictates an initialization process in which:
#All system parameters are generated.
#Each participant must have a registered public key.

Excluding the initialization process, the PVSS consists of two phases:

Distribution

1.Distribution of secret $s$ shares is preformed by the dealer $D$, which does the following:
* The dealer creates $s\_\{1\},s\_\{2\}...s\_\{n\}$ for each $P\_\{1\},P\_\{2\}...P\_\{n\}$ respectively.
* The dealer publishes the encrypted share $E\_\{i\}(s\_\{i\})$ for each participant $P\_\{i\}$.
* The dealer also publishes a string $PROOF\_\{D\}$ to show that each $E\_\{i\}$ encrypts $s\_\{i\}$(note: $PROOF\_\{D\}$ guarantees that the reconstruction protocol will result in the same $s$.

2. Verification of the shares:
* Anybody knowing the public keys for the encryption methods $E\_\{i\}$, can verify the shares.
* If one or more verifications fails the dealer fails and the protocol is aborted.

Reconstruction

1. Decryption of the shares:
* The Participants $P\_\{i\}$ decrypts their share of the secret $s\_\{i\}$ using $E\_\{i\}(s\_\{i\})$.(note: fault-tolerance can be allowed here: its not required that all participants succeed in decrypting $E\_\{i\}(s\_\{i\})$ as long long as a qualified set of participant are successful to decrypt $s\_\{i\}$).
* The participant release $s\_\{i\}$ plus a string $PROOF\_\{P\_\{i$ this shows the released share is correct.

2. Pooling the shares:
* Using the strings $PROOF\_\{P\_\{i$ to exclude the participants which are dishonest or failed to decrypt $E\_\{i\}(s\_\{i\})$.
* Reconstruction $s$ can be done from the shares of any qualified set of participants.

Chaums and Pedersen Scheme

A proposed protocol proving: $log\_\{\_\{g1h\_\{1\}\; =\; log\_\{\_\{g2h\_\{2\}$ :
#The prover chooses a random
#The verifier send a random challenge
#The prover responds with $s\; =\; r\; -\; c\; x(mod\{q\})$
#The verifier checks $alpha\_1\; =\; g\_\{1\}^s\; h\_\{1\}^c$ and $alpha\_2\; =\; g\_\{2\}^s\; h\_\{2\}^c$

Denote this protocol as: $DLEQ(g\_1,\; h\_1,g\_2,h\_2)$
A generalization of $DLEQ(g\_1,\; h\_1,g\_2,h\_2)$ is denoted as: $DLEQ(X,\; Y,\; g\_1,\; h\_1,g\_2,h\_2)$ where as: $X\; =\; g\_\{1\}^\{x\_1\}g\_\{2\}^\{x\_2\}$ and $Y\; =\; h\_\{1\}^\{x\_1\}h\_\{2\}^\{x\_2\}$:
#The prover chooses a random $r\_1,r\_2\; in\; Z\_\{q\}^*$ and sends $t\_1\; =\; g\_\{1\}^\{r\_1\}\; g\_\{2\}^\{r\_2\}$ and $t\_2\; =\; h\_\{1\}^\{r\_1\}\; h\_\{2\}^\{r\_2\}$
#The verifier send a random challenge .
#The prover responds with $s\_1\; =\; r\_1\; -\; cx\_1\; (mod\{q\})$ , $s\_2\; =\; r\_2\; -\; cx\_2\; (mod\{q\})$.
#The verifier checks $t\_1\; =\; X^c\; g\_\{1\}^\{s\_1\}g\_\{2\}^\{s\_2\}$ and $t\_2\; =\; Y^c\; h\_\{1\}^\{s\_1\}h\_\{2\}^\{s\_2\}$

Chaums and Pedersen method is an interactive method and needs some modification to be used in non-interactive way:Replacing the randomly chosen $c$ by a 'secure hash' function with $m$ as input value.

ee also

* Verifiable secret sharing

References

* Chunming Tang, Dingyi Pei, Zhuo Liu and Yong He, Non-Interactive and Information-Theoretic Secure Publicly Verifiable Secret Sharing [http://eprint.iacr.org/2004/201.ps]

* Markus Stadler, Publicly Verifiable Secret Sharing [http://www.ubilab.org/publications/print_versions/pdf/sta96.pdf]

* Berry Schoenmakers, A Simple Publicly Verifiable Secret Sharing Scheme and its Application to Electronic Voting, Advances in Cryptology—CRYPTO, 1999, pages 148–164 [http://www.win.tue.nl/~berry/papers/crypto99.pdf]