status-im/research
2
0
Fork 0
mirror of https://github.com/status-im/research.git synced 2025-01-13 16:44:11 +00:00
Code Issues Projects Releases Wiki Activity

fixed typo in weights map

Browse Source
This commit is contained in:
Vlad Zamfir 2018-04-12 05:16:17 +09:00
parent 816a73508d
commit 2f1c3c095a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
papers/CasperTFG/CasperTFG.tex
View File

@ -201,7 +201,7 @@ m \in L(v, M) \iff & \nexists m' \in D(M) : V(m') = v \text{ and } m' \succ m
Latest messages are critical to defining the estimator, which returns $0$ if ``more'' of the nodes have latest messages with estimate $0$ than with estimate $1$. We use ``weights'' for nodes to measure which estimate has ``more'' consensus forming nodes, implemented by a map from validator names to positive real numbers. We do this without loss of generality (because it's possible that all weights are equal).
$$
W:v \in \mathcal{V} \to \mathbb{R}_+
W:\mathcal{V} \to \mathbb{R}_+
$$