mirror of https://github.com/tendermint/tendermint.git synced 2026-01-09 06:33:16 +00:00

Go to file

Zarko Milosevic 033a0cb53f Merge pull request #61 from tendermint/zm_lite_client_algo

Update specification of light client algorithm to align with the code

2020-01-23 14:50:49 +01:00

.idea

Add three timeouts and align pseudocode better with existing algorithm

2017-09-11 09:12:27 +02:00

papers

This PR is to create signed commits to be able to merge (#50 )

2019-09-14 19:56:17 +02:00

research

This PR is to create signed commits to be able to merge (#50 )

2019-09-14 19:56:17 +02:00

rfc

This PR is to create signed commits to be able to merge (#50 )

2019-09-14 19:56:17 +02:00

spec

Aligh the correctness arguments with the pseudocode changes

2020-01-23 14:49:45 +01:00

.gitignore

Add three timeouts and align pseudocode better with existing algorithm

2017-09-11 09:12:27 +02:00

README.md

This PR is to create signed commits to be able to merge (#50 )

2019-09-14 19:56:17 +02:00

README.md

Tendermint Spec

This repository contains specs of the current and future implementation of Tendermint the protocol, papers that have been published by the ICF or AIB and ongoing research in a variety of areas.

For the pdf, see the latest release.

Languages

Go 85.9%

TeX 7.2%

TLA 4.9%

Shell 0.6%

Python 0.5%

Other 0.8%