diff --git a/aztec-nargo/compile_then_postprocess.sh b/aztec-nargo/compile_then_postprocess.sh
index 60f2cc6d869..4cc6344c5e5 100755
--- a/aztec-nargo/compile_then_postprocess.sh
+++ b/aztec-nargo/compile_then_postprocess.sh
@@ -19,7 +19,7 @@ fi
 shift # remove the compile arg so we can inject --show-artifact-paths
 
 # Forward all arguments to nargo, tee output to console.
-# Nargo should be outputing errors to stderr, but it doesn't. Use tee to duplicate stdout to stderr to display errors.
+# Nargo should be outputting errors to stderr, but it doesn't. Use tee to duplicate stdout to stderr to display errors.
 artifacts_to_process=$($NARGO compile --inliner-aggressiveness 0 --show-artifact-paths $@ | tee >(cat >&2) | grep -oP 'Saved contract artifact to: \K.*')
 
 # Postprocess each artifact
diff --git a/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp b/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp
index ce1514969b3..ce46bd111e0 100644
--- a/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp
+++ b/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp
@@ -45,7 +45,7 @@ void ClientIVC::instantiate_stdlib_verification_queue(
  *
  * @param circuit The circuit to which the constraints are appended
  * @param proof A stdlib proof to be recursively verified (either oink or PG)
- * @param vkey The stdlib verfication key associated with the proof
+ * @param vkey The stdlib verification key associated with the proof
  * @param type The type of the proof (equivalently, the type of the verifier)
  */
 void ClientIVC::perform_recursive_verification_and_databus_consistency_checks(
diff --git a/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp b/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp
index 6d617ec2737..7058100adb2 100644
--- a/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp
+++ b/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp
@@ -112,7 +112,7 @@ class ClientIVCTests : public ::testing::Test {
 /**
  * @brief A simple-as-possible test demonstrating IVC for two mock circuits
  * @details When accumulating only two circuits, only a single round of folding is performed thus no recursive
- * verfication occurs.
+ * verification occurs.
  *
  */
 TEST_F(ClientIVCTests, Basic)
diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/generated/composer.hpp b/barretenberg/cpp/src/barretenberg/vm/avm/generated/composer.hpp
index 358e52707a5..4471db0d180 100644
--- a/barretenberg/cpp/src/barretenberg/vm/avm/generated/composer.hpp
+++ b/barretenberg/cpp/src/barretenberg/vm/avm/generated/composer.hpp
@@ -29,7 +29,7 @@ class AvmComposer {
     // The crs_factory holds the path to the srs and exposes methods to extract the srs elements
     std::shared_ptr<bb::srs::factories::CrsFactory<Flavor::Curve>> crs_factory_;
 
-    // The commitment key is passed to the prover but also used herein to compute the verfication key commitments
+    // The commitment key is passed to the prover but also used herein to compute the verification key commitments
     std::shared_ptr<CommitmentKey> commitment_key;
 
     bool computed_witness = false;
diff --git a/bb-pilcom/bb-pil-backend/src/relation_builder.rs b/bb-pilcom/bb-pil-backend/src/relation_builder.rs
index 513d44c95fe..ad3a48f9df9 100644
--- a/bb-pilcom/bb-pil-backend/src/relation_builder.rs
+++ b/bb-pilcom/bb-pil-backend/src/relation_builder.rs
@@ -215,7 +215,7 @@ fn create_identity<F: FieldElement>(
     label: &Option<String>,
     indexed_aliases: &HashMap<&String, &AlgebraicExpression<F>>,
 ) -> Option<BBIdentity> {
-    // We want to read the types of operators and then create the appropiate code
+    // We want to read the types of operators and then create the appropriate code
     if let Some(expr) = &expression.selector {
         let (degree, id, col_aliases) = recurse_expression(expr, indexed_aliases, false);
         collected_aliases.extend(col_aliases);
diff --git a/bb-pilcom/bb-pil-backend/src/vm_builder.rs b/bb-pilcom/bb-pil-backend/src/vm_builder.rs
index 026a2e96852..c03b0afc26d 100644
--- a/bb-pilcom/bb-pil-backend/src/vm_builder.rs
+++ b/bb-pilcom/bb-pil-backend/src/vm_builder.rs
@@ -36,7 +36,7 @@ struct ColumnGroups {
     shifted: Vec<String>,
     /// fixed + witness + shifted
     all_cols_with_shifts: Vec<String>,
-    /// Inverses from lookups and permuations
+    /// Inverses from lookups and permutations
     inverses: Vec<String>,
     /// Public inputs (in source order)
     public_inputs: Vec<(usize, String)>,
diff --git a/bb-pilcom/bb-pil-backend/templates/composer.hpp.hbs b/bb-pilcom/bb-pil-backend/templates/composer.hpp.hbs
index 99312c340f8..068e4602e3d 100644
--- a/bb-pilcom/bb-pil-backend/templates/composer.hpp.hbs
+++ b/bb-pilcom/bb-pil-backend/templates/composer.hpp.hbs
@@ -29,7 +29,7 @@ class AvmComposer {
     // The crs_factory holds the path to the srs and exposes methods to extract the srs elements
     std::shared_ptr<bb::srs::factories::CrsFactory<Flavor::Curve>> crs_factory_;
 
-    // The commitment key is passed to the prover but also used herein to compute the verfication key commitments
+    // The commitment key is passed to the prover but also used herein to compute the verification key commitments
     std::shared_ptr<CommitmentKey> commitment_key;
 
     bool computed_witness = false;