% Games \newcommand{\game}{\textbf{Game} } \newcommand{\inp}{\cdot} \newcommand{\field}[1]{\mathbb{F}_{#1}} \newcommand{\secparamter}{\lambda} \newcommand{\randomsample}{\overset{{\scriptscriptstyle\$}}{\leftarrow}} \newcommand{\randomassign}{\leftarrow} \newcommand{\assign}{:=} \newcommand{\encoded}[1]{\underline{#1}} \newcommand{\m}{m} \newcommand{\signature}{\sigma} \newcommand{\pubkey}{pk} \newcommand{\privkey}{sk} \newcommand{\groupelement}[1]{#1} \newcommand{\agmgroupelement}[2]{[\groupelement{#1}]_{\overset{\rightharpoonup}{#2}}} \newcommand{\group}[1]{\mathbb{#1}} % Special Dlog \newcommand{\sdlog}{DLog' } % Intermediate Game \newcommand{\igame}{Game Z } \newcommand{\ioracle}{Chall } % EdDSA procedures \newcommand{\keygen}{KeyGen } \newcommand{\sign}{Sign } \newcommand{\verify}{Verify } % Security Notions \newcommand{\cma}{SUF-CMA } \newcommand{\adversary}[1]{\mathcal{#1}} \newcommand{\advantage}[2]{Adv_{#1}^{#2}} \newcommand{\prone}[1]{Pr[#1 \Rightarrow 1]} % Oracle \newcommand{\Osign}{\textit{Sign} }