Merge pull request w3f#52 from davxy/fix-write-hostcall

Fix 'accumulate' vectors

Author: davxy

accumulate/accumulate.asn

@@ -7,17 +7,29 @@ IMPORTS
     Entropy, ReadyQueue, AccumulatedQueue, Privileges, AccumulateRoot, ServicesStatistics
         FROM JamTypes;
 
+StorageMapEntry ::= SEQUENCE {
+    -- Storage key (unhashed, as managed by the service code)
+    key ByteSequence,
+    -- Storage value
+    value ByteSequence
+}
 
 PreimagesMapEntry ::= SEQUENCE {
+    -- Preimage blob full hash
     hash OpaqueHash,
+    -- Preimage blob
     blob ByteSequence
 }
 
 -- Service account information relevant for this STF.
 Account ::= SEQUENCE {
     -- [a_c, a_b, a_g, a_m, a_o, a_i] Service metadata.
     service ServiceInfo,
-    --[a_p] Preimages blobs.
+    -- [a_s] Service storage.
+    storage SEQUENCE OF StorageMapEntry,
+    -- [a_p] Preimages blobs.
+    -- This is mostly provided to lookup code blob for accumulate procedure execution.
+    -- It is not supposed to be altered by this STF (i.e. posterior matches prior).
     preimages SEQUENCE OF PreimagesMapEntry
 }