a check

succinctlabs · May 22, 2024 · df5a22a · df5a22a
1 parent 1710c18
commit df5a22a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/core/src/syscall/precompiles/sha256/extend/air.rs b/core/src/syscall/precompiles/sha256/extend/air.rs
@@ -198,6 +198,8 @@ where
             local.is_real,
         );
 
+        builder.assert_word_eq(*local.w_i.value(), local.s2.value);
+
         // Receive syscall event in first row of 48-cycle.
         builder.receive_syscall(
             local.shard,