Fix typos

crates/prover/src/constraint_framework/component.rs

@@ -153,7 +153,7 @@ impl<E: FrameworkEval> FrameworkComponent<E> {
                             PreprocessedColumnsAllocationMode::Static
                         ) {
                             panic!(
-                                "Preprocessed column {:?} is missing from static alloction",
+                                "Preprocessed column {:?} is missing from static allocation",
                                 col
                             );
                         }

crates/prover/src/constraint_framework/expr/degree.rs

@@ -2,7 +2,7 @@
 /// variables.
 /// Computes the actual degree with the following caveats:
 ///     1. The constant expression 0 receives degree 0 like all other constants rather than the
-///        mathematically correcy -infinity. This means, for example, that expresisons of the
+///        mathematically correct -infinity. This means, for example, that expressions of the
 ///        type 0 * expr will return degree deg expr. This should be mitigated by
 ///        simplification.
 ///     2. If expressions p and q cancel out under some operation, this will not be accounted

crates/prover/src/examples/wide_fibonacci/mod.rs

@@ -18,7 +18,7 @@ pub struct FibInput {
 }
 
 /// A component that enforces the Fibonacci sequence.
-/// Each row contains a seperate Fibonacci sequence of length `N`.
+/// Each row contains a separate Fibonacci sequence of length `N`.
 #[derive(Clone)]
 pub struct WideFibonacciEval<const N: usize> {
     pub log_n_rows: u32,