Skip to content

Commit 8fc54e6

Browse files
Add instructions on how to run the fuzzer for circom
1 parent 136a17c commit 8fc54e6

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

README.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,3 +34,19 @@ python src/zkregex_fuzzer/cli.py --fuzzer grammar --oracle valid --target python
3434
First we need to install zkregex. Follow the instructions from here:
3535

3636
<https://github.com/zkemail/zk-regex/tree/main/packages/compiler>
37+
38+
We further need to have installed zk-regex circom dependencies (circomlib and zk-regex circuits).
39+
You can follow the instructions from here:
40+
41+
<https://github.com/zkemail/zk-regex/>
42+
43+
Finally, if we say that you install the above in the parent directory you can run the fuzzer with the following command:
44+
45+
```
46+
python src/zkregex_fuzzer/cli.py \
47+
--oracle valid \
48+
--target circom \
49+
--valid-input-generator rstr \
50+
--fuzzer grammar \
51+
--circom-library ../zk-regex/node_modules/circomlib ../zk-regex/node_modules/
52+
```

0 commit comments

Comments
 (0)