Skip to content

Commit

Permalink
README enhancements
Browse files Browse the repository at this point in the history
  • Loading branch information
Okm165 committed Mar 28, 2024
1 parent d66a48d commit 171de23
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 4 deletions.
8 changes: 5 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -54,14 +54,16 @@ To verify proofs on Starknet, proceed with the following steps:
1. Prepare calldata of example proof for sncast:

```bash
cargo run --release --bin snfoundry_proof_serializer < examples/proofs/<layout_type>/example_proof.json > examples/starknet/calldata
cargo run --release --bin snfoundry_proof_serializer < examples/proofs/<layout_type>/example_proof.json > examples/starknet/proof
```

2. Call the function with calldata on the Starknet contract:
2. Call the function with serialized `proof` on the Starknet contract:

In order to run this step, you need to have a Starknet account set up. For details, check [The Starknet Foundry Book](https://foundry-rs.github.io/starknet-foundry/starknet/account.html).

```bash
cd examples/starknet
./1-verify-proof.sh <contract_address> calldata
./1-verify-proof.sh <contract_address> proof
```

[List of deployed Verifier Contracts](deployed_contracts.md)
Expand Down
2 changes: 1 addition & 1 deletion examples/starknet/.gitignore
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
calldata
proof
target
.snfoundry_cache/

0 comments on commit 171de23

Please sign in to comment.