From f19f9ece350b90a936d57379ade4d6e50839d9f7 Mon Sep 17 00:00:00 2001 From: jesseaam <18119820+jesseaam@users.noreply.github.com> Date: Thu, 20 Oct 2022 19:29:30 -0400 Subject: [PATCH] Update README.md fix minor typos --- docs/README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/README.md b/docs/README.md index 851d5d4..904634f 100644 --- a/docs/README.md +++ b/docs/README.md @@ -1,7 +1,7 @@ # Notation -Sending user: `Alice` -Receivung user: `Carol` +Sending user: `Alice`
+Receiving user: `Carol`
Mint: `Bob` ## Bob (mint) @@ -15,11 +15,11 @@ Mint: `Bob` - `T` blinded message - `Z` proof (unblinded signature) -# Blind Diffie-Hellmann key exchange (BDH) +# Blind Diffie-Hellman key exchange (BDH) - Mint `Bob` publishes `K = kG` - `Alice` picks secret `x` and computes `Y = hash_to_curve(x)` - `Alice` sends to `Bob`: `T = Y + rG` with `r` being a random nonce - `Bob` sends back to `Alice` blinded key: `Q = kT` (these two steps are the DH key exchange) - `Alice` can calculate the unblinded key as `Q - rK = kY + krG - krG = kY = Z` - Alice can take the pair `(x, Z)` as a token and can send it to `Carol`. -- `Carol` can send `(x, Z)` to `Bob` who then checks that `k*hash_to_curve(x) == Z`, and if so treats it as a valid spend of a token, adding `x` to the list of spent secrets. \ No newline at end of file +- `Carol` can send `(x, Z)` to `Bob` who then checks that `k*hash_to_curve(x) == Z`, and if so treats it as a valid spend of a token, adding `x` to the list of spent secrets.