Merge pull request #835 from GoodDaisy/master

Fix typos
o1-labs · Dec 16, 2024 · a6d3ccb · a6d3ccb
2 parents 9d434d8 + cae6751
commit a6d3ccb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/snarky_integer/integer.ml b/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

diff --git a/sponge/sponge.ml b/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