Fix typos (#353)

* Update mod.rs

* Update README.md

---------

Co-authored-by: Damian Nolan <damiannolan@gmail.com>

Author: viktorking7

crates/ev-prover/src/prover/mod.rs

@@ -24,7 +24,7 @@ pub type SP1Prover = dyn Prover<CpuProverComponents>;
 /// Associated types let each program pick its own Input and Output context.
 #[async_trait]
 pub trait ProgramProver {
-    /// Config implements the the BaseProverConfig trait while allowing per implementation extensions.
+    /// Config implements the BaseProverConfig trait while allowing per implementation extensions.
     type Config: ProverConfig + Send + Sync + 'static;
     /// Context needed to build the stdin for this program.
     type Input: Send + 'static;

crates/sp1/ev-hyperlane/README.md

@@ -15,7 +15,7 @@ An SP1 program that verifies the existence of Hyperlane Messages against a given
 | Name | Type | Description |
 |---|---|---|
 | state_root | String | The state root of the execution client reth at the target height for verification |
-| messages | [String] | The ids of the Hyperlane messages that we proofed |
+| messages | [String] | The ids of the Hyperlane messages that we proved |
 
 
 ## Usage
@@ -61,4 +61,4 @@ Run the `ev-hyperlane` binary in proving mode.
 
 ```shell
 RUST_LOG=info cargo run -p ev-hyperlane-script -release -- --prove ...
-```
+```