donau

commit 3a52f7f796d52836625ad79cf9143f22bae84052
parent 03018458bdfdc2aed5a9109e2e7582044fa10fcc
Author: Jonathan <ondesmartenot@riseup.net>
Date:   Tue, 21 Jan 2025 23:58:43 +0800

3.1 remove mistaken usage of subscript _x in blind sign keys

Diffstat:
M
doc/usenix-security-2025/paper/technicaldesign.tex
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/usenix-security-2025/paper/technicaldesign.tex b/doc/usenix-security-2025/paper/technicaldesign.tex
@@ -98,9 +98,9 @@ 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 $Blind(m,  b, K_x^{\pub})$: Takes a message $m$, blinding factor $b$, and verification key $K_x^{\pub}$ of the signer $X$ and computes the blinded message $\overline{m}$.
-     \item $BlindSign(K_x^{\priv}, \overline{m})$: Takes secret signing key $K_x^{\priv}$ and blinded message $\overline{m}$ and computes the blind signature $\overline{\sigma}$.
-     \item $Unblind(\overline{\sigma}, b, K_x^{\pub})$: Takes blind signature $\overline{\sigma}$, blinding factor $b$ and verification key $K_x^{\pub}$ of the signer $X$, and returns the unblinded signature $\sigma$ (or $\bot$).
+     \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$).
    \end{itemize}
    \end{definition}