Ques-Chain: Ethereum Based E-Voting System - ぴょこぴょこブログ

論文

$BlindedBallot = Enc(r, Hash(ballot) + uuid)$

$SignedBlindedBallot = Enc(sk, BB)$

$SignedBallot = Dec(r, SBB) = Dec(r, Enc(sk, Enc(r, m))$ ( $m=Hash(ballot) + uuid)$ とする)

ここでBlind Signatureでは

$x:=Blind(m)$

$y:=Sign(x)$

$Unblind(y)=Sign(m)$

が成立している(証明)ので、

$\begin{eqnarray} SignedBallot = Dec(r, Enc(sk, Enc(r, m))) \\ = Unblind(Sign(Blind(m))) \\ = Sign(m) \\ = Enc(sk,m) \end{eqnarray}$

が成立していることがわかる。