diff --git a/README.md b/README.md index bc53f38d..18345970 100644 --- a/README.md +++ b/README.md @@ -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 @@ -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 @@ -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. \ No newline at end of file +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.