该仓库包含 Tendermint 共识协议的规范(以及证明),并已被 CometBFT 采用。

如何在 MacOS 上安装 Latex

MacTex 是适用于 MacOS 的 Latex 发行版。你可以在这里下载。 用于 Latex 项目的常用 IDE 是 TexStudio。可以在这里下载。

如何构建项目

要编译 latex 文件(并生成参考文献),请执行 $ pdflatex paper
$ bibtex paper
$ pdflatex paper
$ pdflatex paper
生成的文件是 paper.pdf。你可以使用以下命令打开它: $ open paper.pdf
The repository contains the specification (and the proofs) of the Tendermint consensus protocol, adopted in CometBFT.

How to install Latex on MacOS

MacTex is Latex distribution for MacOS. 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