status-im/research
2
0
Fork 0
mirror of https://github.com/status-im/research.git synced 2025-02-27 22:20:43 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #55 from jamesray1/patch-17

Browse Source 
One too many closing parentheses in several instances of ))))
This commit is contained in:
Vlad Zamfir 2017-11-17 04:29:27 -04:00 committed by GitHub
commit 2bca1526cc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
papers/CasperTFG/CasperTFG.tex
View File

@ -392,8 +392,8 @@ We identify such a set of circumstances. To discuss more generally, we denote ``
We say that validator $v_i$ ``sees validator $v_j$ agreeing with estimate $e$ in a set of protocol messages $M$'' if: We say that validator $v_i$ ``sees validator $v_j$ agreeing with estimate $e$ in a set of protocol messages $M$'' if:
\begin{itemize} \begin{itemize}
\item $v_i$ has exactly one latest message in $M$ (we are denoting this message as $L(v_i, M)$) \item $v_i$ has exactly one latest message in $M$ (we are denoting this message as $L(v_i, M)$)
\item $v_j$ has exactly one latest message in the justification of $v_i$'s latest message, $J(L(v_i, M))$ (which we denote as $L(v_j, J(L(v_i, M))))$ \item $v_j$ has exactly one latest message in the justification of $v_i$'s latest message, $J(L(v_i, M))$ (which we denote as $L(v_j, J(L(v_i, M)))$
\item This message's estimate agrees with $e$, i.e. $E(L(v_j, J(L(v_i, M))))) \equiv e$ \item This message's estimate agrees with $e$, i.e. $E(L(v_j, J(L(v_i, M)))) \equiv e$
\end{itemize} \end{itemize}
\begin{defn}[$v_i$ sees $v_j$ agreeing with $e$ in $M$] \begin{defn}[$v_i$ sees $v_j$ agreeing with $e$ in $M$]
@ -412,7 +412,7 @@ And we say that a validator $v_i$ ``can see $v_j$ disagreeing with estimate $e$
\begin{defn}[$v_i$ can see $v_j$ disagreeing with $e$ in $M$] \begin{defn}[$v_i$ can see $v_j$ disagreeing with $e$ in $M$]
$$ $$
v_i \xRightarrow[\text{$M$}]{\text{$\not\equiv, e$}} v_j \iff \exists m \in M : V(m) = v_j \land m \succ L(v_j, J(L(v_i, M)))) \land E(m) \not\equiv e v_i \xRightarrow[\text{$M$}]{\text{$\not\equiv, e$}} v_j \iff \exists m \in M : V(m) = v_j \land m \succ L(v_j, J(L(v_i, M))) \land E(m) \not\equiv e
$$ $$
\end{defn} \end{defn}