Merge pull request #32 from tendermint/zarko/definition-section

Minor fixes
tendermint · Jul 12, 2018 · 1cee8d1 · 1cee8d1
2 parents f59346f + 319873e
commit 1cee8d1
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/consensus/conclusion.tex b/consensus/conclusion.tex
@@ -12,4 +12,4 @@ \section{Conclusion} \label{sec:conclusion}
 
 \section*{Acknowledgment}
 
-We would like to thank...
+We would like to thank Anton Kaliaev and Ismail Khoffi for comments on an earlier version of the paper. We also want to thank the Tendermint team members and all project contributors for making Tendermint great platform.  
diff --git a/consensus/consensus.tex b/consensus/consensus.tex
@@ -45,7 +45,7 @@ \section{Tendermint consensus algorithm} \label{sec:tendermint}
         \ENDFUNCTION
 
 \SPACE \UPON{$\li{\Proposal,h_p,round_p, v, r}$ \From\ $\coord(h_p,round_p)$
-\With\ $state_p = \propose$} \label{line:tab:recvProposal}
+\With\ $step_p = \propose$} \label{line:tab:recvProposal}
 \IF{$!valid(v) \vee (lockedRound_p > r  \wedge lockedValue_p \neq v$)}
 \label{line:tab:acceptProposal1}		\STATE \Broadcast \
 $\li{\Prevote,h_p,round_p,\nil}$  \label{line:tab:prevote-nil}	\STATE $step_p

diff --git a/consensus/definitions.tex b/consensus/definitions.tex
@@ -25,7 +25,7 @@ \subsection{Model}
 forward the message $m$ using gossip protocol towards $q$.}. Messages among
 correct processes can be delayed, dropped or duplicated before GST.
 Spoofing/impersonation attacks are assumed to be impossible at all times due to
-the use of public-key cryptography..  The bound $\Delta$ and GST are system
+the use of public-key cryptography. The bound $\Delta$ and GST are system
 parameters whose values are not required to be known for the safety of our
 algorithm. Termination of the algorithm is guaranteed within a bounded duration
 after GST.  In practice, the algorithm will work correctly in the slightly
Original file line number	Diff line number	Diff line change
Expand Up		@@ -12,4 +12,4 @@ \section{Conclusion} \label{sec:conclusion}

		\section*{Acknowledgment}

		We would like to thank...
		We would like to thank Anton Kaliaev and Ismail Khoffi for comments on an earlier version of the paper. We also want to thank the Tendermint team members and all project contributors for making Tendermint great platform.