Fix typos

contracts/README.md

@@ -16,7 +16,7 @@ forge test -v
 
 #### Step 1: Set the `VERIFIER` environment variable
 
-Find the address of the `verifer` to use from the [deployments](https://github.com/succinctlabs/sp1-contracts/tree/main/contracts/deployments) list for the chain you are deploying to. Set it to the `VERIFIER` environment variable, for example:
+Find the address of the `verifier` to use from the [deployments](https://github.com/succinctlabs/sp1-contracts/tree/main/contracts/deployments) list for the chain you are deploying to. Set it to the `VERIFIER` environment variable, for example:
 
 ```sh
 VERIFIER=0x3B6041173B80E77f038f3F2C0f9744f04837185e

lib/src/lib.rs

@@ -1,7 +1,7 @@
 use alloy_sol_types::sol;
 
 sol! {
-    /// The public values encoded as a struct that can be easily deserialized inside Solidity.
+    /// The public values are encoded as a struct that can be easily deserialized inside Solidity.
     struct PublicValuesStruct {
         uint32 n;
         uint32 a;

program/src/main.rs

@@ -14,7 +14,7 @@ use fibonacci_lib::{fibonacci, PublicValuesStruct};
 pub fn main() {
     // Read an input to the program.
     //
-    // Behind the scenes, this compiles down to a custom system call which handles reading inputs
+    // Behind the scenes, this compiles down to a custom system call that handles reading inputs
     // from the prover.
     let n = sp1_zkvm::io::read::<u32>();
 

script/src/bin/evm.rs

@@ -107,7 +107,7 @@ fn create_proof_fixture(
     // Note that the verification key stays the same regardless of the input.
     println!("Verification Key: {}", fixture.vkey);
 
-    // The public values are the values which are publicly committed to by the zkVM.
+    // The public values are the values that are publicly committed to by the zkVM.
     //
     // If you need to expose the inputs or outputs of your program, you should commit them in
     // the public values.