tendermint

291 MiB

Tree: 1075f77cc3

Author	SHA1	Message	Date
Marko	1075f77cc3	spec: extract light-client to its own directory (#152 ) Co-authored-by: Callum Waters <cmwaters19@gmail.com>	4 years ago
Marko	efbbc9462f	ci: add markdown linter (#146 )	4 years ago
Callum Waters	31b182b7aa	update spec with the removal of phantom validator evidence (#126 )	4 years ago
Ethan Buchman	603364bdaa	lite->light	5 years ago
Zarko Milosevic	026fddee4f	Aligh the correctness arguments with the pseudocode changes	5 years ago
Ethan Buchman	eb9e1f961c	titles	5 years ago
Ethan Buchman	f26eb4ee89	light client dir and readmes	5 years ago
Marko	7b3138e694	spec: update spec with tendermint updates (#62 ) * spec: update spec with tendermint updates - this in preperation of deleting the spec folder in docs in tendermint/tendermint Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * spec: added in reactors & p2p Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * spec: update readme in spec to comply with docs site Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * docs: addded more changes from tednermint/tendermint Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	5 years ago
Marko	9b3531d7d6	Add consesnus and blockchain specs, (#52 ) - Open questions - Do we want to split lite client work from consesnsus - From the blockchain spec, is encoding nessecary in the spec Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	5 years ago