Skip to content

Commit 9306408

Browse files
committed
Appease GH markup
1 parent 703c3b0 commit 9306408

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/website/contents/for-developers/PreflightGuide.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@ In particular, we can calculate the probability that a slot is an active multi l
214214
= f + \sigma \cdot {(1-f)}^\sigma \cdot \log(1-f)
215215
```
216216
via the definition of the Poisson distribution and $L \sim \mathop{\mathrm{Pois}}(-\sigma\log(1-f))$.
217-
For $f=1/20$ and $\sigma =1$, we get $\mathop{\mathrm{Pr}}(L \ge 2) = 0.127\%$, ie 0.127% of all slots are multi leader slots in the worst case.
217+
For $f=1/20$ and $\sigma =1$, we get $\mathop{\mathrm{Pr}}(L \ge 2) = 0.00127$, ie 0.127% of all slots are multi leader slots in the worst case.
218218
In that case, we would expect to see $10k/f \cdot 0.00127 \approx 549$ multi leader slots per epoch.
219219
220220
On the community-maintained [pooltool.io](https://pooltool.io/networkhealth), we can observe the number of "slot battles" per epoch, ie the number of times the nodes reporting to pooltool.io observed two blocks in the same slot.

0 commit comments

Comments
 (0)