Script updating gh-pages from ea261ee. [ci skip]

cose-wg · Aug 6, 2024 · d9452f9 · d9452f9
1 parent 8ba9564
commit d9452f9
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/draft-ietf-cose-merkle-tree-proofs.html b/draft-ietf-cose-merkle-tree-proofs.html
@@ -1767,6 +1767,9 @@ <h3 id="name-inclusion-proof">
 <a href="#name-cbor-encoded-rfc9162-inclus" class="selfRef">CBOR Encoded RFC9162 Inclusion Proof</a>
           </figcaption></figure>
 </div>
+<p id="section-5.2-4">The term <code>leaf-index</code> is used for alignment with the use established in <span>[<a href="#RFC9162" class="cite xref">RFC9162</a>]</span><a href="#section-5.2-4" class="pilcrow">¶</a></p>
+<p id="section-5.2-5">Note that <span>[<a href="#RFC9162" class="cite xref">RFC9162</a>]</span> defines that verification <span class="bcp14">MUST</span> fail if leaf-index is &gt;= tree-size, and inclusion proofs are defined only for leaf nodes.
+The identifying index of a leaf node is relative to all nodes in the tree size for which the proof was obtained.<a href="#section-5.2-5" class="pilcrow">¶</a></p>
 <div id="receipt-of-inclusion">
 <section id="section-5.2.1">
           <h4 id="name-receipt-of-inclusion">

diff --git a/draft-ietf-cose-merkle-tree-proofs.txt b/draft-ietf-cose-merkle-tree-proofs.txt
@@ -450,6 +450,14 @@ Table of Contents
 
                Figure 3: CBOR Encoded RFC9162 Inclusion Proof
 
+   The term leaf-index is used for alignment with the use established in
+   [RFC9162]
+
+   Note that [RFC9162] defines that verification MUST fail if leaf-index
+   is >= tree-size, and inclusion proofs are defined only for leaf
+   nodes.  The identifying index of a leaf node is relative to all nodes
+   in the tree size for which the proof was obtained.
+
 5.2.1.  Receipt of Inclusion
 
    In a signed inclusion proof, the previous merkle tree root, maps to