Skip to content

Latest commit

 

History

History
60 lines (42 loc) · 2.09 KB

README.md

File metadata and controls

60 lines (42 loc) · 2.09 KB
Raw

YOSO proactive resharing protocol

Indices

Indices:

  • i: dealer in 0,...,n-1 contrary to paper!
  • l: index of the first-level of sharing of the secret s[i] of the dealer i. Match next holding committee member j.
  • j: verification committee member
  • k: resolution committee member

Contrary to the paper, the indices of the committee members start at 0 and not at 1.

Parameters

At the level of the protocol:

  • n: number of parties per committee
  • t: maximum number of malicious parties

n = 2t+1

However, for VSS / Secret Sharing, t usually represents the reconstruction threshold, which is degree d + 1. And d = t from the protocol.

Steps of the protocol

  1. Dealing (step1_dealing.go) performed by each dealer
  2. Verification = Accusation (step2_verification.go) performed by each verifier
  3. Resolution = Response (step3_resolution.go) performed by each resolution committee member/responder
  4. Refreshing = two parts:
    1. For all users = disqualification (include step4_resolution.go and part of step4_refreshing.go) and refreshing of the commitments
    2. For new holding committee members = refreshing of the shares

Organization

Main files:

  • protocol.go: the actual protocol

  • protocol_test.go: test of the full protocol

  • protocol_bench_test.go: test for benchmarking performances. See below.

  • step*.go: for each round/step of the protocol. Step 4 is split in two parts files.

Pieces of the protocol:

  • nizk_*.go: for the internal NIZK
  • verifier_proof.go: for the proof made by the verifier V_j
  • eps.go: for things related to the future broadcast/resolution encryption

Other tools:

  • codecgen.go: used to have faster encoding/decoding. Generate gen-codecgen.go
  • inputs.go: structure of the public and private inputs
  • receive.go: generate gen-receive.go
  • test_tools*.go: tools for testing

Benchmark

For large values n/t, simulating the whole protocol is too slow, so we use TestResharingProtocolBenchmarkManualParty0:

YOSO_BENCH_TEST_T=32 go test -timeout=2h -bench -v -run TestResharingProtocolBenchmarkManualParty0