From ac09345db7f47ba429a2474133d398ffb63311ed Mon Sep 17 00:00:00 2001
From: Jimmy Hu <jimmy.hu@dexon.org>
Date: Mon, 8 Oct 2018 16:44:46 +0800
Subject: =?UTF-8?q?Updated=20DKG=EF=BC=8BTSIG=20Protocol=20(markdown)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 "DKG\357\274\213TSIG-Protocol.md" | 23 +++++++++++++----------
 1 file changed, 13 insertions(+), 10 deletions(-)

(limited to 'DKG＋TSIG-Protocol.md')

diff --git "a/DKG\357\274\213TSIG-Protocol.md" "b/DKG\357\274\213TSIG-Protocol.md"
index 8b82662..edbd856 100644
--- "a/DKG\357\274\213TSIG-Protocol.md"
+++ "b/DKG\357\274\213TSIG-Protocol.md"
@@ -55,9 +55,19 @@ If validator `k` sees `SK_j,i` for `i` != `k`, verifies if the secret key share
 
 If validator `k` sees `NCMP_i,j` for `j` != `k` and did not receive `SK_j,i`, `k` broadcast nack complaint of `j`, `NCMP_k,j`.
 
-Phase 8 Sign with CSK
+
+Phase 8 DKG Finalize
 -------
 ### @ T = 5λ
+Each validator `i` broadcast a `DKGFinal_i` message.
+
+
+Phase 9 Sign with CSK
+-------
+### @ T = 6λ
+
+Validator waits until seeing more than `2t+1` final message.
+
 If there are more than `t` nack complaints to validator `j` (<img src="https://latex.codecogs.com/svg.latex?\inline%20\sum_{i}%20NCMP_{i,j}%20>%20t" /> (`i` : for all validator `i`)), then `j` is marked as **Disqualified**.
 
 If there is **one** complaint, `CMP_i,j`, to validator `j`, then `j` is marked as **Disqualified**.
@@ -68,21 +78,14 @@ Each validator `i` sign the message with `CSK_i` and broadcast the partial signa
 
 Each validator `i` determines the combined public key of validator `j`, <img src="https://latex.codecogs.com/svg.latex?\inline%20CPK_{j}%20=%20\sum_{k}%20PK_{k,j}" /> (`k`: validator `k` is not marked as **Disqualified**)
 
-Phase 8 DKG Finalize
--------
-### @ T = (5λ, 6λ)
-Each validator `i` broadcast a `DKGFinal_i` message.
-
-Phase 9 TSIG
+Phase 10 TSIG
 -------
 ### @ T = (6λ, +inf)
-Validator `i` wait until seeing more than `2t+1` final message.
-
 If validator `i` is not **Disqualified**, verify `PSign_i` with `CPK_i`.
 
 Collect more than `t` valid `PSign_i` and recover TSIG, `TSIG`.
 
-Phase 10 Verify TSIG
+Phase 11 Verify TSIG
 -------
 Determines the group public key, <img src="https://latex.codecogs.com/svg.latex?\inline%20GPK%20=%20\sum_{k}%20MPK_{k,0}" /> (`k`: validator `k` is not marked as **Disqualified**)
 
-- 
cgit v1.2.3