From c474fb7062e96194399e57a636be2d2fb82bbc7a Mon Sep 17 00:00:00 2001 From: Sarkoxed Date: Sat, 7 Dec 2024 08:07:44 +0000 Subject: [PATCH] adding one extra comment --- .../smt_verification/circuit/standard_circuit.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp b/barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp index fd36bc243f0..bd49b18b82a 100644 --- a/barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp +++ b/barretenberg/cpp/src/barretenberg/smt_verification/circuit/standard_circuit.cpp @@ -305,7 +305,9 @@ size_t StandardCircuit::handle_logic_constraint(size_t cursor) STerm right = this->symbolic_vars[right_idx]; STerm out = this->symbolic_vars[out_idx]; - // Simulate the logic constraint circuit using the bitwise operations + // Initializing the parts of the witness that were optimized + // during the symbolic constraints initialization + // i.e. simulating the create_logic_constraint gate by gate using BitVectors/Integers size_t num_bits = res; size_t processed_gates = 0; for (size_t i = num_bits - 1; i < num_bits; i -= 2) {