Merge 0dfaffc9f7c913c03a590c0f09177b4efbec1d91 into 48370d4e22dd3864570f72bf74b5c4a0becfe5fc

This commit is contained in:
John Guibas 2025-08-31 06:07:23 +00:00 committed by GitHub
commit 253ec0da90
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -9,5 +9,7 @@ To generate a proof, run the following commands:
```sh
cd simple_arithmetic_test
cd script
cargo run --release -- --prove
RUSTFLAGS='-C target-cpu=native' cargo run --release -- --prove
```
If you are on a CPU with AVX512 support, you can use the following flags for more performance: RUSTFLAGS='-C target-cpu=native -C target_feature=+avx512ifma,+avx512vl'.