macros.tex

\newcommand{\tx}{\textsf{tx}}
\newcommand{\Ledger}{\mathbf{L}}
\newcommand{\LState}{\mathsf{L}}
\newcommand{\negl}{\textsf{negl}(\kappa)}
\newcommand{\view}{\textsc{view}}
\newcommand{\fullview}{\textsc{view}^{t,n}_{\Pi,\mathcal{A},\mathcal{Z}}}
\newcommand{\validityattack}{\textsc{persistence}\textsc{-}\textsc{game}}
\newcommand{\livenessattack}{\textsc{liveness}\textsc{-}\textsc{game}}
\newcommand{\true}{\mathsf{true}}
\newcommand{\false}{\mathsf{false}}
\newcommand{\approxn}{\widetilde{n}}
\DeclareMathOperator{\diff}{\textsf{diff}\,}
\newcommand{\dexpand}[1]{#1_{\pm\Delta}}

\newcommand{\concat}{\,\|\,}
\newcommand{\eg}{\emph{e.g., }}

\hyphenation{log-a-rith-mic}
\hyphenation{unique-ly}
\hyphenation{ex-tractabil-i-ty}

\algnewcommand\algorithmicon{\textbf{upon}}
\algblockdefx[ON]{On}{EndOn}[1]
{\algorithmicon\ #1\ \algorithmicdo}
{\algorithmicend\ \algorithmicon}

\algnewcommand\waitcommand{\textbf{wait until }}
\def\Wait#1{\State\waitcommand #1}

\def\chain{\mathcal{C}}
\DeclareMathOperator{\Ex}{\mathbb{E}}

\newcommand{\getsrandomly}{\overset{\$}{\gets}}