summaryrefslogtreecommitdiff
path: root/bip-0098.mediawiki
diff options
context:
space:
mode:
authorAlexander Cyon <alex.cyon@gmail.com>2024-05-28 19:25:46 +0200
committerAlexander Cyon <alex.cyon@gmail.com>2024-05-28 19:25:46 +0200
commit1eefea0456d661b4c51f3a40b7262d6a99161edd (patch)
tree4f84740d22e4220a8c0488e1932d6ee8b3841547 /bip-0098.mediawiki
parente2f7481a132e1c5863f5ffcbff009964d7c2af20 (diff)
downloadbips-1eefea0456d661b4c51f3a40b7262d6a99161edd.tar.xz
Fix typos on 17 files.
Diffstat (limited to 'bip-0098.mediawiki')
-rw-r--r--bip-0098.mediawiki8
1 files changed, 4 insertions, 4 deletions
diff --git a/bip-0098.mediawiki b/bip-0098.mediawiki
index 8540d1a..a296fdc 100644
--- a/bip-0098.mediawiki
+++ b/bip-0098.mediawiki
@@ -241,16 +241,16 @@ Disallowing a node with two SKIP branches eliminates what would otherwise be a s
The number of hashing operations required to verify a proof is one less than the number of hashes (SKIP and VERIFY combined),
and is exactly equal to the number of inner nodes serialized as the beginning of the proof as N.
-The variable-length integer encoding has the property that serialized integers, sorted lexigraphically, will also be sorted numerically.
-Since the first serialized item is the number of inner nodes, sorting proofs lexigraphically has the effect of sorting the proofs by the amount of work required to verify.
+The variable-length integer encoding has the property that serialized integers, sorted lexicographically, will also be sorted numerically.
+Since the first serialized item is the number of inner nodes, sorting proofs lexicographically has the effect of sorting the proofs by the amount of work required to verify.
The number of hashes required as input for verification of a proof is N+1 minus the number of SKIP hashes,
and can be quickly calculated without parsing the tree structure.
-The coding and packing rules for the serialized tree structure were also chosen to make lexigraphical comparison useful (or at least not meaningless).
+The coding and packing rules for the serialized tree structure were also chosen to make lexicographical comparison useful (or at least not meaningless).
If we consider a fully-expanded tree (no SKIP hashes, all VERIFY) to be encoding a list of elements in the order traversed depth-first from left-to-right,
then we can extract proofs for subsets of the list by SKIP'ing the hashes of missing values and recursively pruning any resulting SKIP,SKIP nodes.
-Lexigraphically comparing the resulting serialized tree structures is the same as lexigraphically comparing lists of indices from the original list verified by the derived proof.
+Lexicographically comparing the resulting serialized tree structures is the same as lexicographically comparing lists of indices from the original list verified by the derived proof.
Because the number of inner nodes and the number of SKIP hashes is extractible from the tree structure,
both variable-length integers in the proof are redundant and could have been omitted.