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

View File

@ -268,15 +268,15 @@ template multinodesuite*(suiteName: 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)