Skip to content

Commit

Permalink
fix typo
Browse files Browse the repository at this point in the history
Signed-off-by: smtmfft <[email protected]>
  • Loading branch information
smtmfft committed Jan 11, 2025
1 parent a6d8982 commit 1247c25
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion provers/sp1/contracts/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 1247c25

Please sign in to comment.