Typo fixes

barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/standard_circuit_builder.cpp

@@ -305,7 +305,7 @@ std::vector<uint32_t> StandardCircuitBuilder_<FF>::decompose_into_base4_accumula
  * @brief Create an AND or an XOR constraint
  *
  * @param a The first argument variable index
- * @param b The secon argument variable index
+ * @param b The second argument variable index
  * @param num_bits The width of arguments. Has to be even
  * @param is_xor_gate If true, create an xor gate, otherwise an and gate
  * @return accumulator_triple_<FF> Accumulated witnesses (steps) for input arguments and output

barretenberg/cpp/src/barretenberg/stdlib/primitives/uint/logic.cpp

@@ -480,7 +480,7 @@ uint<Builder, Native> uint<Builder, Native>::logic_operator(const uint& other, c
         return uint<Builder, Native>(ctx, out);
     }
 
-    // If one of the inputs is a constant, we need to creat a witness from it, because we can only perform logical
+    // If one of the inputs is a constant, we need to create a witness from it, because we can only perform logical
     // constraints between witnesses
     const uint32_t lhs_idx = is_constant() ? ctx->add_variable(lhs) : witness_index;
     const uint32_t rhs_idx = other.is_constant() ? ctx->add_variable(rhs) : other.witness_index;