mirror of https://github.com/zcash/zips.git
Add a macro for cross-referencing theorems.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
efd8551ddf
commit
518c7da42d
|
@ -127,6 +127,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\renewcommand{\paragraphautorefname}{\S\!}
|
\renewcommand{\paragraphautorefname}{\S\!}
|
||||||
\renewcommand{\subparagraphautorefname}{\S\!}
|
\renewcommand{\subparagraphautorefname}{\S\!}
|
||||||
\newcommand{\crossref}[1]{\autoref{#1}\, \emph{`\nameref*{#1}\kern -0.05em'} on p.\,\pageref*{#1}}
|
\newcommand{\crossref}[1]{\autoref{#1}\, \emph{`\nameref*{#1}\kern -0.05em'} on p.\,\pageref*{#1}}
|
||||||
|
\newcommand{\theoremref}[1]{\autoref{#1} on p.\,\pageref*{#1}}
|
||||||
|
|
||||||
% https://tex.stackexchange.com/a/60212/78411
|
% https://tex.stackexchange.com/a/60212/78411
|
||||||
\newcommand{\subsubsubsection}[1]{\paragraph{#1}\mbox{}\\}
|
\newcommand{\subsubsubsection}[1]{\paragraph{#1}\mbox{}\\}
|
||||||
|
@ -4458,7 +4459,7 @@ since $G$ is of odd order \cite{KvE2013}).
|
||||||
\end{proof}
|
\end{proof}
|
||||||
|
|
||||||
\vspace{0.5ex}
|
\vspace{0.5ex}
|
||||||
\begin{theorem}
|
\begin{theorem} \label{thmselectuinjective}
|
||||||
$\Selectu$ is injective on $G$.
|
$\Selectu$ is injective on $G$.
|
||||||
\end{theorem}
|
\end{theorem}
|
||||||
|
|
||||||
|
@ -7149,7 +7150,7 @@ can be safely used:
|
||||||
\newcommand{\halfs}{\frac{s-1}{2}}
|
\newcommand{\halfs}{\frac{s-1}{2}}
|
||||||
|
|
||||||
\introlist
|
\introlist
|
||||||
\begin{theorem}
|
\begin{theorem} \label{thmdistinctxcriterion}
|
||||||
Let $Q$ be a point of odd-prime order $s$ on a Montgomery curve $E_{\ParamM{A},\ParamM{B}} / \GF{\ParamS{r}}$.
|
Let $Q$ be a point of odd-prime order $s$ on a Montgomery curve $E_{\ParamM{A},\ParamM{B}} / \GF{\ParamS{r}}$.
|
||||||
Let $k_{\barerange{1}{2}}$ be integers in $\rangenozero{-\halfs}{\halfs}$.
|
Let $k_{\barerange{1}{2}}$ be integers in $\rangenozero{-\halfs}{\halfs}$.
|
||||||
Let $P_i = \scalarmult{k_i}{Q} = (x_i, y_i)$ for $i \in \range{1}{2}$, with
|
Let $P_i = \scalarmult{k_i}{Q} = (x_i, y_i)$ for $i \in \range{1}{2}$, with
|
||||||
|
|
Loading…
Reference in New Issue