\newcommand{\randomsample}{\overset{{\scriptscriptstyle\$}}{\leftarrow}}
\newcommand{\assign}{:=}
\newcommand{\encoded}[1]{\underline{#1}}

% EdDSA procedures
\newcommand{\keygen}{KeyGen }
\newcommand{\sign}{Sign }
\newcommand{\verify}{Verify }

% Oracle
\newcommand{\Osign}{\textit{Sign} }