diff --git a/eipsi2024/eipsi2024.tex b/eipsi2024/eipsi2024.tex index fa587d1..d56babb 100644 --- a/eipsi2024/eipsi2024.tex +++ b/eipsi2024/eipsi2024.tex @@ -318,7 +318,7 @@ with the following properties: \begin{frame}{Helpful figure} \small - \begin{columns}[t] + \begin{columns} \column{0.25\textwidth} Commit:\\[1em] @@ -723,7 +723,7 @@ Searching for functions \uncover<2->{with the following signatures} that meet the basic and security requirements. \end{frame} -\section*{A solution} +\section*{A solution to our quest} \begin{frame}{Instantiation with ECDSA} @@ -767,6 +767,8 @@ Searching for functions \uncover<2->{with the following signatures} \begin{frame}{Attest and Verify with ECDSA} \begin{columns} \column{0.2\textwidth} + \includegraphics[width=1.1\textwidth]{images/commit.pdf} + \includegraphics[width=1.1\textwidth]{images/attest-verify.pdf} \column{0.8\textwidth} \small @@ -967,7 +969,8 @@ Searching for functions \uncover<2->{with the following signatures} \uncover<2->{ \begin{itemize} \item Coins are public-/private key-pairs $(C_p, c_s)$. - \item Exchange \hyperlink{fr:reminderBlindSignature}{blindly signs} $H(C_p)$ with denomination key $d_p$ + \item Exchange \hyperlink{fr:reminderBlindSignature}{blindly signs} $H(C_p)$ with denomination key $d_p$: + \[ \beta(\sigma_p) = \mathsf{BlindSign}\big(\beta\left(H(C_p)\right), d_p \big)\] \item Verification: \begin{eqnarray*} 1 &\stackrel{?}{=}& @@ -983,10 +986,10 @@ Searching for functions \uncover<2->{with the following signatures} \label{fr:bindingToCoins} To bind an age commitment $\commitment$ to a coin $C_p$, instead of - blindly signing \[ H(C_p), \] - $\Exchange$ now \hyperlink{fr:reminderBlindSignature}{blindly signs} - \[ H\left(C_p\parallel\orange{H(\commitment)}\right) \] - + blindly signing $H(C_p)$ + \[ \beta(\sigma_p) = \mathsf{BlindSign}\big(\beta\left(H(C_p)\right), d_p \big)\] + $\Exchange$ now \hyperlink{fr:reminderBlindSignature}{blindly signs $H(C_p \parallel \orange{H(\commitment)})$} + \[ \beta(\sigma_p) = \mathsf{BlindSign}\big(\beta\left(H(C_p\parallel\orange{H(\commitment)})\right), d_p \big)\] \vfill Therefore, verfication of a coin now requires $H(\commitment)$, too: \[ @@ -1044,7 +1047,7 @@ Searching for functions \uncover<2->{with the following signatures} \section{Discussion \& Conclusion} \begin{frame}{Discussion} - Technical Aspects and Challenges + Technical aspects and challenges \begin{itemize}[<+->] \item Our solution can in principle be used with any token-based payment scheme \item[] However, GNU Taler best aligned with our design goals @@ -1078,7 +1081,7 @@ Searching for functions \uncover<2->{with the following signatures} \item Attribute-based approach lacks support: \begin{itemize} \item Complex for consumers and retailers - \item Requires trusted third authority + \item Requires trusted additional authority \end{itemize} \vfill \item Other approaches tie age-restriction to ability to pay ("debit cards for kids") @@ -1123,13 +1126,14 @@ Searching for functions \uncover<2->{with the following signatures} \texttt{@oec@mathstodon.xyz} \vfill {Interested in GNU Taler?} - \begin{description} - \item[Intro:] \url{https://taler.net}, - \item[Learn:] \url{https://docs.taler.net} - \item[Develop:] \url{https://git.taler.net}, \url{https://bugs.taler.net} - \item[Connect:] \url{https://ich.taler.net} - \item[NGI Taler:] \url{https://ngi.taler.net} - \end{description} + + \begin{tabular}{rl} + \textbf{Intro:}&\url{https://taler.net}\\ + \textbf{Learn:}&\url{https://docs.taler.net}\\ + \textbf{Develop:}&\url{https://git.taler.net}, \url{https://bugs.taler.net}\\ + \textbf{Connect:}&\url{https://ich.taler.net}\\ + \textbf{NGI Taler:}&\url{https://ngi.taler.net} + \end{tabular} \end{center} \end{frame}