assume block constraint is only using new witness (#528)

AztecProtocol · Jul 5, 2023 · b4cfc2e · b4cfc2e
1 parent 4a1b532
commit b4cfc2e
Showing 1 changed file with 0 additions and 5 deletions.
diff --git 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);
             }
         }