chore: add project documentation and update prover configuration in tests

This commit is contained in:
Dmitriy Ryajov 2025-05-29 23:35:15 -06:00 committed by Mark Spanbroek
parent 1f8ad7bd49
commit 0b68386747
No known key found for this signature in database
GPG Key ID: FBE3E9548D427C00

View File

@ -85,7 +85,7 @@ template multinodesuite*(name: string, body: untyped) =
# If you want to use a different provider url in the nodes, you can
# use withEthProvider config modifier in the node config
# to set the desired provider url. E.g.:
# NodeConfigs(
# NodeConfigs(
# hardhat:
# HardhatConfig.none,
# clients:
@ -233,8 +233,8 @@ template multinodesuite*(name: string, body: untyped) =
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs",
)
config.addCliOption(
PersistenceCmd.prover, "--circom-wasm",
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm",
PersistenceCmd.prover, "--circom-graph",
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.bin",
)
config.addCliOption(
PersistenceCmd.prover, "--circom-zkey",