spec grammar fix

This commit is contained in:
Markus Teich 2016-06-28 16:51:55 +02:00
parent fb2bf04d38
commit 81fb449262

View File

@ -119,7 +119,7 @@ with a corresponding Proof 2 for $ECDL(\gamma_{ij}^{\times a}) = ECDL(\delta_{ij
\subsubsection{Round 3: Decrypt outcome} \subsubsection{Round 3: Decrypt outcome}
$\forall i,j:$ Send $\varphi_{ij}^{\times a} = $\forall i,j:$ Send $\varphi_{ij}^{\times a} =
x_{+a}\left(\sum_{h=1}^n\delta_{ij}^{\times h}\right)$ with a Proof 2 x_{+a}\left(\sum_{h=1}^n\delta_{ij}^{\times h}\right)$ with a Proof 2 showing
$ECDL(\varphi_{ij}^{\times a}) = ECDL(Y_{\times a})$ to the seller who publishes $ECDL(\varphi_{ij}^{\times a}) = ECDL(Y_{\times a})$ to the seller who publishes
all $\varphi_{ij}^{\times h}$ and the corresponding proofs of correctness for all $\varphi_{ij}^{\times h}$ and the corresponding proofs of correctness for
each $i, j$ and $h \neq i$ after having received all of them. each $i, j$ and $h \neq i$ after having received all of them.