mirror of https://github.com/zcash/zips.git
LaTeX cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
0a528207c6
commit
1f64dcd31e
|
@ -220,7 +220,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\numberwithin{theorem}{subsection}
|
\numberwithin{theorem}{subsection}
|
||||||
|
|
||||||
|
|
||||||
% terminology
|
% Terminology
|
||||||
|
|
||||||
\newcommand{\term}[1]{\textsl{#1}\kern 0.05em\xspace}
|
\newcommand{\term}[1]{\textsl{#1}\kern 0.05em\xspace}
|
||||||
\newcommand{\titleterm}[1]{#1}
|
\newcommand{\titleterm}[1]{#1}
|
||||||
|
@ -473,7 +473,8 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\xPedersenValueCommitments}{\term{Pedersen value commitments}}
|
\newcommand{\xPedersenValueCommitments}{\term{Pedersen value commitments}}
|
||||||
\newcommand{\distinctXCriterion}{\term{distinct-$x$ criterion}}
|
\newcommand{\distinctXCriterion}{\term{distinct-$x$ criterion}}
|
||||||
|
|
||||||
% conventions
|
% Conventions
|
||||||
|
|
||||||
\newcommand{\bytes}[1]{\underline{\raisebox{-0.22ex}{}\smash{#1}}}
|
\newcommand{\bytes}[1]{\underline{\raisebox{-0.22ex}{}\smash{#1}}}
|
||||||
\newcommand{\zeros}[1]{[0]^{#1}}
|
\newcommand{\zeros}[1]{[0]^{#1}}
|
||||||
\newcommand{\bit}{\mathbb{B}}
|
\newcommand{\bit}{\mathbb{B}}
|
||||||
|
@ -547,7 +548,8 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\lincomb}[1]{(\kern-.025em{#1}\kern-0.04em)}
|
\newcommand{\lincomb}[1]{(\kern-.025em{#1}\kern-0.04em)}
|
||||||
\newcommand{\constraint}[3]{\lincomb{#1}\hairspace \times\hairspace \lincomb{#2}\hairspace =\hairspace \lincomb{#3}}
|
\newcommand{\constraint}[3]{\lincomb{#1}\hairspace \times\hairspace \lincomb{#2}\hairspace =\hairspace \lincomb{#3}}
|
||||||
|
|
||||||
% key pairs:
|
% Key pairs
|
||||||
|
|
||||||
\newcommand{\PaymentAddress}{\mathsf{addr_{pk}}}
|
\newcommand{\PaymentAddress}{\mathsf{addr_{pk}}}
|
||||||
\newcommand{\DiversifiedPaymentAddress}{\mathsf{addr_{d}}}
|
\newcommand{\DiversifiedPaymentAddress}{\mathsf{addr_{d}}}
|
||||||
\newcommand{\PaymentAddressLeadByte}{\hexint{16}}
|
\newcommand{\PaymentAddressLeadByte}{\hexint{16}}
|
||||||
|
@ -598,6 +600,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\TransmitPrivateSup}[1]{\mathsf{sk}^{#1}_\mathsf{enc}}
|
\newcommand{\TransmitPrivateSup}[1]{\mathsf{sk}^{#1}_\mathsf{enc}}
|
||||||
|
|
||||||
% Sapling
|
% Sapling
|
||||||
|
|
||||||
\newcommand{\AuthPrivateSeed}{\mathsf{sk}}
|
\newcommand{\AuthPrivateSeed}{\mathsf{sk}}
|
||||||
\newcommand{\AuthPrivateSeedLength}{\mathsf{\ell_{\AuthPrivateSeed}}}
|
\newcommand{\AuthPrivateSeedLength}{\mathsf{\ell_{\AuthPrivateSeed}}}
|
||||||
\newcommand{\AuthSignPrivate}{\mathsf{ask}}
|
\newcommand{\AuthSignPrivate}{\mathsf{ask}}
|
||||||
|
@ -608,6 +611,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\DiversifiedTransmitPublic}{\mathsf{pk}_\mathsf{d}}
|
\newcommand{\DiversifiedTransmitPublic}{\mathsf{pk}_\mathsf{d}}
|
||||||
|
|
||||||
% PRFs
|
% PRFs
|
||||||
|
|
||||||
\newcommand{\PRF}[2]{\mathsf{{PRF}^{#2}_\mathnormal{#1}}}
|
\newcommand{\PRF}[2]{\mathsf{{PRF}^{#2}_\mathnormal{#1}}}
|
||||||
\newcommand{\PRFaddr}[1]{\PRF{#1}{addr}}
|
\newcommand{\PRFaddr}[1]{\PRF{#1}{addr}}
|
||||||
\newcommand{\PRFaddrSapling}[1]{\PRF{#1}{addrSapling}}
|
\newcommand{\PRFaddrSapling}[1]{\PRF{#1}{addrSapling}}
|
||||||
|
@ -627,6 +631,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\Uncommitted}{\mathsf{Uncommitted}}
|
\newcommand{\Uncommitted}{\mathsf{Uncommitted}}
|
||||||
|
|
||||||
% Symmetric encryption
|
% Symmetric encryption
|
||||||
|
|
||||||
\newcommand{\Sym}{\mathsf{Sym}}
|
\newcommand{\Sym}{\mathsf{Sym}}
|
||||||
\newcommand{\SymEncrypt}[1]{\mathsf{Sym.}\mathtt{Encrypt}_{#1}}
|
\newcommand{\SymEncrypt}[1]{\mathsf{Sym.}\mathtt{Encrypt}_{#1}}
|
||||||
\newcommand{\SymDecrypt}[1]{\mathsf{Sym.}\mathtt{Decrypt}_{#1}}
|
\newcommand{\SymDecrypt}[1]{\mathsf{Sym.}\mathtt{Decrypt}_{#1}}
|
||||||
|
@ -646,6 +651,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\CryptoBoxSeal}{\mathsf{crypto\_box\_seal}}
|
\newcommand{\CryptoBoxSeal}{\mathsf{crypto\_box\_seal}}
|
||||||
|
|
||||||
% Key agreement
|
% Key agreement
|
||||||
|
|
||||||
\newcommand{\KA}{\mathsf{KA}}
|
\newcommand{\KA}{\mathsf{KA}}
|
||||||
\newcommand{\KASapling}{\mathsf{KA_{Sapling}}}
|
\newcommand{\KASapling}{\mathsf{KA_{Sapling}}}
|
||||||
\newcommand{\KAPublic}{\mathsf{KA.Public}}
|
\newcommand{\KAPublic}{\mathsf{KA.Public}}
|
||||||
|
@ -659,11 +665,13 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\Clamp}{\mathsf{clamp_{Curve25519}}}
|
\newcommand{\Clamp}{\mathsf{clamp_{Curve25519}}}
|
||||||
|
|
||||||
% KDF
|
% KDF
|
||||||
|
|
||||||
\newcommand{\KDF}{\mathsf{KDF}}
|
\newcommand{\KDF}{\mathsf{KDF}}
|
||||||
\newcommand{\kdftag}{\mathsf{kdftag}}
|
\newcommand{\kdftag}{\mathsf{kdftag}}
|
||||||
\newcommand{\kdfinput}{\mathsf{kdfinput}}
|
\newcommand{\kdfinput}{\mathsf{kdfinput}}
|
||||||
|
|
||||||
% Notes
|
% Notes
|
||||||
|
|
||||||
\newcommand{\Value}{\mathsf{v}}
|
\newcommand{\Value}{\mathsf{v}}
|
||||||
\newcommand{\ValueNew}[1]{\mathsf{v^{new}_\mathnormal{#1}}}
|
\newcommand{\ValueNew}[1]{\mathsf{v^{new}_\mathnormal{#1}}}
|
||||||
\newcommand{\ValueOld}[1]{\mathsf{v^{old}_\mathnormal{#1}}}
|
\newcommand{\ValueOld}[1]{\mathsf{v^{old}_\mathnormal{#1}}}
|
||||||
|
@ -693,6 +701,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\ReplacementCharacter}{\textsf{U+FFFD}}
|
\newcommand{\ReplacementCharacter}{\textsf{U+FFFD}}
|
||||||
|
|
||||||
% Money supply
|
% Money supply
|
||||||
|
|
||||||
\newcommand{\MAXMONEY}{\mathsf{MAX\_MONEY}}
|
\newcommand{\MAXMONEY}{\mathsf{MAX\_MONEY}}
|
||||||
\newcommand{\BlockSubsidy}{\mathsf{BlockSubsidy}}
|
\newcommand{\BlockSubsidy}{\mathsf{BlockSubsidy}}
|
||||||
\newcommand{\MinerSubsidy}{\mathsf{MinerSubsidy}}
|
\newcommand{\MinerSubsidy}{\mathsf{MinerSubsidy}}
|
||||||
|
@ -740,6 +749,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\targetThresholds}{\term{target thresholds}}
|
\newcommand{\targetThresholds}{\term{target thresholds}}
|
||||||
|
|
||||||
% Signatures
|
% Signatures
|
||||||
|
|
||||||
\newcommand{\Sig}{\mathsf{Sig}}
|
\newcommand{\Sig}{\mathsf{Sig}}
|
||||||
\newcommand{\SigPublic}{\mathsf{Sig.Public}}
|
\newcommand{\SigPublic}{\mathsf{Sig.Public}}
|
||||||
\newcommand{\SigPrivate}{\mathsf{Sig.Private}}
|
\newcommand{\SigPrivate}{\mathsf{Sig.Private}}
|
||||||
|
@ -778,6 +788,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\MerkleHash}{\bitseq{\MerkleHashLength}}
|
\newcommand{\MerkleHash}{\bitseq{\MerkleHashLength}}
|
||||||
|
|
||||||
% Transactions
|
% Transactions
|
||||||
|
|
||||||
\newcommand{\versionField}{\mathtt{version}}
|
\newcommand{\versionField}{\mathtt{version}}
|
||||||
\newcommand{\txInCount}{\mathtt{tx\_in\_count}}
|
\newcommand{\txInCount}{\mathtt{tx\_in\_count}}
|
||||||
\newcommand{\txIn}{\mathtt{tx\_in}}
|
\newcommand{\txIn}{\mathtt{tx\_in}}
|
||||||
|
@ -810,6 +821,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\ScriptOP}[1]{\texttt{OP\_{#1}}}
|
\newcommand{\ScriptOP}[1]{\texttt{OP\_{#1}}}
|
||||||
|
|
||||||
% Equihash and block headers
|
% Equihash and block headers
|
||||||
|
|
||||||
\newcommand{\validEquihashSolution}{\term{valid Equihash solution}}
|
\newcommand{\validEquihashSolution}{\term{valid Equihash solution}}
|
||||||
\newcommand{\powtag}{\mathsf{powtag}}
|
\newcommand{\powtag}{\mathsf{powtag}}
|
||||||
\newcommand{\powheader}{\mathsf{powheader}}
|
\newcommand{\powheader}{\mathsf{powheader}}
|
||||||
|
@ -828,6 +840,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\SHAd}{\term{SHA-256d}}
|
\newcommand{\SHAd}{\term{SHA-256d}}
|
||||||
|
|
||||||
% Proving system
|
% Proving system
|
||||||
|
|
||||||
\newcommand{\ZK}{\mathsf{ZK}}
|
\newcommand{\ZK}{\mathsf{ZK}}
|
||||||
\newcommand{\ZKProvingKey}{\mathsf{ZK.ProvingKey}}
|
\newcommand{\ZKProvingKey}{\mathsf{ZK.ProvingKey}}
|
||||||
\newcommand{\ZKVerifyingKey}{\mathsf{ZK.VerifyingKey}}
|
\newcommand{\ZKVerifyingKey}{\mathsf{ZK.VerifyingKey}}
|
||||||
|
@ -865,6 +878,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
}}}
|
}}}
|
||||||
|
|
||||||
% JoinSplit
|
% JoinSplit
|
||||||
|
|
||||||
\newcommand{\hSig}{\mathsf{h_{Sig}}}
|
\newcommand{\hSig}{\mathsf{h_{Sig}}}
|
||||||
\newcommand{\hSigText}{\texorpdfstring{$\hSig$}{hSig}}
|
\newcommand{\hSigText}{\texorpdfstring{$\hSig$}{hSig}}
|
||||||
\newcommand{\h}[1]{\mathsf{h_{\mathnormal{#1}}}}
|
\newcommand{\h}[1]{\mathsf{h_{\mathnormal{#1}}}}
|
||||||
|
@ -961,6 +975,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\EnforceMerklePath}[1]{\mathsf{enforceMerklePath}_{~\!\!#1}}
|
\newcommand{\EnforceMerklePath}[1]{\mathsf{enforceMerklePath}_{~\!\!#1}}
|
||||||
|
|
||||||
% Sapling circuits
|
% Sapling circuits
|
||||||
|
|
||||||
\newcommand{\DecompressValidate}{\mathsf{DecompressValidate}}
|
\newcommand{\DecompressValidate}{\mathsf{DecompressValidate}}
|
||||||
\newcommand{\FixedScalarMult}{\mathsf{FixedScalarMult}}
|
\newcommand{\FixedScalarMult}{\mathsf{FixedScalarMult}}
|
||||||
\newcommand{\VariableScalarMult}{\mathsf{VariableScalarMult}}
|
\newcommand{\VariableScalarMult}{\mathsf{VariableScalarMult}}
|
||||||
|
@ -976,6 +991,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\ValueCommit}[1]{\mathsf{ValueCommit}_{#1}}
|
\newcommand{\ValueCommit}[1]{\mathsf{ValueCommit}_{#1}}
|
||||||
|
|
||||||
% Consensus rules
|
% Consensus rules
|
||||||
|
|
||||||
\newcommand{\consensusrule}[1]{\needspace{3ex}\subparagraph{Consensus rule:}{#1}}
|
\newcommand{\consensusrule}[1]{\needspace{3ex}\subparagraph{Consensus rule:}{#1}}
|
||||||
\newenvironment{consensusrules}{\introlist\subparagraph{Consensus rules:}\begin{itemize}}{\end{itemize}}
|
\newenvironment{consensusrules}{\introlist\subparagraph{Consensus rules:}\begin{itemize}}{\end{itemize}}
|
||||||
\newcommand{\sproutonlyitem}[1]{\item \notsprout{[\Sprout only]\,} {#1}}
|
\newcommand{\sproutonlyitem}[1]{\item \notsprout{[\Sprout only]\,} {#1}}
|
||||||
|
|
Loading…
Reference in New Issue