donau

Donation authority for GNU Taler (experimental)
Log | Files | Refs | Submodules | README | LICENSE

commit 780b90671354fcf4bdfeb277318e2608f2dfca41
parent d4ec3130b744fce68f4b27c55d73584a7191de7d
Author: Jonathan <ondesmartenot@riseup.net>
Date:   Wed, 22 Jan 2025 01:11:44 +0800

3.1: remove space

Diffstat:
Mdoc/usenix-security-2025/paper/technicaldesign.tex | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/usenix-security-2025/paper/technicaldesign.tex b/doc/usenix-security-2025/paper/technicaldesign.tex @@ -97,7 +97,7 @@ some cryptographic background followed by the setup and usage. \textrm{Slightly more formally, we define blind signatures as a quadruple of algorithms:} \begin{itemize} - \item $ KeyGen(1^\lambda)$: Generates a verification/signing key pair $(K^{\pub}, K^{\priv})$. + \item $KeyGen(1^\lambda)$: Generates a verification/signing key pair $(K^{\pub}, K^{\priv})$. \item $Blind(m, b, K^{\pub})$: Takes a message $m$, blinding factor $b$, and verification key $K^{\pub}$ of the signer and computes the blinded message $\overline{m}$. \item $BlindSign(K^{\priv}, \overline{m})$: Takes secret signing key $K^{\priv}$ and blinded message $\overline{m}$ and computes the blind signature $\overline{\sigma}$. \item $Unblind(\overline{\sigma}, b, K^{\pub})$: Takes blind signature $\overline{\sigma}$, blinding factor $b$ and verification key $K^{\pub}$ of the signer, and returns the unblinded signature $\sigma$ on message $m$ (or $\bot$).