chore: add project docs and update test circuit paths

This commit is contained in:
Dmitriy Ryajov 2025-05-30 12:18:09 -06:00 committed by Mark Spanbroek
parent 0b68386747
commit a38e41da5c
No known key found for this signature in database
GPG Key ID: FBE3E9548D427C00

View File

@ -230,15 +230,15 @@ template multinodesuite*(name: string, body: untyped) =
)
config.addCliOption(
PersistenceCmd.prover, "--circom-r1cs",
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs",
"tests/circuits/fixtures/proof_main.r1cs",
)
config.addCliOption(
PersistenceCmd.prover, "--circom-graph",
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.bin",
"tests/circuits/fixtures/proof_main.bin",
)
config.addCliOption(
PersistenceCmd.prover, "--circom-zkey",
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey",
"tests/circuits/fixtures/proof_main.zkey",
)
return await newCodexProcess(providerIdx, config, Role.Provider)