From bdcd206dd2c38375575ca82b2eb2ec84dc1d9772 Mon Sep 17 00:00:00 2001
From: GoodDaisy <90915921+GoodDaisy@users.noreply.github.com>
Date: Sun, 21 Jan 2024 15:01:45 +0800
Subject: [PATCH 1/4] Fix typo

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 1002b73faa..721920504a 100644
--- a/README.md
+++ b/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.
 
 

From f6f259327b54db7138792e20225177b013e0aba5 Mon Sep 17 00:00:00 2001
From: GoodDaisy <90915921+GoodDaisy@users.noreply.github.com>
Date: Sun, 21 Jan 2024 15:01:55 +0800
Subject: [PATCH 2/4] Fix typo

---
 snarky_integer/integer.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/snarky_integer/integer.ml b/snarky_integer/integer.ml
index 249984b8a6..97519ebb09 100644
--- 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

From bc34a562f5bb8d1cf178311d81a1019a4349148a Mon Sep 17 00:00:00 2001
From: GoodDaisy <90915921+GoodDaisy@users.noreply.github.com>
Date: Sun, 21 Jan 2024 15:01:58 +0800
Subject: [PATCH 3/4] Fix typo

---
 sponge/sponge.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sponge/sponge.ml b/sponge/sponge.ml
index 2edcf42414..a1c9e33f1d 100644
--- 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

From cc0076318576f4d3c441effeaa263bccff2b4ef1 Mon Sep 17 00:00:00 2001
From: GoodDaisy <90915921+GoodDaisy@users.noreply.github.com>
Date: Sun, 21 Jan 2024 15:02:03 +0800
Subject: [PATCH 4/4] Fix typo

---
 website/docs/readme.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/docs/readme.md b/website/docs/readme.md
index 1a32d7dd54..6170583402 100644
--- a/website/docs/readme.md
+++ b/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.