diff --git a/core/src/syscall/precompiles/sha256/extend/air.rs b/core/src/syscall/precompiles/sha256/extend/air.rs index 6058afd3d3..1b13f0dc15 100644 --- 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,