1γ ∈ [0,1]2μ ∈ [0,1]3φ ∈ [0,1]4N = NumAttesters5K = γ·NumAttesters6for each node p: (SK_p, PK_p) ← KeyGen(1^κ)7 publish PK_p8Proposers[s] ← sample NumProposers nodes uniformly9Attesters[s] ← sample NumAttesters nodes uniformly10Leader[s] ← sample 1 node uniformly11L ← []12S ← {}