fix small mistakes pointed out by Florian

w3f · Feb 4, 2021 · c957e2d · c957e2d
1 parent d4ef4ed
commit c957e2d
Show file tree

Hide file tree

Showing 2 changed files with 96 additions and 72 deletions.
diff --git a/host-spec/ae-hostapi.tm b/host-spec/ae-hostapi.tm
@@ -1,4 +1,4 @@
-<TeXmacs|1.99.17>
+<TeXmacs|1.99.16>
 
 <project|host-spec.tm>
 
@@ -1304,10 +1304,34 @@
     <item><strong|><verbatim|data>: a pointer-size as defined in Definition
     <reference|defn-runtime-pointer> indicating the data to be hashed.
 
-    <item><verbatim|return>: a reglar pointer to the buffer containing the
+    <item><verbatim|return>: a regular pointer to the buffer containing the
     256-bit hash result.
   </itemize>
 
+  <subsection|<verbatim|ext_hashing_keccak_512>>
+
+  Conducts a 512-bit Keccak hash.
+
+  <subsubsection|Version 1 - Prototype>
+
+  <\verbatim>
+    (func $ext_hashing_keccak_512_version_1
+
+    \ \ (param $data i64) (return i32))
+  </verbatim>
+
+  \;
+
+  <strong|Arguments>:
+
+  <\itemize>
+    <item><strong|><verbatim|data>: a pointer-size as defined in Definition
+    <reference|defn-runtime-pointer> indicating the data to be hashed.
+
+    <item><verbatim|return>: a regular pointer to the buffer containing the
+    512-bit hash result.
+  </itemize>
+
   <subsection|<verbatim|ext_hashing_sha2_256>>
 
   Conducts a 256-bit Sha2 hash.
@@ -2399,7 +2423,7 @@
 <\initial>
   <\collection>
     <associate|chapter-nr|8>
-    <associate|page-first|95>
+    <associate|page-first|87>
     <associate|page-height|auto>
     <associate|page-medium|papyrus>
     <associate|page-type|letter>
@@ -2414,76 +2438,78 @@
     <associate|appendix-e|<tuple|A|95>>
     <associate|auto-1|<tuple|A|95>>
     <associate|auto-10|<tuple|A.1.4.1|96>>
-    <associate|auto-100|<tuple|A.3|110>>
-    <associate|auto-101|<tuple|A.5.1|110>>
-    <associate|auto-102|<tuple|A.5.1.1|110>>
-    <associate|auto-103|<tuple|A.5.2|110>>
-    <associate|auto-104|<tuple|A.5.2.1|110>>
-    <associate|auto-105|<tuple|A.5.3|111>>
-    <associate|auto-106|<tuple|A.5.3.1|111>>
-    <associate|auto-107|<tuple|A.5.4|111>>
-    <associate|auto-108|<tuple|A.5.4.1|111>>
-    <associate|auto-109|<tuple|A.5.5|111>>
+    <associate|auto-100|<tuple|A.4.8.1|110>>
+    <associate|auto-101|<tuple|A.5|110>>
+    <associate|auto-102|<tuple|A.3|110>>
+    <associate|auto-103|<tuple|A.5.1|110>>
+    <associate|auto-104|<tuple|A.5.1.1|110>>
+    <associate|auto-105|<tuple|A.5.2|111>>
+    <associate|auto-106|<tuple|A.5.2.1|111>>
+    <associate|auto-107|<tuple|A.5.3|111>>
+    <associate|auto-108|<tuple|A.5.3.1|111>>
+    <associate|auto-109|<tuple|A.5.4|111>>
     <associate|auto-11|<tuple|A.1.5|96>>
-    <associate|auto-110|<tuple|A.5.5.1|111>>
-    <associate|auto-111|<tuple|A.5.6|112>>
-    <associate|auto-112|<tuple|A.5.6.1|112>>
-    <associate|auto-113|<tuple|A.5.7|112>>
-    <associate|auto-114|<tuple|A.5.7.1|112>>
-    <associate|auto-115|<tuple|A.5.8|112>>
-    <associate|auto-116|<tuple|A.5.8.1|112>>
-    <associate|auto-117|<tuple|A.5.9|112>>
-    <associate|auto-118|<tuple|A.5.9.1|112>>
-    <associate|auto-119|<tuple|A.5.10|113>>
+    <associate|auto-110|<tuple|A.5.4.1|111>>
+    <associate|auto-111|<tuple|A.5.5|112>>
+    <associate|auto-112|<tuple|A.5.5.1|112>>
+    <associate|auto-113|<tuple|A.5.6|112>>
+    <associate|auto-114|<tuple|A.5.6.1|112>>
+    <associate|auto-115|<tuple|A.5.7|112>>
+    <associate|auto-116|<tuple|A.5.7.1|112>>
+    <associate|auto-117|<tuple|A.5.8|112>>
+    <associate|auto-118|<tuple|A.5.8.1|112>>
+    <associate|auto-119|<tuple|A.5.9|113>>
     <associate|auto-12|<tuple|A.1.5.1|96>>
