A Supplementary Material to Section 3
A.1 A Simple PoR-Fair Lottery for a 2-Tier Reputation System
For completeness, we first repeat the informal goal of PoR-fairness in our 2-tier example.
Goal (informal): We want to randomly select x1 parties from 1 and x2 parties from
2 so that:
- 1.
- x1 + x2 = y, and
- 2.
- x1 = 2max{1,
}x2.
- 3.
- For each i ∈{1,2} : No party in
i has significantly lower probability of getting picked than other parties in
i, but parties in
1 are twice as likely to be selected as parties in
2.
Here is how to create a lottery which achieves the above goal. Let c := 2max{1,}. The lottery proceeds as
follows:
- 1.
- First, we choose ℓI =
y parties randomly from
1;
- 2.
- Subsequently, we choose ℓII :=
y parties randomly from the union
1 ∪
2. If a party from
1 is chosen twice, i.e., in both of the above steps, then choose another party randomly from the parties in
1 that have not yet been chosen in any of the steps.
- 3.
- Take all the parties that were chosen in the above steps to form the committee.
We next show that the outcome of the above lottery satisfies, on average, the goals set for it. (Notation: For a random variable X, we denote by E(X) the expected value of X). The third property follows from the fact that the parties are chosen randomly from their respective sets. The following theorem formalizes and proves the fact that, “on average”, our above lottery satisfies the first two properties discussed in the above goal.
Theorem 4 (Reputation-Fair Lottery for two tiers). In the above lottery, for i ∈{1,2}: let Xi be the
random variable (r.v.) corresponding to the set of parties in the final committee that come from set
i
(i.e., |Xi| is the r.v. corresponding to xi.) Let also ℓI (resp. ℓII) denote the number of parties that are
added on the committee in the first step (resp. in the last two steps). Then the following statements
hold:
- 1.
- ℓI + ℓII = y
- 2.
- E(|X1|) = cE(|X2|)
Proof (sketch). We prove the two equations in the theorem separately.
- 1.
- ℓI + ℓII = (
+
)y = y
- 2.
- Let LI denote the r.v. corresponding to the set of parties that are added on the
committee in the first
phase of the lottery and LII the set added in the second and last phase. Denote by L the union, i.e.,
L = LI ∪ LII. First we note that by definition:
Additionally, since in the second phase, parties from
2 who were already chosen in the first phase are replaced by other (not-yet chosen) parties from
2 we know that LI and LII are disjoint.
The following hold: As in the first phase of the lottery no party from
1 is chosen an all parties are chosen from
2:
(7) and
(8) In the second phase, there are α1 + α2 parties to choose from in total, out of which α2 are in
2 and α1 are in
1. Since we chose
parties randomly we have:
(9) and
(10) Using the above equations we can compute the expectations of X1 and X2:
where the second equation holds because LI and LII are a partition of L and the third follows from the linearity of expectation.
Similarly,
The above imply:
![]() |
A.2 PoR-Fair Definition and Lottery (Cont’d)
This section includes supplementary material for Section 3.1.
|
|
Rand(
![]()
|
|
|
|
Lemma 2. In the random oracle model and assuming || > γt for some constant 1 < γ < 2, and t = Ω(log 1+ϵk)
for some constant ϵ > 0, the algorithm Rand(
,t;r) has the following properties:
- 1.
- Exp(||) = t
- 2.
- For any constant 0 < δ < 1:
- 3.
- For any r′≠r, the output of Rand(
,t;r′) is distributed independently of the output of Rand(
,t;r).
Proof. For Properties 1 and 2, because by assumption h behaves as a random oracle, we know that for every
Pi, Pr[Pi ∈ ] = independently of whether or not any other Pi′ ∈ . Hence, the random variable
corresponding to is the sum of |
| independent Bernoulli trials with the above
probability. Therefore, its
expectation will be Exp(||) = t, and by a simple Chernoff bound, we have Pr
≥
1 - μ(k). Property 3 also follows from the random oracle assumption which implies that the
output of h on
any inputs x≠x′ is uniformly and independently distributed. ⊓ ⊔
|
|
RandSet(
![]()
|
|
|
|