Merge pull request #42 from zksecurity/bootloader-ignore-fact-topology

Update README
zksecurity · Jan 16, 2025 · 9a84839 · 9a84839
2 parents ecf1b08 + 2313962
commit 9a84839
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -88,6 +88,7 @@ Additional args:
 - `--layout`
 - `--prover_config_file`
 - `--parameter_file`
+- `--ignore_fact_topologies`
 
 ### Verify