Fix typos

README.md

@@ -43,7 +43,7 @@ certified by the snark. For example, we have a function
 ```ocaml
 mul : var -> var -> (var, _) Checked.t.
 ```
-Given `v1, v2 : var`, `mul v1 v2` is a variable containg the product of v1 and v2,
+Given `v1, v2 : var`, `mul v1 v2` is a variable containing the product of v1 and v2,
 and the snark will ensure that this is so.
 
 

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

website/docs/readme.md

@@ -34,7 +34,7 @@ certified by the snark. For example, we have a function
 ```ocaml
 mul : var -> var -> (var, _) Checked.t.
 ```
-Given `v1, v2 : var`, `mul v1 v2` is a variable containg the product of v1 and v2,
+Given `v1, v2 : var`, `mul v1 v2` is a variable containing the product of v1 and v2,
 and the snark will ensure that this is so.