tendermint

291 MiB

Tree: 61380ffa3f

Author	SHA1	Message	Date
Anton Kaliaev	a122a555de	docs: adr-046 add bisection algorithm details (#4496 ) * docs: adr-046 add bisection algorithm details Closes #4329 * format fig. 1 title * docs: adr-046 we no longer download headers in TrustedHeader https://github.com/tendermint/tendermint/pull/4496#issuecomment-592446054	5 years ago
Anton Kaliaev	b5f6bfa4f9	lite2: return height as 2nd return param in TrustedValidatorSet (#4479 ) Closes #4473	5 years ago
Anton Kaliaev	6daea31f50	lite2: remove expiration checks on functions that don't require them (#4477 ) closes: #4455 Verifying backwards checks that the trustedHeader hasn't expired both before and after the loop in case of verifying many headers (a longer operation), but not during the loop itself. TrustedHeader() no longer checks whether the header saved in the store has expired. Tests have been updated to reflect the changes ## Commits: * verify headers backwards out of trust period * removed expiration check in trusted header func * modified tests to reflect changes * wrote new tests for backwards verification * modified TrustedHeader and TrustedValSet functions * condensed test functions * condensed test functions further * fix build error * update doc * add comments * remove unnecessary declaration * extract latestHeight check into a separate func Co-authored-by: Callum Waters <cmwaters19@gmail.com>	5 years ago
Callum Waters	9231b52e0d	lite2: cross-check first header and update tests (#4471 ) closes #4464	5 years ago
Anton Kaliaev	c4f7256766	lite2: store current validator set (#4472 ) Before we were storing trustedHeader (height=1) and trustedNextVals (height=2). After this change, we will be storing trustedHeader (height=1) and trustedVals (height=1). This a) simplifies the code b) fixes #4399 inconsistent pairing issue c) gives a relayer access to the current validator set #4470. The only downside is more jumps during bisection. If validator set changes between trustedHeader and the next header (by 2/3 or more), the light client will be forced to download the next header and check that 2/3+ signed the transition. But we don't expect validator set change too much and too often, so it's an acceptable compromise. Closes #4470 and #4399	5 years ago
Anton Kaliaev	3b5794ffe9	adr: light client implementation (#4397 ) * adr: light client implementation Closes #2133 * note on chain IDs * explain why witnesses are required * if chain forks maliciously, chain ID stays the same * add a note about min witnesses while cross-checking	5 years ago

6 Commits (61380ffa3f43a88ae721fc205799d62c9c8dbcfc)