From 9f54cec03f7c21bb4600c35994d91a25176942db Mon Sep 17 00:00:00 2001 From: cloudclaim <824973921@qq.com> Date: Fri, 12 Jul 2024 22:27:04 +0800 Subject: [PATCH] chore: fix some comments Signed-off-by: cloudclaim <824973921@qq.com> --- docs/docs/adrs/adr-017-allowing-inactive-validators.md | 2 +- tests/mbt/model/README.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/docs/adrs/adr-017-allowing-inactive-validators.md b/docs/docs/adrs/adr-017-allowing-inactive-validators.md index f76f5f7069..17925bf68f 100644 --- a/docs/docs/adrs/adr-017-allowing-inactive-validators.md +++ b/docs/docs/adrs/adr-017-allowing-inactive-validators.md @@ -38,7 +38,7 @@ a) increase the `MaxValidators` parameter of the staking module b) do *not* take the updates for CometBFT directly from the bonded validators in the staking module, by wrapping the staking modules `EndBlocker` with a dummy EndBlocker that doesn't return any validator updates. Instead, we adjust the provider module to return validator updates on its EndBlocker. These validator updates are obtained by *filtering* the bonded validators to send only the first `MaxProviderConsensusValidators` (sorted by largest amount of stake first) many validators to CometBFT -c) use the enlarged list of bonded validators from the staking module as basis for the validator set that the provider module sends to consumer chains (again after applying power shaping and filtering out validatiors that are not opted in). +c) use the enlarged list of bonded validators from the staking module as basis for the validator set that the provider module sends to consumer chains (again after applying power shaping and filtering out validators that are not opted in). In consequence, the provider chain can keep a reasonably-sized consensus validator set, while giving consumer chains a much larger pool of potential validators. diff --git a/tests/mbt/model/README.md b/tests/mbt/model/README.md index f4add0e213..85dc99220e 100644 --- a/tests/mbt/model/README.md +++ b/tests/mbt/model/README.md @@ -42,7 +42,7 @@ Some layers include extra logic, need other invariants, ... #### ccv_model.qnt This is the most general state machine layer. It allows the most behaviour, -in particular it allows abitrary clock drift between chains, it allows starting and +in particular it allows arbitrary clock drift between chains, it allows starting and stopping consumer chains during runtime, etc. This layer is most useful for model checking, because it encompasses the most behaviour. As an optional module, it can also include KeyAssignment.