Merge pull request #7608 from vuittont60/develop

docs: fix typos

specs/fault-dispute-game.md

@@ -49,7 +49,7 @@ This is a state transition function (STF) that takes a _pre-state_ and computes
 The VM may access data referenced during the STF and as such, it also accepts a _proof_ of this data.
 Typically, the pre-state contains a commitment to the _proof_ to verify the integrity of the data referenced.
 
-Mathemtically, we define the STF as $VM(S_i,P_i)$ where
+Mathematically, we define the STF as $VM(S_i,P_i)$ where
 
 - $S_i$ is the pre-state
 - $P_i$ is an optional proof needed for the transition from $S_i$ to $S_{i+1}$.

specs/fault-proof.md

@@ -172,7 +172,7 @@ and the latest hint may be buffered for lazy execution, or dropped entirely when
 
 When the pre-image oracle serves a request, and the request cannot be served from an existing collection of pre-images
 (e.g. a local pre-image cache) then the VM can execute the hint to retrieve the missing pre-image(s).
-It is the responsiblity of the program to provide sufficient hinting for every pre-image request.
+It is the responsibility of the program to provide sufficient hinting for every pre-image request.
 Some hints may have to be repeated: the VM only has to execute the last hint when handling a missing pre-image.
 
 Note that hints may produce multiple pre-images: