codex-storage/nim-codex
1
0
Fork 0
mirror of https://github.com/codex-storage/nim-codex.git synced 2025-02-02 16:14:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add "prover" cli command to tests

Browse Source
This commit is contained in:
Mark Spanbroek 2024-02-14 13:14:27 +01:00 committed by Dmitriy Ryajov
parent ed8bc7bd29
commit 5f1c1bb3df
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/integration/testcli.nim
View File

@ -16,14 +16,16 @@ suite "Command line interface":
test "complains when persistence is enabled without accessible wasm file": test "complains when persistence is enabled without accessible wasm file":
let node = startNode(@[ let node = startNode(@[
"persistence", "persistence",
"prover",
"--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs" "--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs"
]) ])
node.waitUntilOutput("wasm file not readable, doesn't exist or wrong extension (.wasm)") node.waitUntilOutput("Circom wasm file not accessible")
node.stop() node.stop()
test "complains when persistence is enabled without accessible zkey file": test "complains when persistence is enabled without accessible zkey file":
let node = startNode(@[ let node = startNode(@[
"persistence", "persistence",
"prover",
"--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs", "--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs",
"--circom-wasm=tests/circuits/fixtures/proof_main.wasm" "--circom-wasm=tests/circuits/fixtures/proof_main.wasm"
]) ])
@ -33,6 +35,7 @@ suite "Command line interface":
test "complains when persistence is enabled without ethereum account": test "complains when persistence is enabled without ethereum account":
let node = startNode(@[ let node = startNode(@[
"persistence", "persistence",
"prover",
"--circom-r1cs=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs", "--circom-r1cs=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs",
"--circom-wasm=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm", "--circom-wasm=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm",
"--circom-zkey=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey" "--circom-zkey=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey"
@ -45,6 +48,7 @@ suite "Command line interface":
discard unsafeKeyFile.writeFile(key, 0o666) discard unsafeKeyFile.writeFile(key, 0o666)
let node = startNode(@[ let node = startNode(@[
"persistence", "persistence",
"prover",
"--circom-r1cs=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs", "--circom-r1cs=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs",
"--circom-wasm=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm", "--circom-wasm=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm",
"--circom-zkey=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey", "--circom-zkey=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey",