From 3476ed96038248c41844c92599f73b32a9707df4 Mon Sep 17 00:00:00 2001 From: IlyasRidhuan Date: Sat, 14 Feb 2026 18:45:12 +0000 Subject: [PATCH] fix(avm): skippable in bitwise --- barretenberg/cpp/pil/vm2/bitwise.pil | 2 +- .../cpp/src/barretenberg/vm2/generated/relations/bitwise.hpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/barretenberg/cpp/pil/vm2/bitwise.pil b/barretenberg/cpp/pil/vm2/bitwise.pil index 695623ee26cf..a4be03a21489 100644 --- a/barretenberg/cpp/pil/vm2/bitwise.pil +++ b/barretenberg/cpp/pil/vm2/bitwise.pil @@ -85,7 +85,7 @@ sel * (1 - sel) = 0; // No relations will be checked if this identity is satisfied. #[skippable_if] -sel = 0; +sel + last = 0; pol commit start; // @boolean Identifies when we want to capture the output to the main trace. // Must be constrained as a boolean as any selector used in a lookup/permutation. diff --git a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/bitwise.hpp b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/bitwise.hpp index 3a9de6dae8b3..572948da7481 100644 --- a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/bitwise.hpp +++ b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/bitwise.hpp @@ -22,7 +22,7 @@ template class bitwiseImpl { { using C = ColumnAndShifts; - return (in.get(C::bitwise_sel)).is_zero(); + return ((in.get(C::bitwise_sel) + in.get(C::bitwise_last))).is_zero(); } template