Skip to content

Commit

Permalink
Merge pull request #7608 from vuittont60/develop
Browse files Browse the repository at this point in the history
docs: fix typos
  • Loading branch information
protolambda authored Oct 10, 2023
2 parents 7223e6b + a64835c commit 272b6d7
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion specs/fault-dispute-game.md
Original file line number Diff line number Diff line change
Expand Up @@ -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}$.
Expand Down
2 changes: 1 addition & 1 deletion specs/fault-proof.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 272b6d7

Please sign in to comment.