Skip to content

Commit

Permalink
Update README.md (#1191)
Browse files Browse the repository at this point in the history
  • Loading branch information
zeevick10 authored Jan 13, 2025
1 parent 23383e5 commit 9c030f1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/core/ics-023-vector-commitments/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -249,7 +249,7 @@ For any prefix `prefix` and any path `path` not set in the commitment `acc`, for
Probability(verifyMembership(root, proof, applyPrefix(prefix, path), value) === true) negligible in k
```
To ensure the commitment proofs are *sound*, the commitment must be lexographically ordered to ensure that non-existence proofs of the key `b` may be proven by showing the existence of key `a` and key `c` in addition to proving that these two keys are neightbors in the commitment.
To ensure the commitment proofs are *sound*, the commitment must be lexicographically ordered to ensure that non-existence proofs of the key `b` may be proven by showing the existence of key `a` and key `c` in addition to proving that these two keys are neighbors in the commitment.
#### Position binding
Expand Down

0 comments on commit 9c030f1

Please sign in to comment.