WIP

cartesi · Aug 3, 2024 · a0c808a · a0c808a
1 parent 2844988
commit a0c808a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/src/AccessLogs.sol b/src/AccessLogs.sol
@@ -155,15 +155,14 @@ library AccessLogs {
         (bytes32 rootHash,) =
             a.buffer.peekRoot(region, keccak256(abi.encodePacked(oldLeaf)));
 
-        require(
-            a.currentRootHash == rootHash, "Write region root doesn't match"
-        );
+        require(a.currentRootHash == rootHash, "Write word root doesn't match");
 
         bytes32 newLeaf = setBytes8ToBytes32AtOffset(
             solidityUint64ToMachineWord(newValue), oldLeaf, offset
         );
 
-        bytes32 newRootHash = a.buffer.getRoot(region, newLeaf);
+        bytes32 newRootHash =
+            a.buffer.getRoot(region, keccak256(abi.encodePacked(newLeaf)));
         a.currentRootHash = newRootHash;
     }
 

diff --git a/templates/AccessLogs.sol.template b/templates/AccessLogs.sol.template
@@ -167,14 +167,14 @@ library AccessLogs {
         (bytes32 rootHash,) = a.buffer.peekRoot(region, keccak256(abi.encodePacked(oldLeaf)));
 
         require(
-            a.currentRootHash == rootHash, "Write region root doesn't match"
+            a.currentRootHash == rootHash, "Write word root doesn't match"
         );
 
         bytes32 newLeaf = setBytes8ToBytes32AtOffset(
             solidityUint64ToMachineWord(newValue), oldLeaf, offset
         );
 
-        bytes32 newRootHash = a.buffer.getRoot(region, newLeaf);
+        bytes32 newRootHash = a.buffer.getRoot(region, keccak256(abi.encodePacked(newLeaf)));
         a.currentRootHash = newRootHash;
     }