-    <associate|auto-120|<tuple|A.5.10.1|113>>
-    <associate|auto-121|<tuple|A.5.11|113>>
-    <associate|auto-122|<tuple|A.5.11.1|113>>
-    <associate|auto-123|<tuple|A.5.12|113>>
-    <associate|auto-124|<tuple|A.5.12.1|114>>
-    <associate|auto-125|<tuple|A.5.13|114>>
-    <associate|auto-126|<tuple|A.5.13.1|114>>
-    <associate|auto-127|<tuple|A.5.14|114>>
-    <associate|auto-128|<tuple|A.5.14.1|114>>
-    <associate|auto-129|<tuple|A.5.15|115>>
+    <associate|auto-120|<tuple|A.5.9.1|113>>
+    <associate|auto-121|<tuple|A.5.10|113>>
+    <associate|auto-122|<tuple|A.5.10.1|113>>
+    <associate|auto-123|<tuple|A.5.11|113>>
+    <associate|auto-124|<tuple|A.5.11.1|114>>
+    <associate|auto-125|<tuple|A.5.12|114>>
+    <associate|auto-126|<tuple|A.5.12.1|114>>
+    <associate|auto-127|<tuple|A.5.13|114>>
+    <associate|auto-128|<tuple|A.5.13.1|114>>
+    <associate|auto-129|<tuple|A.5.14|115>>
     <associate|auto-13|<tuple|A.1.6|97>>
-    <associate|auto-130|<tuple|A.5.15.1|115>>
-    <associate|auto-131|<tuple|A.5.16|115>>
-    <associate|auto-132|<tuple|A.5.16.1|115>>
-    <associate|auto-133|<tuple|A.5.17|115>>
-    <associate|auto-134|<tuple|A.5.17.1|115>>
-    <associate|auto-135|<tuple|A.6|116>>
-    <associate|auto-136|<tuple|A.6.1|116>>
-    <associate|auto-137|<tuple|A.6.1.1|116>>
-    <associate|auto-138|<tuple|A.6.2|116>>
-    <associate|auto-139|<tuple|A.6.2.1|116>>
+    <associate|auto-130|<tuple|A.5.14.1|115>>
+    <associate|auto-131|<tuple|A.5.15|115>>
+    <associate|auto-132|<tuple|A.5.15.1|115>>
+    <associate|auto-133|<tuple|A.5.16|115>>
+    <associate|auto-134|<tuple|A.5.16.1|115>>
+    <associate|auto-135|<tuple|A.5.17|116>>
+    <associate|auto-136|<tuple|A.5.17.1|116>>
+    <associate|auto-137|<tuple|A.6|116>>
+    <associate|auto-138|<tuple|A.6.1|116>>
+    <associate|auto-139|<tuple|A.6.1.1|116>>
     <associate|auto-14|<tuple|A.1.6.1|97>>
-    <associate|auto-140|<tuple|A.6.3|116>>
-    <associate|auto-141|<tuple|A.6.3.1|116>>
-    <associate|auto-142|<tuple|A.6.4|116>>
-    <associate|auto-143|<tuple|A.6.4.1|116>>
-    <associate|auto-144|<tuple|A.7|117>>
-    <associate|auto-145|<tuple|A.7.1|117>>
-    <associate|auto-146|<tuple|A.7.1.1|117>>
-    <associate|auto-147|<tuple|A.7.2|117>>
-    <associate|auto-148|<tuple|A.7.2.1|117>>
-    <associate|auto-149|<tuple|A.7.3|117>>
+    <associate|auto-140|<tuple|A.6.2|116>>
+    <associate|auto-141|<tuple|A.6.2.1|116>>
+    <associate|auto-142|<tuple|A.6.3|116>>
+    <associate|auto-143|<tuple|A.6.3.1|116>>
+    <associate|auto-144|<tuple|A.6.4|117>>
+    <associate|auto-145|<tuple|A.6.4.1|117>>
+    <associate|auto-146|<tuple|A.7|117>>
+    <associate|auto-147|<tuple|A.7.1|117>>
+    <associate|auto-148|<tuple|A.7.1.1|117>>
+    <associate|auto-149|<tuple|A.7.2|117>>
     <associate|auto-15|<tuple|A.1.7|97>>
