Fix typos

snarky_integer/integer.ml

@@ -189,7 +189,7 @@ let div_mod (type f) ~m:((module M) as m : f m) a b =
   let b_bit_length = Interval.bits_needed b.interval in
   let r_bits = Field.choose_preimage_var r ~length:b_bit_length in
   Field.Assert.lt ~bit_length:b_bit_length r b.value ;
-  (* This assertion checkes that the multiplication q * b is safe. *)
+  (* This assertion checks that the multiplication q * b is safe. *)
   assert (q_bit_length + b_bit_length + 1 < Field.Constant.size_in_bits) ;
   assert_r1cs q b.value Field.(a.value - r) ;
   ( { value = q

sponge/sponge.ml

@@ -218,7 +218,7 @@ module Make_hash (P : Intf.Permutation) = struct
     Array.fold ~init:state blocks ~f:(fun state block ->
         add_block ~state block ; perm state )
 
-  (* takes an array of field elements, and spread them into blocks/arrays that can contain [rate] fied elements *)
+  (* takes an array of field elements, and spread them into blocks/arrays that can contain [rate] field elements *)
   let to_blocks rate field_elems =
     let n = Array.length field_elems in
     let num_blocks = if n = 0 then 1 else (n + rate - 1) / rate in