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 Eric
parent a5f458caab
commit 974ca92e2b
No known key found for this signature in database

View File

@ -271,8 +271,8 @@ template multinodesuite*(suiteName: 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",