tendermint

Commit Graph

Author	SHA1	Message	Date
Zarko Milosevic	7130c2e68c	Removing Store from API and providing end-to-end timing guarantees	5 years ago
Zarko Milosevic	4a9eb1f1ac	Intermediate commit (aligning spec with the code)	5 years ago
Zarko Milosevic	0adde9d415	Separating algorithm from proofs	5 years ago
Zarko Milosevic	ee0cc537b8	Addressing reviewer's comments	5 years ago
Zarko Milosevic	4f7c55507c	Address reviewer's comments	5 years ago
Zarko Milosevic	8528cdb314	Merge remote-tracking branch 'remotes/origin/master' into zm_lite_client_algo # Conflicts: # spec/consensus/light-client.md	5 years ago
Zarko Milosevic	9ddfc79813	Add explanation on difference between trusted models	5 years ago
Zarko Milosevic	069906a25d	Improve algorithms	5 years ago
Zarko Milosevic	5c580846bb	Improved error handling	5 years ago
Anca Zamfir	afda2d39b6	some suggestions for pseuodocode changes	5 years ago
Sunny Aggarwal	743a658613	Add sr25519 amino documentation (#67 ) * sr25519 amino * Update spec/blockchain/encoding.md Co-Authored-By: Marko <marbar3778@yahoo.com>	5 years ago
dongsamb	dbc8765104	Add spec doc about unconditional_peer, persistent_peers_max_dial of ADR-050 (#68 ) * Add spec doc about unconditional_peer_ids, persistent_peers_max_dial_period of ADR-050 * Add indefinitely dialing condition	5 years ago
Zarko Milosevic	2306108d8a	Apply suggestions from code review Co-Authored-By: Anca Zamfir <ancazamfir@users.noreply.github.com>	5 years ago
Zarko Milosevic	4ee393c3da	Clean up error conditions and simplify pseudocode	5 years ago
Anton Kaliaev	953523c3cb	reflect breaking changes made to Commit (#63 ) * reflect breaking changes made to Commit PR: https://github.com/tendermint/tendermint/pull/4146 Issue: https://github.com/tendermint/tendermint/issues/1648 * types: rename Commit#Precommits to Signatures * update BlockIDFlagAbsent comment * remove iota	5 years ago
Zarko Milosevic	d862fd4ec7	Merge pull request #56 from tendermint/zm_fix_system_model Fix model section	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
Zarko Milosevic	a4b68ec2fb	Add non-recursive specification of Bisection algorithm - Fix timing issues by introducing Delta parameter	5 years ago
Zarko Milosevic	f618acf2ab	Fix model section	5 years ago
Marko	513c67230f	Add Section for P2P (#53 ) * Add Section for P2P - moved over the section on p2p Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * add some more files Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	5 years ago
Marko	fa3430ad16	spec/consensus/signing: add more details about nil and amnesia (#54 ) - Add more details about nil votes and about amnesia attacks Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	5 years ago
Marko	95cf253b6d	Add ABCI SPEC (#51 ) - move the abci spec from tendermint to spec repo 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
Marko	81a0198af2	This PR is to create signed commits to be able to merge (#50 ) Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>	5 years ago
Marko	87abbf78e6	Prepare to Nuke Develop (#47 ) * state -> step * vote -> v * New version of the algorithm and the proof * New version of the algorithm and the proofs * Added algorithm description * Add algorithm description * Add introduction * Add conclusion * Add conclusion file * fix warnings (caption was defined twice) - only the latter is used anyways (centers captions) - this makes it possible to autom. building the paper * Update grammar * s/state_p/step_p * Address Ismail's comments * intro: language fixes * definitions: language fixes * consensus: various fixes * proof: some fixes * try to improve reviewability * \eq -> = * textwrap to 79 * various minor fixes * proof: fix itemization * proof: more minor fixes * proof: timeouts are functions * proof: fixes to lemma6 * Intro changes and improve title page * Add Marko and Ming to acks * add readme * Format algorithm correctly Clarify condition semantic and timeouts Improve descriptions * patform -> platform * Ensure that rules are mutually exclusive - various clarifications and small improvements * Release v0.6 * small nits for smoother readability	5 years ago
milosevic	b362894a56	Merge pull request #8 from tendermint/align-algorithm-with-code Align protocol with Tendermint code and add find valid value mechanism	7 years ago
Zarko Milosevic	2866ba1a2c	Align protocol with Tendermint code and add find valid value mechanism	7 years ago
milosevic	5764a81410	Merge pull request #1 from tendermint/feature/add-timeouts Add three timeouts and align pseudocode better with existing algorithm	7 years ago
Milosevic, Zarko	4a81d0a02f	Add three timeouts and align pseudocode better with existing algorithm	7 years ago
Milosevic, Zarko	9d864da353	Initial commit	7 years ago

30 Commits (7130c2e68c125f49a3e705597739212dbd93146f) All Branches Search

30 Commits (7130c2e68c125f49a3e705597739212dbd93146f)

All Branches