-    <associate|auto-150|<tuple|A.7.3.1|117>>
-    <associate|auto-151|<tuple|A.7.4|117>>
-    <associate|auto-152|<tuple|A.7.4.1|117>>
-    <associate|auto-153|<tuple|A.7.5|118>>
-    <associate|auto-154|<tuple|A.7.5.1|118>>
-    <associate|auto-155|<tuple|A.8|118>>
-    <associate|auto-156|<tuple|A.8.1|118>>
-    <associate|auto-157|<tuple|A.8.1.1|118>>
-    <associate|auto-158|<tuple|A.8.2|118>>
-    <associate|auto-159|<tuple|A.8.2.1|118>>
+    <associate|auto-150|<tuple|A.7.2.1|117>>
+    <associate|auto-151|<tuple|A.7.3|117>>
+    <associate|auto-152|<tuple|A.7.3.1|117>>
+    <associate|auto-153|<tuple|A.7.4|118>>
+    <associate|auto-154|<tuple|A.7.4.1|118>>
+    <associate|auto-155|<tuple|A.7.5|118>>
+    <associate|auto-156|<tuple|A.7.5.1|118>>
+    <associate|auto-157|<tuple|A.8|118>>
+    <associate|auto-158|<tuple|A.8.1|118>>
+    <associate|auto-159|<tuple|A.8.1.1|118>>
     <associate|auto-16|<tuple|A.1.7.1|97>>
-    <associate|auto-160|<tuple|A.9|118>>
-    <associate|auto-161|<tuple|A.4|119>>
-    <associate|auto-162|<tuple|A.9.1|119>>
-    <associate|auto-163|<tuple|A.9.1.1|119>>
+    <associate|auto-160|<tuple|A.8.2|118>>
+    <associate|auto-161|<tuple|A.8.2.1|119>>
+    <associate|auto-162|<tuple|A.9|119>>
+    <associate|auto-163|<tuple|A.4|119>>
+    <associate|auto-164|<tuple|A.9.1|?>>
+    <associate|auto-165|<tuple|A.9.1.1|?>>
     <associate|auto-17|<tuple|A.1.8|97>>
     <associate|auto-18|<tuple|A.1.8.1|97>>
     <associate|auto-19|<tuple|A.1.9|97>>
@@ -2574,7 +2600,7 @@
     <associate|auto-96|<tuple|A.4.6.1|109>>
     <associate|auto-97|<tuple|A.4.7|109>>
     <associate|auto-98|<tuple|A.4.7.1|109>>
-    <associate|auto-99|<tuple|A.5|109>>
+    <associate|auto-99|<tuple|A.4.8|109>>
     <associate|defn-child-storage-type|<tuple|A.4|99>>
     <associate|defn-ecdsa-verify-error|<tuple|A.6|102>>
     <associate|defn-http-error|<tuple|A.10|110>>

diff --git a/host-spec/c04-networking.tm b/host-spec/c04-networking.tm
@@ -452,17 +452,15 @@
   <subsubsection|Transactions><label|sect-msg-transactions>
 
   Transactions as defined and described in Section
-  <reference|sect-transactions> are sent directly to peers with which the
+  <reference|sect-extrinsics> are sent directly to peers with which the
   Polkadot Host has an open transaction substream, as defined in Definition
   <reference|defn-transactions-message>. Polkadot Host implementers should
   implement a mechanism which only sends a transaction once to each peer and
   avoids sending duplicates. Sending duplicate transactions might result in
   undefined consequences such as being blocked for bad behavior by peers.
 
   The mechanism for managing transactions is further described in Section
-  <reference|sect-extrinsics> respectively Section
-  <reference|sect-transaction-submission> and Section
-  <reference|sect-transaction-queue>.
+  <reference|sect-extrinsics>.
 
   <\definition>
     <label|defn-transactions-message>The <strong|transactions message> is the