From d20fd54abd94b603d304e7f8e7ed4cc29f6309b4 Mon Sep 17 00:00:00 2001 From: Robin Jadoul Date: Fri, 29 May 2026 15:55:46 +0200 Subject: [PATCH] spec: Fix typographical errors in SHA256 and ROTXOR constraints --- spec/src/rotxor.toml | 2 +- spec/src/sha256.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/src/rotxor.toml b/spec/src/rotxor.toml index 730e9bda5..f1ff904b0 100644 --- a/spec/src/rotxor.toml +++ b/spec/src/rotxor.toml @@ -154,7 +154,7 @@ poly = ["-", ["idx", ["cast", "a2", "WordHL"], 0], ["idx", "a2_left", 1], ["idx" [[constraints.shift]] kind = "arith" constraint = "$#`a2[1]` = #`last_rot` dot #`a2_left[0]` + #`a2_right[1]`$" -poly = ["-", ["idx", ["cast", "a2", "WordHL"], 0], ["*", "last_rot", ["idx", "a2_left", 0]], ["idx", "a2_right", 1]] +poly = ["-", ["idx", ["cast", "a2", "WordHL"], 1], ["*", "last_rot", ["idx", "a2_left", 0]], ["idx", "a2_right", 1]] [[constraint_groups]] name = "xor" diff --git a/spec/src/sha256.toml b/spec/src/sha256.toml index 59d710998..8ef356578 100644 --- a/spec/src/sha256.toml +++ b/spec/src/sha256.toml @@ -56,7 +56,7 @@ name = "memory" kind = "interaction" tag = "MEMW" input = [1, ["cast", ["*", 2, 11], "DWordWL"], ["arr", ["idx", ["cast", ["idx", "m_addr", 0], "DWordWL"], 0], ["idx", ["cast", ["idx", "m_addr", 0], "DWordWL"], 1], 0, 0, 0, 0, 0, 0], "timestamp", 1, 0, 0] -output = ["arr", ["idx", ["cast", ["idx", "m_addr", 0], "DWordWL"], 0], ["idx", ["cast", ["idx", "m_addr", 0], "DWordWL"], 0], 0, 0, 0, 0, 0, 0] +output = ["arr", ["idx", ["cast", ["idx", "m_addr", 0], "DWordWL"], 0], ["idx", ["cast", ["idx", "m_addr", 0], "DWordWL"], 1], 0, 0, 0, 0, 0, 0] multiplicity = "μ" [[constraints.memory]]