taler/talks
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

refinement

Browse Source
This commit is contained in:
Özgür Kesim 2024-05-30 21:18:35 +02:00
parent ddfafe2803
commit 5c1c656d08
1 changed files with 20 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
eipsi2024/eipsi2024.tex
View File

@ -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}