diff --git a/provers/sp1/contracts/README.md b/provers/sp1/contracts/README.md index d88c1bf2..c411486c 100644 --- a/provers/sp1/contracts/README.md +++ b/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 -- seralize 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.