docs: fix typos

crates/core/machine/src/operations/cmp.rs

@@ -91,7 +91,7 @@ impl<F: Field> GtColsBytes<F> {
 
         // Check the flags are of valid form.
 
-        // Verrify that only one flag is set to one.
+        // Verify that only one flag is set to one.
         let mut sum_flags: AB::Expr = AB::Expr::zero();
         for &flag in cols.byte_flags.iter() {
             // Assert that the flag is boolean.

crates/core/machine/src/syscall/precompiles/weierstrass/weierstrass_decompress.rs

@@ -78,14 +78,14 @@ pub struct LexicographicChoiceCols<T, P: FieldParameters + NumWords> {
 pub enum SignChoiceRule {
     /// Lease significant bit convention.
     ///
-    /// In this convention, the `sign_bit` matches the pairty of the `y` value. This is the
+    /// In this convention, the `sign_bit` matches the paкity of the `y` value. This is the
     /// convention used in the ECDSA signature scheme, for example, in the secp256k1 curve.
     LeastSignificantBit,
     /// Lexicographic convention.
     ///
     /// In this convention, the `sign_bit` corresponds to whether the `y` value is larger than its
     /// negative counterpart with respect to the embedding of ptime field elements as integers.
-    /// This onvention used in the BLS signature scheme, for example, in the BLS12-381 curve.
+    /// This convention used in the BLS signature scheme, for example, in the BLS12-381 curve.
     Lexicographic,
 }