diff --git a/crates/blockifier/ERC20/ERC20_Cairo1/ERC20_cairo1.cairo b/crates/blockifier/ERC20/ERC20_Cairo1/ERC20_cairo1.cairo
index 61aed45e3b..dce9611976 100644
--- a/crates/blockifier/ERC20/ERC20_Cairo1/ERC20_cairo1.cairo
+++ b/crates/blockifier/ERC20/ERC20_Cairo1/ERC20_cairo1.cairo
@@ -305,7 +305,7 @@ mod ERC20 {
             // We emit now so that finalize emits last (if it does).
             self.emit(ImplementationReplaced { implementation_data });
 
-            // Finalize imeplementation, if needed.
+            // Finalize implementation, if needed.
             if (implementation_data.final) {
                 self.finalize();
                 self.emit(ImplementationFinalized { impl_hash: implementation_data.impl_hash });
@@ -314,7 +314,7 @@ mod ERC20 {
             // Handle EIC.
             match implementation_data.eic_data {
                 Option::Some(eic_data) => {
-                    // Wrap the calldata as a span, as preperation for the library_call_syscall
+                    // Wrap the calldata as a span, as preparation for the library_call_syscall
                     // invocation.
                     let mut calldata_wrapper = ArrayTrait::new();
                     eic_data.eic_init_data.serialize(ref calldata_wrapper);
@@ -697,4 +697,4 @@ mod ERC20 {
             }
         }
     }
-}
\ No newline at end of file
+}
diff --git a/crates/blockifier/feature_contracts/cairo0/account_faulty.cairo b/crates/blockifier/feature_contracts/cairo0/account_faulty.cairo
index 968f477b34..93faca3949 100644
--- a/crates/blockifier/feature_contracts/cairo0/account_faulty.cairo
+++ b/crates/blockifier/feature_contracts/cairo0/account_faulty.cairo
@@ -57,7 +57,7 @@ func __validate__{syscall_ptr: felt*}(
     contract_address: felt, selector: felt, calldata_len: felt, calldata: felt*
 ) {
     let to_address = 0;
-    // By calling the `send_message_to_l1` function in validation and exeution, tests can now verify
+    // By calling the `send_message_to_l1` function in validation and execution, tests can now verify
     // the functionality of entry point counters.
     send_message_to_l1(to_address, calldata_len, calldata);
     faulty_validate();
diff --git a/crates/blockifier/feature_contracts/cairo1/account_faulty.cairo b/crates/blockifier/feature_contracts/cairo1/account_faulty.cairo
index 3c08b1535f..815fb2bc0b 100644
--- a/crates/blockifier/feature_contracts/cairo1/account_faulty.cairo
+++ b/crates/blockifier/feature_contracts/cairo1/account_faulty.cairo
@@ -64,7 +64,7 @@ mod Account {
         calldata: Array<felt252>
     ) -> felt252 {
         let to_address = 0;
-        // By calling the `send_message_to_l1` function in validation and exeution, tests can now verify
+        // By calling the `send_message_to_l1` function in validation and execution, tests can now verify
         // the functionality of entry point counters.
         send_message_to_l1_syscall(
             to_address: to_address,
diff --git a/crates/blockifier/src/blockifier/transaction_executor.rs b/crates/blockifier/src/blockifier/transaction_executor.rs
index 2d7bfa857d..6bc730dde0 100644
--- a/crates/blockifier/src/blockifier/transaction_executor.rs
+++ b/crates/blockifier/src/blockifier/transaction_executor.rs
@@ -240,7 +240,7 @@ impl<S: StateReader + Send + Sync> TransactionExecutor<S> {
             for _ in 0..self.config.concurrency_config.n_workers {
                 let worker_executor = Arc::clone(&worker_executor);
                 s.spawn(move || {
-                    // Making sure that the program will abort if a panic accured while halting the
+                    // Making sure that the program will abort if a panic occurs while halting the
                     // scheduler.
                     let abort_guard = AbortIfPanic;
                     // If a panic is not handled or the handling logic itself panics, then we abort