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

-style fixes

Browse Source
This commit is contained in:
Christian Grothoff 2021-10-06 13:54:03 +02:00
parent baf8df40d1
commit 86a797bd76
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
doc/cbdc-es/cbdc-es.tex
View File

@ -728,16 +728,15 @@ con la clave pública del banco central para ese valor.
La moneda cegada $f'$ se transmite luego La moneda cegada $f'$ se transmite luego
al banco central para ser firmada. El banco central firma $f'$ con su al banco central para ser firmada. El banco central firma $f'$ con su
clave privada $d$ calculando la firma ciega clave privada $d$ calculando la firma ciega
$s' \equiv \left(f' \right)^{d} \mod n$, $s' \equiv \left(f' \right)^{d} \mod n$ y devuelve
añade la firma $s'$ a la moneda cegada $f'$ y devuelve el par $s'$ al cliente.
$(s',f')$ al cliente.
El cliente puede entonces des-cegar la firma calculando El cliente puede entonces des-cegar la firma calculando
$s \equiv s'b^{- 1} \mod n$. $s \equiv s'b^{- 1} \mod n$.
Esto funciona porque Esto funciona porque
$\left( f' \right)^{d} = f^{d}b^{\text{ed}} = f^{d}b$ y, así, $\left( f' \right)^d = f^db^{ed} = f^db$ y, así,
multiplicar $s'$ con $b^{- 1}$ produce $f^{d}$, que es una firma RSA multiplicar $s'$ con $b^{- 1}$ produce $f^d$, que es una firma RSA
válida sobre $f$ como antes: válida sobre $f$ como antes:
$s^{e} \equiv f^{\text{de}} \equiv f \mod n$. $s^e \equiv f^{de} \equiv f \mod n$.
En la propuesta original de Chaum, las monedas eran solo tokens. Sin En la propuesta original de Chaum, las monedas eran solo tokens. Sin
embargo, nosotros queremos que los consumidores puedan realizar embargo, nosotros queremos que los consumidores puedan realizar