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
parent d7b9b0bc0b
commit 87e1916266
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4

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:
@ -235,8 +235,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",