chore: add project docs and update test circuit paths

This commit is contained in:
Dmitriy Ryajov 2025-05-30 12:18:09 -06:00
parent 87e1916266
commit 630b255b14
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4

View File

@ -232,15 +232,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)