diff --git a/cpp/src/barretenberg/dsl/acir_format/block_constraint.cpp b/cpp/src/barretenberg/dsl/acir_format/block_constraint.cpp index 9eb908f0b0..019626b3ca 100644 --- a/cpp/src/barretenberg/dsl/acir_format/block_constraint.cpp +++ b/cpp/src/barretenberg/dsl/acir_format/block_constraint.cpp @@ -55,12 +55,7 @@ void create_block_constraints(Builder& builder, const BlockConstraint constraint field_ct value = poly_to_field_ct(op.value, builder); field_ct index = poly_to_field_ct(op.index, builder); if (has_valid_witness_assignments == false) { - index = field_ct(0); } - if (op.access_type == 0) { - value.assert_equal(table.read(index)); - } else { - ASSERT(op.access_type == 1); table.write(index, value); } }