Fix TODO text

Pi-Squared-Inc · Nov 5, 2024 · 63d4cea · 63d4cea
1 parent 82a9415
commit 63d4cea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ulm-semantics/main/hooks/bytes.md b/ulm-semantics/main/hooks/bytes.md
@@ -345,7 +345,7 @@ module ULM-SEMANTICS-HOOKS-BYTES
 
     rule ulmBytesHash(ptrValue(_, u64(BytesId)))
         => ulmBytesHash(ulmBytesId(BytesId))
-    // TODO: use Keccack here.
+    // TODO: use a better hash function here (lower collision probability, use 256 bytes of hash).
     rule ulmBytesHash(ulmBytesValue(B:Bytes))
         => ptrValue(null, u64(Int2MInt(#ulmBytesHash(Bytes2Int(B, BE, Unsigned)))))