Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
fmkra committed Sep 10, 2024
1 parent f56b5dd commit 4efbe3d
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,8 @@ To build the Cairo Verifier, follow these steps:
scarb build
```

If you want to build for other layouts, refer to [Configure Verifier](/README.md#configure-verifier)

2. (Optional) Test the project to ensure everything works correctly:

```bash
Expand Down Expand Up @@ -56,14 +58,15 @@ cd examples/starknet

## Configure Verifier

By default, the verifier is configured for recursive layout and keccak hash for verifier unfriendly commitment layers. You can easily change that by using the configure python script (this script is in Experimental stage):
By default, the verifier is configured for monolit version, recursive layout and keccak hash for verifier unfriendly commitment layers. You can easily change that by using scarb's features:

```bash
python configure.py -l recursive -s keccak
scarb build --no-default-features --features small,blake2s,split
```

layout types: [dex, recursive, recursive_with_poseidon, small, starknet, starknet_with_keccak]
hash types: [keccak, blake2s]
verifier types: [monolit, split]

## Benchmarking

Expand All @@ -81,4 +84,4 @@ For detailed instructions and examples, refer to the Stone Prover [documentation

How to prove [Cairo0](https://github.com/starkware-libs/stone-prover?tab=readme-ov-file#creating-and-verifying-a-proof-of-a-cairozero-program) program with Stone Prover.

How to prove [Cairo1](https://github.com/starkware-libs/stone-prover?tab=readme-ov-file#creating-and-verifying-a-proof-of-a-cairo-program) program with Stone Prover.
How to prove [Cairo1](https://github.com/starkware-libs/stone-prover?tab=readme-ov-file#creating-and-verifying-a-proof-of-a-cairo-program) program with Stone Prover.

0 comments on commit 4efbe3d

Please sign in to comment.