chore: fix typo

provers/sp1/contracts/README.md

@@ -25,7 +25,7 @@ The contract and proof is generated by [./provers/sp1/driver/src/gen_verifier.rs
     RUST_LOG=debug 
     ```
 - generate proof given `GuestInput` in [input.json](../contracts/src/fixtures/input.json) either remotely or locally
-- serealize the proof into [fixture.json](../contracts/src/fixtures/fixture.json) to be tested in `RaikoVerifier.sol`
+- serialize the proof into [fixture.json](../contracts/src/fixtures/fixture.json) to be tested in `RaikoVerifier.sol`
 
 ### To verify  a different block
 You can either start Raiko and run [prove-block.sh](../../../script/prove-block.sh) to get the block you want from certain network and then run the `run-verifier` to prove. Make sure the prover is not in `mock` mode. Finally, you can verify with smart contract test.
@@ -56,4 +56,4 @@ $ cargo run --bin sp1-verifier -- input-taiko-mainnet-192317.json
 You can also run [./script/sp1-e2e.sh](/script/sp1-e2e.sh) which does the same thing:
 ```
 $ ./script/sp1-e2e.sh taiko_mainnet 192317
-```
+```