https://github.com/casper-network/highway
https://github.com/casper-network/highway
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/casper-network/highway
- Owner: casper-network
- License: cc-by-sa-4.0
- Created: 2019-10-18T14:31:58.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2021-01-16T20:35:43.000Z (over 5 years ago)
- Last Synced: 2024-04-17T01:47:26.869Z (about 2 years ago)
- Language: TeX
- Size: 445 KB
- Stars: 35
- Watchers: 11
- Forks: 13
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Highway Protocol
[](https://creativecommons.org/licenses/by-sa/4.0/)
Highway is a [correct-by-construction (CBC) Casper](https://github.com/cbc-casper/cbc-casper-paper)-based
consensus protocol. This paper contains the mathematical description of the protocol,
including its safety and liveness proofs.
## Generating PDF
A pre-generated version of the PDF can be found on the
[GitHub releases page](https://github.com/CasperLabs/highway/releases).
To generate the PDf yourself you must have
[LaTeX](https://www.latex-project.org/get/#tex-distributions) and
BibTex installed on your platform then run
```shell
pdflatex -halt-on-error highway && \
bibtex highway && \
pdflatex -halt-on-error highway && \
pdflatex -halt-on-error highway
```
The output will be `highway.pdf`.
### Troubleshooting
If you see
```
! LaTeX Error: File `stix.sty' not found.
```
You may need to install additional parts of your LaTeX distribution (beyond the
base / recommended). E.g. if you are using `texlive` on Linux then you can try
```shell
sudo apt install texlive-fonts-extra
```