Mercurial > pysmcl
changeset 33:d2c52d02b030
Updated the name of random-bit to random\_bit
| author | Sigurd Meldgaard <stm@daimi.au.dk> |
|---|---|
| date | Mon, 25 May 2009 13:25:07 +0200 |
| parents | 785e5686fad3 |
| children | 95c5e9e0c5f8 |
| files | semantics/semantics.tex |
| diffstat | 1 files changed, 5 insertions(+), 5 deletions(-) [+] |
line wrap: on
line diff
--- a/semantics/semantics.tex Mon May 25 13:27:35 2009 +0200 +++ b/semantics/semantics.tex Mon May 25 13:25:07 2009 +0200 @@ -43,9 +43,9 @@ &$\mid$& $\nt{e}\circ (\nt{e}_2)$ &\mbox{\rm binary operation, $\circ \in \{+,-,*,<,\leq,=\}$}\\ &$\mid$& \nt{e}$_1$.get(\nt{e}$_2$) &\mbox{\rm retrieve secret value from party \nt{e}$_1$}\\ &$\mid$& \KWD{open}(\nt{e}$_1$) &\mbox{\rm result of \nt{e} is revealed}\\ - &$\mid$& \KWD{random-element}() &\mbox{\rm a random secret number}\\ - &$\mid$& \KWD{random-multiplicative}() &\mbox{\rm a random secret number different from zero}\\ - &$\mid$& \KWD{random-bit}() &\mbox{\rm a random secret bit (0 or 1)}\\ + &$\mid$& \KWD{random}() &\mbox{\rm a random secret number}\\ + &$\mid$& \KWD{random\_multiplicative}() &\mbox{\rm a random secret number different from zero}\\ + &$\mid$& \KWD{random\_bit}() &\mbox{\rm a random secret bit (0 or 1)}\\ \end{tabular}\vspace{1cm} % \end{boxeddisp} \end{center} @@ -145,8 +145,8 @@ &range(e_1==e_2)=(0;1)\\ &range(e_1\leq e_2)=(0;1)\\ &range(n)=(n;n)\\ -&range(random())=(0;p-1)\\ -&range(random-bit())=(0;1)\\ +&range(\KWD{random}())=(0;p-1)\\ +&range(\KWD{random\_bit}())=(0;1)\\ \end{align*} The range becomes $\bot$ when the endpoints of a range exceeds 0 or