chore(spec/light-client/verification): typo fix (#1148)

typo fix
celestiaorg · Dec 11, 2023 · 5160000 · 5160000
1 parent 4b6c2dd
commit 5160000
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/spec/light-client/verification/Blockchain_A_1.tla b/spec/light-client/verification/Blockchain_A_1.tla
@@ -35,7 +35,7 @@ BlockHeaders == [
   (* in the implementation, only the hashes of V and NextV are stored in a block,
      as V and NextV are stored in the application state *) 
   VS: SUBSET AllNodes,
-    \* the validators of this bloc. We store the validators instead of the hash.
+    \* the validators of this block. We store the validators instead of the hash.
   NextVS: SUBSET AllNodes
     \* the validators of the next block. We store the next validators instead of the hash.
 ]

diff --git a/spec/light-client/verification/verification_001_published.md b/spec/light-client/verification/verification_001_published.md
@@ -29,7 +29,7 @@ formalized in TLA+ and model checked.
 ## Issues that need to be addressed
 
 As it is part of the larger light node, its data structures and
-functions interact with the fork dectection functionality of the light
+functions interact with the fork detection functionality of the light
 client. As a result of the work on
 [Pull Request 479](https://github.com/informalsystems/tendermint-rs/pull/479) we
 established the need for an update in the data structures in [Issue 499](https://github.com/informalsystems/tendermint-rs/issues/499). This

diff --git a/spec/light-client/verification/verification_002_draft.md b/spec/light-client/verification/verification_002_draft.md
@@ -32,7 +32,7 @@ formalized in TLA+ and model checked.
 ## Issues that are addressed in this revision
 
 As it is part of the larger light node, its data structures and
-functions interact with the attack dectection functionality of the light
+functions interact with the attack detection functionality of the light
 client. As a result of the work on
 
 - [attack detection](https://github.com/tendermint/spec/pull/164) for light nodes

diff --git a/spec/light-client/verification/verification_003_draft.md b/spec/light-client/verification/verification_003_draft.md
@@ -29,7 +29,7 @@ height int64, commit *Commit) error {
       continue
     }
 
-    // If the vals and commit have a 1-to-1 correspondance we can retrieve
+    // If the vals and commit have a 1-to-1 correspondence we can retrieve
     // them by index else we need to retrieve them by address
     if lookUpByIndex {
       val = vals.Validators[idx]