Apply suggestions from code review

Co-authored-by: Erik <159244975+erik-3milabs@users.noreply.github.com>

Author: RobinJadoul

spec/src/sha256.toml

@@ -64,7 +64,7 @@ kind = "interaction"
 tag = "IS_HALF"
 input = [["idx", ["idx", "m_addr", "i"], "j"]]
 multiplicity = "μ"
-iters = [["i", 0, 6], ["j", 0, 3]]
+iters = [["i", 0, 7], ["j", 0, 3]]
 
 [[constraints.memory]]
 kind = "template"
@@ -116,7 +116,7 @@ iters = [["i", 0, 3], ["j", 0, 3]]
 [[constraints.memory]]
 kind = "template"
 tag = "ADD"
-input = [["cast", ["idx", "h_addr", 0], "DWordWL"], ["*", 8, ["cast", ["+", "i", 1], "DWordWL"]]]
+input = [["cast", ["idx", "h_addr", 0], "DWordWL"], ["*", 8, ["cast", "i", "DWordWL"]]]
 output = ["cast", ["idx", "h_addr", "i"], "DWordWL"]
 iter = ["i", 1, 3]
 
@@ -127,26 +127,26 @@ input = [
   0,
   ["cast", ["idx", "h_addr", "i"], "DWordWL"],
   ["arr",
-      ["idx", "out", ["+", ["*", "i", 8], 3]],
-      ["idx", "out", ["+", ["*", "i", 8], 2]],
-      ["idx", "out", ["+", ["*", "i", 8], 1]],
-      ["idx", "out", ["+", ["*", "i", 8], 0]],
-      ["idx", "out", ["+", ["*", "i", 8], 7]],
-      ["idx", "out", ["+", ["*", "i", 8], 6]],
-      ["idx", "out", ["+", ["*", "i", 8], 5]],
-      ["idx", "out", ["+", ["*", "i", 8], 4]]],
+      ["idx", "out", ["+", ["*", 8, "i"], 3]],
+      ["idx", "out", ["+", ["*", 8, "i"], 2]],
+      ["idx", "out", ["+", ["*", 8, "i"], 1]],
+      ["idx", "out", ["+", ["*", 8, "i"], 0]],
+      ["idx", "out", ["+", ["*", 8, "i"], 7]],
+      ["idx", "out", ["+", ["*", 8, "i"], 6]],
+      ["idx", "out", ["+", ["*", 8, "i"], 5]],
+      ["idx", "out", ["+", ["*", 8, "i"], 4]]],
   ["+", "timestamp", ["cast", 1, "DWordWL"]],
   0, 0, 1
 ]
 output = ["arr",
-  ["idx", "h", ["+", ["*", "i", 8], 3]],
-  ["idx", "h", ["+", ["*", "i", 8], 2]],
-  ["idx", "h", ["+", ["*", "i", 8], 1]],
-  ["idx", "h", ["+", ["*", "i", 8], 0]],
-  ["idx", "h", ["+", ["*", "i", 8], 7]],
-  ["idx", "h", ["+", ["*", "i", 8], 6]],
-  ["idx", "h", ["+", ["*", "i", 8], 5]],
-  ["idx", "h", ["+", ["*", "i", 8], 4]],
+  ["idx", "h", ["+", ["*", 8, "i"], 3]],
+  ["idx", "h", ["+", ["*", 8, "i"], 2]],
+  ["idx", "h", ["+", ["*", 8, "i"], 1]],
+  ["idx", "h", ["+", ["*", 8, "i"], 0]],
+  ["idx", "h", ["+", ["*", 8, "i"], 7]],
+  ["idx", "h", ["+", ["*", 8, "i"], 6]],
+  ["idx", "h", ["+", ["*", 8, "i"], 5]],
+  ["idx", "h", ["+", ["*", 8, "i"], 4]],
 ]
 iter = ["i", 0, 3]
 multiplicity = "μ"