Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Benoit Viguier
coqveriftweetnacl
Commits
4c0a09fc
Commit
4c0a09fc
authored
Jan 14, 2020
by
Benoit Viguier
Browse files
fix hyphen
parent
5d367840
Changes
2
Hide whitespace changes
Inline
Sidebyside
paper/2preliminaries.tex
View file @
4c0a09fc
...
...
@@ 91,7 +91,7 @@ equation $y^2 = x^3 + 486662 x^2 + x$.
For every
$
x
\in
\F
{
p
}$
there exists a point
$
P
$
in
$
E
(
\F
{
p
^
2
}
)
$
such that
$
x
$
is the
\xcoord
of
$
P
$
.
The core of the X25519 keyexchange protocol is a scalar

multiplication
The core of the X25519 keyexchange protocol is a scalar
\hyp
{}
multiplication
function, which we will also refer to as X25519.
This function receives as input two arrays of
$
32
$
bytes each.
One of them is interpreted as the littleendian encoding of a
...
...
@@ 197,7 +197,7 @@ sv M(gf o,const gf a,const gf b) {
After the multiplication, the limbs of the result
\texttt
{
o
}
are
too large to be used again as input.
% which is why
% which is why
The two calls to
\TNaCle
{
car25519
}
at the end of
\TNaCle
{
M
}
propagate the carries through the limbs:
\begin{lstlisting}
[language=Ctweetnacl]
...
...
paper/setup.sty
View file @
4c0a09fc
...
...
@@ 41,7 +41,7 @@
\newenvironment
{
informaltheorem
}{
\medskip\itshape\noindent
}{
\medskip
}
\usepackage
{
hyphenat
}
\floatstyle
{
ruled
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment