diff --git a/cpp/src/barretenberg/boomerang_value_detection/graph.cpp b/cpp/src/barretenberg/boomerang_value_detection/graph.cpp
index 1fe02660f..03c31e531 100644
--- a/cpp/src/barretenberg/boomerang_value_detection/graph.cpp
+++ b/cpp/src/barretenberg/boomerang_value_detection/graph.cpp
@@ -289,7 +289,7 @@ bool Graph_<FF>::check_is_not_constant_variable(bb::UltraCircuitBuilder& ultra_c
 }
 
 /**
- * @brief this method adds connection between 2 variables, if they are in one gate, they are not constrant variables,
+ * @brief this method adds connection between 2 variables, if they are in one gate, they are not constraint variables,
  * and they have different indexes
  * @tparam FF
  * @param ultra_circuit_builder
@@ -821,4 +821,4 @@ template <typename FF> void Graph_<FF>::print_variables_edge_counts()
     }
 }
 
-template class Graph_<bb::fr>;
\ No newline at end of file
+template class Graph_<bb::fr>;
diff --git a/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp b/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp
index befb8d82a..38220e89d 100644
--- a/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp
+++ b/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp
@@ -152,7 +152,7 @@ TEST_F(ClientIVCTests, BasicFour)
 
 /**
  * @brief Check that the IVC fails if an intermediate fold proof is invalid
- * @details When accumulating 4 circuits, there are 3 fold proofs to verify (the first two are recursively verfied and
+ * @details When accumulating 4 circuits, there are 3 fold proofs to verify (the first two are recursively verified and
  * the 3rd is verified as part of the IVC proof). Check that if any of one of these proofs is invalid, the IVC will
  * fail.
  *
@@ -461,4 +461,4 @@ TEST_F(ClientIVCTests, DynamicOverflowCircuitSizeChange)
 
     EXPECT_EQ(check_accumulator_target_sum_manual(ivc.fold_output.accumulator), true);
     EXPECT_TRUE(ivc.prove_and_verify());
-};
\ No newline at end of file
+};