diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex index 25770f8b0..19b1b19f5 100644 --- a/doc/paper/taler.tex +++ b/doc/paper/taler.tex @@ -133,7 +133,7 @@ where the {\em customer} withdraws digital {\em coins} from the {\em exchange} with unlinkability provided via blind signatures. The coins can then be spent at a {\em merchant} who {\em deposits} them at the exchange. Taler uses online detection of double-spending and -provides excuplability via cryptographic proofs. Thus merchants are +provides exculpability via cryptographic proofs. Thus merchants are instantly assured that a transaction is valid. \begin{figure}[h] @@ -825,7 +825,7 @@ maximum applicable tax is less than $\frac{2}{3}$, then $\kappa = 3$ ensures that cheating results in a negative financial return on average as $\kappa - 1$ out of $\kappa$ attempts to hide from taxation are detected and penalized by a total loss. This makes our use of -cut-and-choose practical and efficient, and in particularly faster +cut-and-choose practical and efficient, and in particular faster than the comparable use of zk-SNARKs in ZeroCash~\cite{zerocash}. % FIXME: I'm explicit about the rounds in postquantum.tex