From 9c030f1a69d1605181d91b5e9a90db556ffdcd9a Mon Sep 17 00:00:00 2001 From: FT <140458077+zeevick10@users.noreply.github.com> Date: Mon, 13 Jan 2025 14:22:42 +0100 Subject: [PATCH] Update README.md (#1191) --- spec/core/ics-023-vector-commitments/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/core/ics-023-vector-commitments/README.md b/spec/core/ics-023-vector-commitments/README.md index 534c1291b..072b6dea7 100644 --- a/spec/core/ics-023-vector-commitments/README.md +++ b/spec/core/ics-023-vector-commitments/README.md @@ -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