Skip to content

Corrected typos #115

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: v0.7
Choose a base branch
from
Open

Corrected typos #115

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions spec/mpt-proof.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -201,19 +201,19 @@ Notice that the zkTrie adds only one bit of common prefix at each level of its d

#### PathType::Common

`PathType::Common` refers to the sitation that the old and new path share the same toplogical configuration.
`PathType::Common` refers to the situation that the old and new path share the same topological, top logical configuration.

This can correspond to the toloplgical configuration change on the whole path in the modify operation, or the common path (not extended one) of the insert to/delete from append, or the insert to/delete from fill operations.

#### PathType::ExtensionNew

`PathType::ExtensionNew` refers to the sitation that the new path extends the old path in its toplogical configuration.
`PathType::ExtensionNew` refers to the situation that the new path extends the old path in its topological, top logical configuration.

This can correspond to the extended part of the path in insert to append, insert to fill operations.

#### PathType::ExtensionOld

`PathType::ExtensionOld` refers to the sitation that the old path extends the new path in its toplogical configuration.
`PathType::ExtensionOld` refers to the situation that the old path extends the new path in its topological, top logical configuration.

This can correspond to the extended part of the path in delete from append, delete from fill operations.

Expand Down