Changeset 13 for trunk/standards/protocol.txt

Timestamp:

12/12/07 22:39:49 (4 years ago)

Author:

ocmathew

Message:

Update the protocol using new terminolgy in messages/ and remove specific implementation details from the protocol (moved to messages as well.) Now messages look like function calls!

Files:

• trunk/standards/protocol.txt (modified) (16 diffs)

trunk/standards/protocol.txt

@@ -47 +47 @@
   
   Questions:
-  * Time format:  YYYYMMDDHHMMSS  20071211144111 or SecondsSinceEpoch?
+  * Time format:  YYYYMMDDHHMMSS  20071211144111 or SecondsSinceEpoch or ISO 8601?
   * id() = sha256()?
   * CDD?
@@ -80 +80 @@
 * Wallet: fetches current public minting keys for denomination
 
-Wallet:  FETCH_MINTING_KEY {DENOMINATION #string(denomination)|KEYID #hexstring(key_id)}
-    IS:      PASS_MINTING_KEY keycertificate
-      or     FAIL_MINTING_KEY "Reason"
-
-    (question: base64 response?)
+Wallet:
+        MINTING_KEY_FETCH_DENOMINATION(denomination) or MINTING_KEY_FETCH_KEYID(key_id)
+IS:
+        MINTING_KEY_PASS(keycertificate) or MINTING_KEY_FAILURE(reason)
 
 * Wallet: creates blank according to CDD:
@@ -110 +109 @@
 * Send 
 
-    REQUEST_MINTING #base64(request_id) #hex_string(number_of_blinds) 
-             #key_id(blind1) #base64(blind1)
-             #key_id(blind2) #base64(blind2)[\r]\n
+    MINT_REQUEST(request_id, list( (blind1.key_id, blind1), ... ) )
 
   to issuer service
@@ -118 +115 @@
 * Issuer: if key_id is not current:
 
-    REFUSE_MINTING #hex_string(number_of_rejected_blinds)
-              #key_id(blind1) "Bad Key ID"
-              #key_id(blind2) "Bad Key ID"[\r]\n
+    MINT_REJECT( list( (blind1.key_id, "Bad Key ID"), ... ) )
 
   Elif request will not be minted (e.g., payment not yet received):
 
-    REFUSE_MINTING #hex_string(number_of_rejected_blinds)
-                #key_id(blind1) "Some error message"
-                #key_id(blind2) "Some error message"[\r]\n
+    MINT_REJECT( list( (blind1.key_id, "Reason1"), ... ) )
   
   Else: IS passes (maybe asynchronous) request to mint and:
-    ACKNOWLEDGE_MINTING #base64(request_id)[\r]\n
+    MINT_ACCEPT(request_id)
 
   Session is terminated.
@@ -144 +137 @@
 * Wallet asks issuer service "fetch_signed_blind request_id"
 
-    FETCH_MINTED_BLINDS #base64(request_id)
+    FETCH_MINTED_REQUEST(request_id)
 
 * IS either rejects finally or temporarily
 
-    FETCH_MINTED_FAILED #base64(request_id) "Reason"
-    FETCH_MINTED_WAIT   #base64(request_id) "Reason"
+    FETCH_MINTED_FAILURE(request_id, "Reason")
+    FETCH_MINTED_WAIT(request_id, "Reason")
  
     Possible failures: "Request ID Unknown", "Request ID expired", "Request ID rejected"
@@ -158 +151 @@
   or passes signed blinds to wallet Bob, must preserve order
 
-    PASS_MINTED_BLINDS #base64(request_id) #hex_string(number_of_blinds)
-                 #base64(signature_of_blind1)
-                 #base64(signature_of_blind2)[\r]\n
-
+    FETCH_MINTED_ACCEPT(request_id, list(signature_of_blind1, ...) )
+        
   Session terminates
 
@@ -185 +176 @@
 * Alice fetches DSDB key at IS
 
-    FETCH_DSDB_KEY
-    PASS_DSDB_KEY keycertificate
+    DSDB_KEY_REQUEST
+    DSDB_KEY_PASS(keycertificate)
 
 * Wallet Alice sends obfuscated blanks (coins without signature and with serial
@@ -199 +190 @@
   }
 
-     PRESENT_BLANK #hex_string(number_of_blanks)
-       blank1[\r]\n
-       blank2[\r]\n
+     BLANK_PRESENT( list(blank1, blank2, ...) )
 
 * Wallet Bob check:
@@ -220 +209 @@
     - decline transfer
 
-      REFUSE_BLANK #hex_string(number_of_failures)
-         #base64(ecrypted serial of blank1) "Why did we fail?!?"
-         #base64(ecrypted serial of blank2) "Why did we fail?!?"[\r]\n
-
-      REFUSE_BLANK #hex_string(0) "reason"  
+      BLANK_REJECT( list( (encrypted_serial_blank1, "Reason1"), ... ) )
+      BLANK_REJECT( emptylist, "Reason")
 
   (Todo: Add reasons)
@@ -240 +226 @@
             USE_HTTPS_SESSIONID
             YES|NO
-        - get all missing minting key certs (FETCH_MINTING_KEY)
-        - IS sends key certs or rejects a key id (unknown, outdated) (PASS_MINTING_KEY/FAIL_MINTING_KEY)
+        - get all missing minting key certs (MINTING_KEY_FETCH_KEYID)
+        - IS sends key certs or rejects a key id (unknown, outdated) (MINTING_KEY_PASS/FAIL_MINTING_KEY_FAILURE)
         - lock list of encrypted coin serial numbers at IS (DSDB) 
-            LOCK_COINS #key_id_of_DSDB #hex_string(transaction_id) #hex_string(#number_of_obfuscated_blanks)
-                       #key_identifier1 #encrypted_serial1
-                       #key_identifier2 #encrypted_serial2[\r]\n
+            LOCK_COINS_REQUEST( DSDB_key_key_id, transaction_id,
+                                                                list( (key_identifier1, encrypted_serial1), ... ) )
 
         - IS either accepts with locking time or rejects with list of rejected serials + reason (locked, spent) 
             If all coins lock:
-               LOCK_COINS_GRANTED #hex_string(transaction_id) TIME(lock_expires)
+               LOCK_COINS_ACCEPT(transaction_id, lock_expires)
             If some coins cannot lock, no coins are locked.
-               LOCK_COINS_FAILED #hex_sting(transaction_id) #hex_string(number_of_failures)
-                                 #key_identifier1 #encrypted_serial1 "Reason 1"
-                                 #key_identifier2 #encrypted_serial2 "Reason 2"[\r]\n
+               LOCK_COINS_FAILURE(transaction_id, list( (key_identifier1, encrypted_serial1, "Reason1"), ...))
 
                      Reasons:
@@ -269 +252 @@
   (if one blank is rejected the whole transfer has to be rejected) (future: bob signs receipt)
 
-      REFUSE_BLANK #hex_string(number_of_failures)
-         #base64(ecrypted serial of blank1) "Why did we fail?!?"
-         #base64(ecrypted serial of blank2) "Why did we fail?!?"[\r]\n
-
-      REFUSE_BLANK #hex_string(0) "reason"  
-
-      ACCEPT_BLANK
-
-      Note: After ACCEPT_BLANK, a REFUSE_BLANK #hex_string(0) can be given to abort the transaction
-
-
+      BLANK_FAILURE( list( (encrypted_serial_blank1, "Reason1"), ...))
+      BLANK_FAILURE( emptylist, "Reason")
+
+      BLANK_ACCEPT
+
+      Note: After BLANK_ACCEPT, a BLANK_REJECT(emptylist, "Reason) can be given to abort the transaction until
+                        COINS_SPEND is sent
+                        
 * Wallet Alice sends coins to Wallet Bob (this time including their clear serial and signature)
   
-    SPEND_COINS #hex_string(number_of_coins)
-                #base64(coin1)
-                #base64(coin2)[\r]\n
+    COINS_SPEND( list(coin1, ...) )
 
 * Wallet Bob checks that the coins match the blanks and that signatures are valid
@@ -290 +268 @@
 * Wallet Bob accepts transaction or rejects with reason (unknown, invalid) for each rejected coin
 
-     REJECT_COIN #hex_string(number_of_coins)
-                 #base64(coin1) "Reason"
-                 #base64(coin2) "Reason"[\r]\n
-
-     REJECT_COIN #hex_string(0) "Reason"
+     COINS_REJECT( list( (coin1, "Reason1") ) )
+     COINS_REJECT( emptylist, "Reason")
 
      ACCEPT_COIN
@@ -307 +282 @@
     
     * in case of reject in the checking phase delete the blanks, otherwise
-        UNLOCK_COINS #hex_string(transaction_id)
+        UNLOCK_COINS_REQUEST(transaction_id)
 
     * Wallet Bob sends buy request (blanks + coins) (Wallet Bob continues as in #4 and #8)
-        (REDEEM_COINS+REQUEST_MINT)
+        (COINS_REDEEM+MINT_REQUEST)
 
     * IS has to check if sum of blanks and coins are equal
@@ -322 +297 @@
   
   - target can be an account
-    REDEEM_COINS #hex_string(transaction_id) "#string(target)" #hex_string(number_of_coins)
-                 #base64(coin1)
-                 #base64(coin2)[\r]\n
+    COINS_REDEEM(transaction_id, target, list(coin1, ...)
 
     target is of the form:
@@ -345 +318 @@
 
 * IS rejects with reason (key id unknown, coin outdated, coin spent, signature invalid) per coin or 
-     REJECT_COINS #hex_string(number_of_coins)
-                  #base64(coin1) "Reason"
-                  #base64(coin2) "Reason"[\r]\n
+     COINS_REJECT( list(coin1, ...) )
 
 * (IS tries to service target, rejects with reason if not possible)
@@ -354 +325 @@
 
 * IS sends accept to Wallet
-      ACCEPT_COINS
-
+      COINS_ACCEPT
+