diff options
| author | Jimmy Hu <jimmy.hu@dexon.org> | 2018-09-20 12:54:30 +0800 |
|---|---|---|
| committer | Jimmy Hu <jimmy.hu@dexon.org> | 2018-09-20 12:54:30 +0800 |
| commit | 121138ee93c23c1508bc42f72be9bbb8b0ef8c66 (patch) | |
| tree | 37abb7c8c71005eeacfe9f4b3414eea70c89cc0e | |
| parent | 668c2974339a12e3976ba3a4923ace26eaa5a0d0 (diff) | |
| download | dexon-wiki-121138ee93c23c1508bc42f72be9bbb8b0ef8c66.tar dexon-wiki-121138ee93c23c1508bc42f72be9bbb8b0ef8c66.tar.gz dexon-wiki-121138ee93c23c1508bc42f72be9bbb8b0ef8c66.tar.bz2 dexon-wiki-121138ee93c23c1508bc42f72be9bbb8b0ef8c66.tar.lz dexon-wiki-121138ee93c23c1508bc42f72be9bbb8b0ef8c66.tar.xz dexon-wiki-121138ee93c23c1508bc42f72be9bbb8b0ef8c66.tar.zst dexon-wiki-121138ee93c23c1508bc42f72be9bbb8b0ef8c66.zip | |
Updated DKG＋TSIG Protocol (markdown)
| -rw-r--r-- | DKG＋TSIG-Protocol.md | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/DKG＋TSIG-Protocol.md b/DKG＋TSIG-Protocol.md index d51d886..4bea362 100644 --- a/DKG＋TSIG-Protocol.md +++ b/DKG＋TSIG-Protocol.md @@ -25,7 +25,7 @@ Phase 3 Complaint ### @ T = (0, λ) Each validator `i` calculates public key shares (`PK_0,i, PK_1,i, ..., PK_n,i`) using corresponding master public key (`PK_j,i = F(MPK_j, i)`). -Each validator `i` verifies if the secret key share `SK_i,j` is associated with the public key share of validator `j`, `PK_i,j`. If the verification fails, `i` broadcast complaint of `j`, `CMP_i,j`. +Each validator `i` verifies if the secret key share `SK_j,i` is associated with the public key share of validator `j`, `PK_j,i`. If the verification fails, `i` broadcast complaint of `j`, `CMP_i,j`. Phase 4 Nack Complaint @@ -33,14 +33,19 @@ Phase 4 Nack Complaint ### @ T = λ If validator `i` did not receive `SK_j,i`, broadcast complaint of `j`, `CMP_i,j`. -Phase 5 Rebroadcast Complaint +Phase 5 Answer Complaint ------- -### @ T = (λ, 2λ) -If `CMP_i,j` is received for first time, broadcast received `CMP_i,j`. +### @ T = 2λ +If validator `j` sees `CMP_i,j` for any `i`, broadcast secret key share `SK_j,i`. -Phase 6 Sign with CSK +Phase 6 Ack Complaint ------- ### @ T = 3λ +If validator `k` sees `SK_j,i` for `i` != `k`, verifies if the secret key share `SK_j,i` is associated with the public key share of validator `j`, `PK_j,i`. If the verification fails, `k` broadcast complaint of `j`, `CMP_k,j`. + +Phase 7 Sign with CSK +------- +### @ T = 4λ If there are more than `t` complaints to validator `j` (<img src="https://latex.codecogs.com/svg.latex?\inline%20\sum_{i}%20CMP_{i,j}%20>%20t" /> (`i` : for all validator `i`)), then `j` is marked as **Disqualified**. Each validator `i` determines the combined secret key, <img src="https://latex.codecogs.com/svg.latex?\inline%20CSK_{i}%20=%20\sum_{k}%20SK_{k,i}" /> (`k`: validator `k` is not marked as **Disqualified**) @@ -49,14 +54,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 7 TSIG +Phase 8 TSIG ------- -### @ T = (3λ, +inf) +### @ T = (4λ, +inf) If validator `i` is not **Disqualified**, verify `PSign_i` with `CPK_i`. Collect more than `t` valid `PSign_i` and recover TSIG, `TSIG`. -Phase 8 Verify TSIG +Phase 9 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**) |