diff --git a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.cpp b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.cpp
index 047e3e8489e..1501a2e8a38 100644
--- a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.cpp
+++ b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.cpp
@@ -3363,7 +3363,7 @@ template <typename Arithmetization> bool UltraCircuitBuilder_<Arithmetization>::
                                          alpha)
                  .is_zero()) {
 #ifndef FUZZING
-            info("Arithemtic identity fails at gate ", i);
+            info("Arithmetic identity fails at gate ", i);
 #endif
             result = false;
             break;
diff --git a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp
index a8186c477dc..8f332551832 100644
--- a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp
+++ b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp
@@ -708,7 +708,7 @@ class UltraCircuitBuilder_ : public CircuitBuilderBase<typename Arithmetization:
              *      circuit!
              *      this range constraint will increase the size of the 'sorted set' of range-constrained integers by 1.
              *      The 'non-sorted set' of range-constrained integers is a subset of the wire indices of all arithmetic
-             *      gates. No arithemtic gate => size imbalance between sorted and non-sorted sets. Checking for this
+             *      gates. No arithmetic gate => size imbalance between sorted and non-sorted sets. Checking for this
              *      and throwing an error would require a refactor of the Composer to catelog all 'orphan' variables not
              *      assigned to gates.
              *