diff --git a/README.md b/README.md
index 138a3852..a7432487 100644
--- a/README.md
+++ b/README.md
@@ -40,7 +40,7 @@ A computation can be expressed as an NP statement, in forms such as the followin
 A prover who knows the witness for the NP statement (i.e., a satisfying input/assignment) can produce a short proof attesting to the truth of the NP statement. This proof can be verified by anyone, and offers the following properties.
 
 -   __Zero knowledge:__
-    the verifier learns nothing from the proof beside the truth of the statement (i.e., the value _qux_, in the above examples, remains secret).
+    the verifier learns nothing from the proof besides the truth of the statement (i.e., the value _qux_, in the above examples, remains secret).
 -   __Succinctness:__
     the proof is short and easy to verify.
 -   __Non-interactivity:__
@@ -51,7 +51,7 @@ A prover who knows the witness for the NP statement (i.e., a satisfying input/as
     the proof attests not just that the NP statement is true, but also that the
     prover knows why (e.g., knows a valid _qux_).
 
-These properties are summarized by the _zkSNARK_ acronym, which stands for _Zero-Knowledge Succinct Non-interactive ARgument of Knowledge_ (though zkSNARKs are also knows as
+These properties are summarized by the _zkSNARK_ acronym, which stands for _Zero-Knowledge Succinct Non-interactive ARgument of Knowledge_ (though zkSNARKs are also known as
 _succinct non-interactive computationally-sound zero-knowledge proofs of knowledge_).
 For formal definitions and theoretical discussions about these, see
 \[BCCT12], \[BCIOP13], and the references therein.
diff --git a/libsnark/gadgetlib2/examples/tutorial.cpp b/libsnark/gadgetlib2/examples/tutorial.cpp
index b2ee68fc..80922f33 100644
--- a/libsnark/gadgetlib2/examples/tutorial.cpp
+++ b/libsnark/gadgetlib2/examples/tutorial.cpp
@@ -411,7 +411,7 @@ void R1P_VerifyTransactionAmounts_Gadget::generateConstraints() {
     // equation over the field modulus. In fact, for every input/output sum we will always find a
     // miners' fee which will satisfy this constraint!
     // It is left as an exercise for the reader to implement additional constraints (and witness)
-    // to check that each of the amounts (inputs, outputs, fee) are between 0 and 21,000,000 * 1E8
+    // to check that each of the amounts (inputs, outputs, fee) is between 0 and 21,000,000 * 1E8
     // satoshis. Combine this with a maximum amount of inputs/outputs to disallow field overflow.
     //
     // Hint: use Comparison_Gadget to create a gadget which compares a variable's assigned value
diff --git a/libsnark/gadgetlib2/gadget.hpp b/libsnark/gadgetlib2/gadget.hpp
index e659fe10..0a3aea59 100644
--- a/libsnark/gadgetlib2/gadget.hpp
+++ b/libsnark/gadgetlib2/gadget.hpp
@@ -467,7 +467,7 @@ CREATE_GADGET_FACTORY_CLASS_3(IntegerPacking_Gadget, VariableArray, unpacked, Va
 /*************************************************************************************************/
 
 /*
-    Gadgets recieve a constant field element n, and an input.
+    Gadgets receive a constant field element n, and an input.
     input == n ==> result = 1
     input != n ==> result = 0
 */