LaTeX macros

All pseudocode and math on this site uses custom LaTeX macros for common cryptographic notation. You can copy them below to use in your own LaTeX documents or KaTeX/MathJax configurations.

Macro reference

Caligraphic letters

Macro	Renders as
\calA … \calZ	$\mathcal{A},\mathcal{B},\mathcal{C},\dots ,\mathcal{Z}$

Complexity classes

Macro	Renders as
\classP	$\mathbf{P}$
\classNP	$\mathbf{NP}$
\classcoNP	$\mathbf{coNP}$
\classBPP	$\mathbf{BPP}$
\classRP	$\mathbf{RP}$
\classZPP	$\mathbf{ZPP}$
\classPSPACE	$\mathbf{PSPACE}$
\classSZK	$\mathbf{SZK}$
\classCZK	$\mathbf{CZK}$
\classIP	$\mathbf{IP}$
\classAM	$\mathbf{AM}$
\classMA	$\mathbf{MA}$
\classcoAM	$\mathbf{coAM}$
\classcoRP	$\mathbf{coRP}$
\classFP	$\mathbf{FP}$
\classPP	$\mathbf{PP}$
\classPpoly	$P/poly$
\classEXP	$\mathbf{EXP}$
\classTFNP	$\mathbf{TFNP}$
\classsharpP	$\#P$
\classBQP	$\mathbf{BQP}$
\classQMA	$\mathbf{QMA}$
\classQCMA	$\mathbf{QCMA}$
\classQIP	$\mathbf{QIP}$
\classQSZK	$\mathbf{QSZK}$

Common algorithms

Macro	Renders as
\KeyGen	$\mathsf{KeyGen}$
\Gen	$\mathsf{Gen}$
\GrGen	$\mathsf{GrGen}$
\Enc	$\mathsf{Enc}$
\Dec	$\mathsf{Dec}$
\Encap	$\mathsf{Encap}$
\Decap	$\mathsf{Decap}$
\Combine	$\mathsf{Combine}$
\Setup	$\mathsf{Setup}$
\Query	$\mathsf{Query}$
\Eval	$\mathsf{Eval}$
\Invert	$\mathsf{Invert}$
\Sign	$\mathsf{Sign}$
\Vrfy	$\mathsf{Vrfy}$
\Prove	$\mathsf{Prove}$
\Com	$\mathsf{Com}$
\Open	$\mathsf{Open}$
\Share	$\mathsf{Share}$
\Recon	$\mathsf{Recon}$
\Tag	$\mathsf{Tag}$
\Answer	$\mathsf{Answer}$
\Decode	$\mathsf{Decode}$
\Extract	$\mathsf{Extract}$
\Delegate	$\mathsf{Delegate}$
\KeyAgg	$\mathsf{KeyAgg}$
\Agg	$\mathsf{Agg}$
\AggVrfy	$\mathsf{AggVrfy}$
\PopProve	$\mathsf{PopProve}$
\PopVrfy	$\mathsf{PopVrfy}$
\Acc	$\mathsf{Acc}$
\Out	$\mathsf{Out}$
\GData	$\mathsf{GData}$
\GProg	$\mathsf{GProg}$
\GInput	$\mathsf{GInput}$
\GEval	$\mathsf{GEval}$

Key names

Macro	Renders as
\sk	$\mathsf{sk}$
\pk	$\mathsf{pk}$
\vk	$\mathsf{vk}$
\msk	$\mathsf{msk}$
\mpk	$\mathsf{mpk}$
\pp	$\mathsf{pp}$
\crs	$\mathsf{crs}$
\td	$\mathsf{td}$

Number sets

Macro	Renders as
\NN	$\mathbb{N}$
\ZZ	$\mathbb{Z}$
\FF	$\mathbb{F}$
\GG	$\mathbb{G}$

Named sets

Macro	Renders as	Notes
\QR	$\mathrm{QR}$	Set of quadratic residues (QR assumption)
\J	$\mathrm{J}$	Jacobi set (elements with Jacobi symbol 1)
\KSp	$\mathsf{KSp}$	Key space of an oblivious RAM
\StSp	$\mathsf{StSp}$	State space of an oblivious RAM
\RdOps	$\mathsf{RdOps}$	Read operations on an array (oblivious RAM)
\WrOps	$\mathsf{WrOps}$	Write operations on an array (oblivious RAM)
\Ops	$\mathsf{Ops}$	Read and write operations (oblivious RAM)

Simulators and state

Macro	Renders as
\Sim	$\mathcal{S}$
\st	$\mathsf{st}$
\stA	${\mathsf{st}}_{\mathcal{A}}$
\stB	${\mathsf{st}}_{\mathcal{B}}$
\stS	${\mathsf{st}}_{\mathcal{S}}$
\View	$\mathsf{V}$

Crypto shorthand

Macro	Renders as
\bits	$\{0,1\}$
\negl	$\mathrm{negl}$
\poly	$\mathrm{poly}$
\polylog	$\mathrm{polylog}$
\PPT	$\mathrm{PPT}$
\secpar	$\lambda$
\getsr	$\stackrel{\$}{\leftarrow }$
\Funcs	$\mathrm{Funcs}$
\Perms	$\mathrm{Perms}$

Advantages and games

Macro	Renders as
\Adv	$\mathbf{Adv}$
\Expt	$\mathbf{Expt}$
\Game	$\mathbf{G}$
\indcpa	$\mathrm{ind}\text{-}\mathrm{cpa}$
\indcca	$\mathrm{ind}\text{-}\mathrm{cca}$
\ufcma	$\mathrm{uf}\text{-}\mathrm{cma}$
\eufcma	$\mathrm{euf}\text{-}\mathrm{cma}$
\sufcma	$\mathrm{suf}\text{-}\mathrm{cma}$

Primitives

Macro	Renders as
\PRF	$\mathsf{PRF}$
\RO	$\mathsf{RO}$
\PRG	$\mathsf{PRG}$
\PRP	$\mathsf{PRP}$
\OT	$\mathsf{OT}$
\SKE	$\mathsf{SKE}$
\PKE	$\mathsf{PKE}$
\DS	$\mathsf{DS}$
\MAC	$\mathsf{MAC}$
\PIR	$\mathsf{PIR}$
\hash	$\mathsf{H}$
\IBE	$\mathsf{IBE}$
\HIBE	$\mathsf{HIBE}$
\ABE	$\mathsf{ABE}$