You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
milosevic b362894a56
Merge pull request #8 from tendermint/align-algorithm-with-code
7 years ago
.idea Add three timeouts and align pseudocode better with existing algorithm 7 years ago
.gitignore Add three timeouts and align pseudocode better with existing algorithm 7 years ago
IEEEtran.bst Initial commit 7 years ago
IEEEtran.cls Initial commit 7 years ago
README.md Align protocol with Tendermint code and add find valid value mechanism 7 years ago
algorithmicplus.sty Initial commit 7 years ago
consensus.tex Align protocol with Tendermint code and add find valid value mechanism 7 years ago
definitions.tex Align protocol with Tendermint code and add find valid value mechanism 7 years ago
homodel.sty Initial commit 7 years ago
latex8.bst Initial commit 7 years ago
latex8.sty Initial commit 7 years ago
lit.bib Align protocol with Tendermint code and add find valid value mechanism 7 years ago
paper.dvi Add three timeouts and align pseudocode better with existing algorithm 7 years ago
paper.tex Align protocol with Tendermint code and add find valid value mechanism 7 years ago
proof.tex Align protocol with Tendermint code and add find valid value mechanism 7 years ago
rounddiag.sty Initial commit 7 years ago
technote.sty Initial commit 7 years ago

README.md

Tendermint-spec

The repository contains the specification (and the proofs) of the Tendermint consensus protocol.

How to install Latex on Mac OS

MacTex is Latex distribution for Mac OS. You can download it here.

Popular IDE for Latex-based projects is TexStudio. It can be downloaded here.

How to build project

In order to compile the latex files (and write bibliography), execute

$ pdflatex paper
$ bibtex paper
$ pdflatex paper
$ pdflatex paper

The generated file is paper.pdf. You can open it with

$ open paper.pdf