@@ -1360,7 +1360,7 @@ This mini-protocol pair satisfies the above requirements in the following ways.
13601360 benefit would be.
13611361- If MsgLeiosBlockRequest and MsgLeiosBlockTxsRequest were restricted to young
13621362 EBs, then MsgLeiosBlockRangeRequest would not only enable syncing nodes but
1363- also the unfortunate node that suffers from a $\Delta^\text{A }_ \text{EB}$
1363+ also the unfortunate node that suffers from a $\Delta^\text{W }_ \text{EB}$
13641364 violation. The protocol design requires that that event is rare or at least
13651365 confined to a small portion of honest stake at a time. But it will
13661366 occasionally happen to some honest nodes, and they must be able to recover
@@ -1666,11 +1666,11 @@ $$
16661666$$
16671667
16681668** _ Voting failure:_ ** An unlucky set of VRF evaluations might result in
1669- insufficient voters being selected in a given pipeline , thus making it
1670- impossible to certify an EB in that pipeline .
1669+ insufficient voters being selected for a given EB , thus making it
1670+ impossible to certify that EB .
16711671
16721672$$
1673- p_\text{noquorum} = \text{probability of sufficient voters to achieve a quorum in a given pipeline }
1673+ p_\text{noquorum} = \text{probability of sufficient voters to achieve a quorum for a given EB }
16741674$$
16751675
16761676** _ Network egress:_ ** Cloud service providers typically charge for network
@@ -2028,7 +2028,7 @@ Operating Costs for further discussion.
20282028** Parameter Relationships and Network Assumptions**
20292029
20302030The key relation in the proposed protocol is between the voting threshold
2031- ($\tau = 75\% $) and propagation delay of EBs ($\Delta_ \text{EB}$). The high
2031+ ($\tau = 75\\ %$) and propagation delay of EBs ($\Delta_ \text{EB}$). The high
20322032voting threshold ensures that any certified EB is already known to at least 25%
20332033of honest nodes by the end of $L_ \text{vote}$, even assuming 50% adversarial
20342034stake. This widespread initial knowledge enables the critical network
@@ -2155,7 +2155,7 @@ number of voters increases, so larger committee sizes might be permitted for
21552155broader SPO participation and higher security. The committee size should be
21562156large enough that fluctuations in committee membership do not create an
21572157appreciable probability of an adversarial quorum when the adversarial stake is
2158- just under 50%. The quorum size should be kept large enough above 50% so that
2158+ just under 50%. The quorum size should be kept just large enough above 50% so that
21592159those same fluctuations do not prevent an honest quorum. Larger committees
21602160require more network traffic, of course.
21612161
0 commit comments