From b4cfc2e50783b35d1bb9dab42ad532d926d21b61 Mon Sep 17 00:00:00 2001
From: guipublic <47281315+guipublic@users.noreply.github.com>
Date: Tue, 13 Jun 2023 19:31:23 +0200
Subject: [PATCH] assume block constraint is only using new witness (#528)

---
 cpp/src/barretenberg/dsl/acir_format/block_constraint.cpp | 5 -----
 1 file changed, 5 deletions(-)

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);
             }
         }