Parent Log:
http://ci.aztec-labs.com/b66f3d7434cdc44d
Command: 85ebe83a9ef9464b:ISOLATE=1:NAME=prover-client/src/test/bb_prover_parity.test.ts:CPUS=16:MEM=96g LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/24972303091baff6f83c6389d7d1406c932357e9
Env: REF_NAME=gh-readonly-queue/next/pr-15042-a0a8617413ca6f4fba2ad190ce73dab59bd75a45 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 14:11:59 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15042_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
14:11:59 +++ id -u
14:11:59 +++ id -g
14:11:59 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
14:11:59 + cid=4f95a5cef8038222765466dfa9d733fe21b0266db00387dc3a588bf1e3d7acac
14:11:59 + set +x
14:12:01 {"level":25,"time":1750169521593,"pid":7,"hostname":"4f95a5cef803","module":"logger","msg":"Logger initialized with level verbose"}
14:12:10 [14:12:10.580]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-TmR2sv/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
14:12:10 [14:12:10.639]
INFO:
prover-client:test:bb-prover-parity Found native BB binary at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb with working directory /tmp/153a111a/bb
14:12:10 [14:12:10.641]
INFO:
prover-client:test:bb-prover-parity Found native ACVM binary at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm with working directory /tmp/153a111a/acvm
14:12:10 [14:12:10.642]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/153a111a/bb
14:12:10 [14:12:10.643]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/153a111a/acvm
14:12:10 [14:12:10.646]
INFO:
prover-client:proving-broker Proving Broker started
14:12:10 [14:12:10.648]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
14:12:10 [14:12:10.904]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":76.05428500000016,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:12:10 [14:12:10.927]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":117.21201699999983,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:12:11 [14:12:11.000]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":82.88651799999934,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:12:11 [14:12:11.017]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":116.95921199999975,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:12:14 [14:12:14.922]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3893 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3892.752335000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:12:14 [14:12:14.926]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-OZDPnR/proof -k /tmp/153a111a/bb/tmp-OZDPnR/vk -i /tmp/153a111a/bb/tmp-OZDPnR/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:14 [14:12:14.958]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.83 MiB)
14:12:14 [14:12:14.959]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.83 MiB)
14:12:14 --public_inputs_path: /tmp/153a111a/bb/tmp-OZDPnR/public_inputs (mem: 251.83 MiB)
14:12:14 --proof_path: /tmp/153a111a/bb/tmp-OZDPnR/proof (mem: 251.83 MiB)
14:12:14 --vk_path: /tmp/153a111a/bb/tmp-OZDPnR/vk (mem: 251.83 MiB)
14:12:14 --verbose: true (mem: 251.83 MiB)
14:12:14 --scheme: ultra_honk (mem: 251.83 MiB)
14:12:14 --oracle_hash: poseidon2 (mem: 251.83 MiB)
14:12:14 [14:12:14.960]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.83 MiB)
14:12:14 [14:12:14.975]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.83 MiB)
14:12:14 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.83 MiB)
14:12:14 [14:12:14.976]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.83 MiB)
14:12:14 libra_evals_verified: 1 (mem: 251.83 MiB)
14:12:14 pairing_check_verified: 1 (mem: 251.83 MiB)
14:12:14 Proof verified successfully (mem: 251.83 MiB)
14:12:14 verified: 1 (mem: 251.83 MiB)
14:12:14 [14:12:14.979]
INFO:
bb-prover Successfully verified proof from key in 52.934785999999804 ms
14:12:15 [14:12:15.055]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4085 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4084.927592,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:12:15 [14:12:15.063]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-b7iSBH/proof -k /tmp/153a111a/bb/tmp-b7iSBH/vk -i /tmp/153a111a/bb/tmp-b7iSBH/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:15 [14:12:15.089]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4149 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4148.350584,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:12:15 [14:12:15.091]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.84 MiB)
14:12:15 Scheme is: ultra_honk, num threads: 128 (mem: 251.84 MiB)
14:12:15 --public_inputs_path: /tmp/153a111a/bb/tmp-b7iSBH/public_inputs (mem: 251.84 MiB)
14:12:15 --proof_path: /tmp/153a111a/bb/tmp-b7iSBH/proof (mem: 251.84 MiB)
14:12:15 --vk_path: /tmp/153a111a/bb/tmp-b7iSBH/vk (mem: 251.84 MiB)
14:12:15 --verbose: true (mem: 251.84 MiB)
14:12:15 --scheme: ultra_honk (mem: 251.84 MiB)
14:12:15 --oracle_hash: poseidon2 (mem: 251.84 MiB)
14:12:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.84 MiB)
14:12:15 [14:12:15.100]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-yEj12V/proof -k /tmp/153a111a/bb/tmp-yEj12V/vk -i /tmp/153a111a/bb/tmp-yEj12V/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:15 [14:12:15.130]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.84 MiB)
14:12:15 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.84 MiB)
14:12:15 sumcheck_verified: 1 (mem: 251.84 MiB)
14:12:15 libra_evals_verified: 1 (mem: 251.84 MiB)
14:12:15 pairing_check_verified: 1 (mem: 251.84 MiB)
14:12:15 Proof verified successfully (mem: 251.84 MiB)
14:12:15 verified: 1 (mem: 251.84 MiB)
14:12:15 [14:12:15.132]
INFO:
bb-prover Successfully verified proof from key in 69.95880899999975 ms
14:12:15 [14:12:15.133]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.65 MiB)
14:12:15 Scheme is: ultra_honk, num threads: 128 (mem: 251.65 MiB)
14:12:15 --public_inputs_path: /tmp/153a111a/bb/tmp-yEj12V/public_inputs (mem: 251.65 MiB)
14:12:15 --proof_path: /tmp/153a111a/bb/tmp-yEj12V/proof (mem: 251.65 MiB)
14:12:15 --vk_path: /tmp/153a111a/bb/tmp-yEj12V/vk (mem: 251.65 MiB)
14:12:15 --verbose: true (mem: 251.65 MiB)
14:12:15 --scheme: ultra_honk (mem: 251.65 MiB)
14:12:15 --oracle_hash: poseidon2 (mem: 251.65 MiB)
14:12:15 [14:12:15.138]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.65 MiB)
14:12:15 [14:12:15.152]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.65 MiB)
14:12:15 [14:12:15.154]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.65 MiB)
14:12:15 sumcheck_verified: 1 (mem: 251.65 MiB)
14:12:15 libra_evals_verified: 1 (mem: 251.65 MiB)
14:12:15 pairing_check_verified: 1 (mem: 251.65 MiB)
14:12:15 Proof verified successfully (mem: 251.65 MiB)
14:12:15 [14:12:15.154]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 251.65 MiB)
14:12:15 [14:12:15.156]
INFO:
bb-prover Successfully verified proof from key in 56.13122800000019 ms
14:12:15 [14:12:15.181]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4128 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4127.945276,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:12:15 [14:12:15.192]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-OyjGNH/proof -k /tmp/153a111a/bb/tmp-OyjGNH/vk -i /tmp/153a111a/bb/tmp-OyjGNH/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:15 [14:12:15.225]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.97 MiB)
14:12:15 [14:12:15.227]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.97 MiB)
14:12:15 --public_inputs_path: /tmp/153a111a/bb/tmp-OyjGNH/public_inputs (mem: 251.97 MiB)
14:12:15 --proof_path: /tmp/153a111a/bb/tmp-OyjGNH/proof (mem: 251.97 MiB)
14:12:15 --vk_path: /tmp/153a111a/bb/tmp-OyjGNH/vk (mem: 251.97 MiB)
14:12:15 --verbose: true (mem: 251.97 MiB)
14:12:15 --scheme: ultra_honk (mem: 251.97 MiB)
14:12:15 --oracle_hash: poseidon2 (mem: 251.97 MiB)
14:12:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.97 MiB)
14:12:15 [14:12:15.241]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.97 MiB)
14:12:15 [14:12:15.242]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.97 MiB)
14:12:15 [14:12:15.242]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.97 MiB)
14:12:15 libra_evals_verified: 1 (mem: 251.97 MiB)
14:12:15 pairing_check_verified: 1 (mem: 251.97 MiB)
14:12:15 Proof verified successfully (mem: 251.97 MiB)
14:12:15 verified: 1 (mem: 251.97 MiB)
14:12:15 [14:12:15.246]
INFO:
bb-prover Successfully verified proof from key in 54.20407500000147 ms
14:12:15 [14:12:15.261]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-nTGtLJ/proof -k /tmp/153a111a/bb/tmp-nTGtLJ/vk -i /tmp/153a111a/bb/tmp-nTGtLJ/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:15 [14:12:15.286]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-sXnNDk/proof -k /tmp/153a111a/bb/tmp-sXnNDk/vk -i /tmp/153a111a/bb/tmp-sXnNDk/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:15 [14:12:15.307]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-rGEE5J/proof -k /tmp/153a111a/bb/tmp-rGEE5J/vk -i /tmp/153a111a/bb/tmp-rGEE5J/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:15 [14:12:15.331]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.13 MiB)
14:12:15 Scheme is: ultra_honk, num threads: 128 (mem: 251.13 MiB)
14:12:15 --public_inputs_path: /tmp/153a111a/bb/tmp-nTGtLJ/public_inputs (mem: 251.13 MiB)
14:12:15 --proof_path: /tmp/153a111a/bb/tmp-nTGtLJ/proof (mem: 251.13 MiB)
14:12:15 --vk_path: /tmp/153a111a/bb/tmp-nTGtLJ/vk (mem: 251.13 MiB)
14:12:15 --verbose: true (mem: 251.13 MiB)
14:12:15 --scheme: ultra_honk (mem: 251.13 MiB)
14:12:15 --oracle_hash: poseidon2 (mem: 251.13 MiB)
14:12:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.13 MiB)
14:12:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.13 MiB)
14:12:15 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.13 MiB)
14:12:15 sumcheck_verified: 1 (mem: 251.13 MiB)
14:12:15 libra_evals_verified: 1 (mem: 251.13 MiB)
14:12:15 pairing_check_verified: 1 (mem: 251.13 MiB)
14:12:15 Proof verified successfully (mem: 251.13 MiB)
14:12:15 verified: 1 (mem: 251.13 MiB)
14:12:15 [14:12:15.334]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-7kgmTV/proof -k /tmp/153a111a/bb/tmp-7kgmTV/vk -i /tmp/153a111a/bb/tmp-7kgmTV/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:15 [14:12:15.367]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.04 MiB)
14:12:15 Scheme is: ultra_honk, num threads: 128 (mem: 252.04 MiB)
14:12:15 --public_inputs_path: /tmp/153a111a/bb/tmp-sXnNDk/public_inputs (mem: 252.04 MiB)
14:12:15 --proof_path: /tmp/153a111a/bb/tmp-sXnNDk/proof (mem: 252.04 MiB)
14:12:15 --vk_path: /tmp/153a111a/bb/tmp-sXnNDk/vk (mem: 252.04 MiB)
14:12:15 --verbose: true (mem: 252.04 MiB)
14:12:15 --scheme: ultra_honk (mem: 252.04 MiB)
14:12:15 --oracle_hash: poseidon2 (mem: 252.04 MiB)
14:12:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.04 MiB)
14:12:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.04 MiB)
14:12:15 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.04 MiB)
14:12:15 sumcheck_verified: 1 (mem: 252.04 MiB)
14:12:15 libra_evals_verified: 1 (mem: 252.04 MiB)
14:12:15 pairing_check_verified: 1 (mem: 252.04 MiB)
14:12:15 Proof verified successfully (mem: 252.04 MiB)
14:12:15 verified: 1 (mem: 252.04 MiB)
14:12:15 [14:12:15.368]
INFO:
bb-prover Successfully verified proof from key in 82.21913299999869 ms
14:12:15 [14:12:15.369]
INFO:
bb-prover Successfully verified proof from key in 107.82341699999961 ms
14:12:15 [14:12:15.370]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.04 MiB)
14:12:15 Scheme is: ultra_honk, num threads: 128 (mem: 252.04 MiB)
14:12:15 --public_inputs_path: /tmp/153a111a/bb/tmp-rGEE5J/public_inputs (mem: 252.04 MiB)
14:12:15 --proof_path: /tmp/153a111a/bb/tmp-rGEE5J/proof (mem: 252.04 MiB)
14:12:15 --vk_path: /tmp/153a111a/bb/tmp-rGEE5J/vk (mem: 252.04 MiB)
14:12:15 --verbose: true (mem: 252.04 MiB)
14:12:15 --scheme: ultra_honk (mem: 252.04 MiB)
14:12:15 --oracle_hash: poseidon2 (mem: 252.04 MiB)
14:12:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.04 MiB)
14:12:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.04 MiB)
14:12:15 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.04 MiB)
14:12:15 sumcheck_verified: 1 (mem: 252.04 MiB)
14:12:15 libra_evals_verified: 1 (mem: 252.04 MiB)
14:12:15 pairing_check_verified: 1 (mem: 252.04 MiB)
14:12:15 Proof verified successfully (mem: 252.04 MiB)
14:12:15 verified: 1 (mem: 252.04 MiB)
14:12:15 [14:12:15.371]
INFO:
bb-prover Successfully verified proof from key in 64.09234599999945 ms
14:12:15 [14:12:15.377]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.04 MiB)
14:12:15 Scheme is: ultra_honk, num threads: 128 (mem: 252.04 MiB)
14:12:15 --public_inputs_path: /tmp/153a111a/bb/tmp-7kgmTV/public_inputs (mem: 252.04 MiB)
14:12:15 --proof_path: /tmp/153a111a/bb/tmp-7kgmTV/proof (mem: 252.04 MiB)
14:12:15 --vk_path: /tmp/153a111a/bb/tmp-7kgmTV/vk (mem: 252.04 MiB)
14:12:15 --verbose: true (mem: 252.04 MiB)
14:12:15 --scheme: ultra_honk (mem: 252.04 MiB)
14:12:15 --oracle_hash: poseidon2 (mem: 252.04 MiB)
14:12:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.04 MiB)
14:12:15 [14:12:15.389]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.04 MiB)
14:12:15 [14:12:15.390]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.04 MiB)
14:12:15 [14:12:15.395]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.04 MiB)
14:12:15 libra_evals_verified: 1 (mem: 252.04 MiB)
14:12:15 [14:12:15.395]
VERBOSE:
bb-prover bb-prover (verify) BB out - pairing_check_verified: 1 (mem: 252.04 MiB)
14:12:15 Proof verified successfully (mem: 252.04 MiB)
14:12:15 verified: 1 (mem: 252.04 MiB)
14:12:15 [14:12:15.397]
INFO:
bb-prover Successfully verified proof from key in 62.896489000000656 ms
14:12:15 [14:12:15.613]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":85.11798799999997,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:12:58 [14:12:58.174]
INFO:
bb-prover Generated proof for RootParityArtifact in 42552 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":42551.222487,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:12:58 [14:12:58.178]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-bQ3qDi/proof -k /tmp/153a111a/bb/tmp-bQ3qDi/vk -i /tmp/153a111a/bb/tmp-bQ3qDi/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:58 [14:12:58.205]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.77 MiB)
14:12:58 [14:12:58.206]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.77 MiB)
14:12:58 --public_inputs_path: /tmp/153a111a/bb/tmp-bQ3qDi/public_inputs (mem: 253.77 MiB)
14:12:58 --proof_path: /tmp/153a111a/bb/tmp-bQ3qDi/proof (mem: 253.77 MiB)
14:12:58 --vk_path: /tmp/153a111a/bb/tmp-bQ3qDi/vk (mem: 253.77 MiB)
14:12:58 --verbose: true (mem: 253.77 MiB)
14:12:58 --scheme: ultra_honk (mem: 253.77 MiB)
14:12:58 --oracle_hash: poseidon2 (mem: 253.77 MiB)
14:12:58 [14:12:58.207]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.77 MiB)
14:12:58 [14:12:58.224]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.77 MiB)
14:12:58 [14:12:58.226]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.77 MiB)
14:12:58 sumcheck_verified: 1 (mem: 253.77 MiB)
14:12:58 libra_evals_verified: 1 (mem: 253.77 MiB)
14:12:58 pairing_check_verified: 1 (mem: 253.77 MiB)
14:12:58 Proof verified successfully (mem: 253.77 MiB)
14:12:58 verified: 1 (mem: 253.77 MiB)
14:12:58 [14:12:58.229]
INFO:
bb-prover Successfully verified proof from key in 50.77045299999736 ms
14:12:58 [14:12:58.234]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-hw6JNG/proof -k /tmp/153a111a/bb/tmp-hw6JNG/vk -i /tmp/153a111a/bb/tmp-hw6JNG/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:58 [14:12:58.259]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.77 MiB)
14:12:58 Scheme is: ultra_honk, num threads: 128 (mem: 253.77 MiB)
14:12:58 --public_inputs_path: /tmp/153a111a/bb/tmp-hw6JNG/public_inputs (mem: 253.77 MiB)
14:12:58 --proof_path: /tmp/153a111a/bb/tmp-hw6JNG/proof (mem: 253.77 MiB)
14:12:58 --vk_path: /tmp/153a111a/bb/tmp-hw6JNG/vk (mem: 253.77 MiB)
14:12:58 --verbose: true (mem: 253.77 MiB)
14:12:58 --scheme: ultra_honk (mem: 253.77 MiB)
14:12:58 --oracle_hash: poseidon2 (mem: 253.77 MiB)
14:12:58 [14:12:58.262]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.77 MiB)
14:12:58 [14:12:58.276]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.77 MiB)
14:12:58 [14:12:58.277]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.77 MiB)
14:12:58 [14:12:58.277]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.77 MiB)
14:12:58 libra_evals_verified: 1 (mem: 253.77 MiB)
14:12:58 pairing_check_verified: 1 (mem: 253.77
14:12:58 [14:12:58.278]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:12:58 Proof verified successfully (mem: 253.77 MiB)
14:12:58 verified: 1 (mem: 253.77 MiB)
14:12:58 [14:12:58.280]
INFO:
bb-prover Successfully verified proof from key in 45.926384999998845 ms
14:12:58 [14:12:58.363]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
14:12:58
14:12:58 [14:12:58.364]
ERROR:
bb-prover Error running operation at /tmp/153a111a/bb/tmp-HufjDm: Error: Failed to generate witness: Failed assertion
14:12:58
14:12:58 [14:12:58.576]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":102.6080909999946,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
14:13:37 [14:13:37.917]
INFO:
bb-prover Generated proof for RootParityArtifact in 39328 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39327.470671999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:13:37 [14:13:37.923]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-xWM0IF/proof -k /tmp/153a111a/bb/tmp-xWM0IF/vk -i /tmp/153a111a/bb/tmp-xWM0IF/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:37 [14:13:37.953]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.77 MiB)
14:13:37 [14:13:37.954]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.77 MiB)
14:13:37 --public_inputs_path: /tmp/153a111a/bb/tmp-xWM0IF/public_inputs (mem: 253.77 MiB)
14:13:37 --proof_path: /tmp/153a111a/bb/tmp-xWM0IF/proof (mem: 253.77 MiB)
14:13:37 --vk_path: /tmp/153a111a/bb/tmp-xWM0IF/vk (mem: 253.77 MiB)
14:13:37 --verbose: true (mem: 253.77 MiB)
14:13:37 --scheme: ultra_honk (mem: 253.77 MiB)
14:13:37 --oracle_hash: poseidon2 (mem: 253.77 MiB)
14:13:37 [14:13:37.955]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.77 MiB)
14:13:37 [14:13:37.968]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.77 MiB)
14:13:37 Proof verification failed (mem: 253.77 MiB)
14:13:37 [14:13:37.969]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.77 MiB)
14:13:37 [14:13:37.972]
ERROR:
bb-prover Error running operation at /tmp/153a111a/bb/tmp-xWM0IF: ProvingError: Failed to verify proof from key!
14:13:38 [14:13:38.180]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":72.24393900000723,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:14:11 [14:14:11.094]
INFO:
bb-prover Generated proof for RootParityArtifact in 32897 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":32896.491284,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:14:11 [14:14:11.097]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/153a111a/bb/tmp-kmeLdN/proof -k /tmp/153a111a/bb/tmp-kmeLdN/vk -i /tmp/153a111a/bb/tmp-kmeLdN/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
14:14:11 [14:14:11.116]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.77 MiB)
14:14:11 [14:14:11.117]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.77 MiB)
14:14:11 --public_inputs_path: /tmp/153a111a/bb/tmp-kmeLdN/public_inputs (mem: 253.77 MiB)
14:14:11 --proof_path: /tmp/153a111a/bb/tmp-kmeLdN/proof (mem: 253.77 MiB)
14:14:11 --vk_path: /tmp/153a111a/bb/tmp-kmeLdN/vk (mem: 253.77 MiB)
14:14:11 --verbose: true (mem: 253.77 MiB)
14:14:11 --scheme: ultra_honk (mem: 253.77 MiB)
14:14:11 --oracle_hash: poseidon2 (mem: 253.77 MiB)
14:14:11 [14:14:11.117]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.77 MiB)
14:14:11 [14:14:11.126]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.77 MiB)
14:14:11 Proof verification failed (mem: 253.77 MiB)
14:14:11 [14:14:11.127]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.77 MiB)
14:14:11 [14:14:11.128]
ERROR:
bb-prover Error running operation at /tmp/153a111a/bb/tmp-kmeLdN: ProvingError: Failed to verify proof from key!
14:14:11 [14:14:11.130]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
14:14:11
PASS src/test/bb_prover_parity.test.ts (
129.774 s)
14:14:11 prover/bb_prover/parity
14:14:11
✓ proves the parity circuits (120479 ms)
14:14:11
14:14:11
Test Suites: 1 passed, 1 total
14:14:11
Tests: 1 passed, 1 total
14:14:11
Snapshots: 0 total
14:14:11
Time: 129.892 s
14:14:11
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
14:14:11
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?