Parent Log:
http://ci.aztec-labs.com/8209533893adc314
Command: 4174e5df391694d3: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/8d254a16364bbc8136cad6732cc978ea1a895cae
Env: REF_NAME=gh-readonly-queue/next/pr-15073-7763eef5eb7f045b9184a0a4591b394296eb3aa8 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 15:10:20 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15073_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
15:10:20 +++ id -u
15:10:20 +++ id -g
15:10:20 ++ 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'\'''
15:10:21 + cid=0d3bb465477160540f6f79048a88f0d9778b18bcdfb1c6ff55e632f7dff54dae
15:10:21 + set +x
15:10:23 {"level":25,"time":1750086623113,"pid":7,"hostname":"0d3bb4654771","module":"logger","msg":"Logger initialized with level verbose"}
15:10:32 [15:10:32.271]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-ryywxD/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
15:10:32 [15:10:32.338]
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/8490f27b/bb
15:10:32 [15:10:32.339]
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/8490f27b/acvm
15:10:32 [15:10:32.340]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/8490f27b/bb
15:10:32 [15:10:32.341]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/8490f27b/acvm
15:10:32 [15:10:32.344]
INFO:
prover-client:proving-broker Proving Broker started
15:10:32 [15:10:32.345]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
15:10:32 [15:10:32.552]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":71.53656500000034,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:10:32 [15:10:32.566]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":97.83992100000069,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:10:32 [15:10:32.576]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":42.36381699999947,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:10:32 [15:10:32.706]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":93.12248700000055,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:10:36 [15:10:36.599]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3931 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3930.9629399999994,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:10:36 [15:10:36.609]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-ADnQsf/proof -k /tmp/8490f27b/bb/tmp-ADnQsf/vk -i /tmp/8490f27b/bb/tmp-ADnQsf/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:10:36 [15:10:36.645]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4020 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4019.5665389999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:10:36 [15:10:36.646]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.37 MiB)
15:10:36 Scheme is: ultra_honk, num threads: 128 (mem: 249.37 MiB)
15:10:36 --public_inputs_path: /tmp/8490f27b/bb/tmp-ADnQsf/public_inputs (mem: 249.37 MiB)
15:10:36 --proof_path: /tmp/8490f27b/bb/tmp-ADnQsf/proof (mem: 249.37 MiB)
15:10:36 --vk_path: /tmp/8490f27b/bb/tmp-ADnQsf/vk (mem: 249.37 MiB)
15:10:36 --verbose: true (mem: 249.37 MiB)
15:10:36 --scheme: ultra_honk (mem: 249.37 MiB)
15:10:36 --oracle_hash: poseidon2 (mem: 249.37 MiB)
15:10:36 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.37 MiB)
15:10:36 [15:10:36.650]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-tGwRf1/proof -k /tmp/8490f27b/bb/tmp-tGwRf1/vk -i /tmp/8490f27b/bb/tmp-tGwRf1/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:10:36 [15:10:36.683]
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: 249.37 MiB)
15:10:36 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.37 MiB)
15:10:36 sumcheck_verified: 1 (mem: 249.37 MiB)
15:10:36 libra_evals_verified: 1 (mem: 249.37 MiB)
15:10:36 pairing_check_verified: 1 (mem: 249.37 MiB)
15:10:36 Proof verified successfully (mem: 249.37 MiB)
15:10:36 verified: 1 (mem: 249.37 MiB)
15:10:36 [15:10:36.686]
INFO:
bb-prover Successfully verified proof from key in 76.90046299999995 ms
15:10:36 [15:10:36.688]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.42 MiB)
15:10:36 Scheme is: ultra_honk, num threads: 128 (mem: 249.42 MiB)
15:10:36 --public_inputs_path: /tmp/8490f27b/bb/tmp-tGwRf1/public_inputs (mem: 249.42 MiB)
15:10:36 --proof_path: /tmp/8490f27b/bb/tmp-tGwRf1/proof (mem: 249.42 MiB)
15:10:36 --vk_path: /tmp/8490f27b/bb/tmp-tGwRf1/vk (mem: 249.42 MiB)
15:10:36 --verbose: true (mem: 249.42 MiB)
15:10:36 --scheme: ultra_honk (mem: 249.42 MiB)
15:10:36 --oracle_hash: poseidon2 (mem: 249.42 MiB)
15:10:36 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.42 MiB)
15:10:36 [15:10:36.692]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4103 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4102.406520999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:10:36 [15:10:36.695]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-GPF608/proof -k /tmp/8490f27b/bb/tmp-GPF608/vk -i /tmp/8490f27b/bb/tmp-GPF608/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:10:36 [15:10:36.717]
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: 249.42 MiB)
15:10:36 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.42 MiB)
15:10:36 sumcheck_verified: 1 (mem: 249.42 MiB)
15:10:36 libra_evals_verified: 1 (mem: 249.42 MiB)
15:10:36 pairing_check_verified: 1 (mem: 249.42 MiB)
15:10:36 Proof verified successfully (mem: 249.42 MiB)
15:10:36 verified: 1 (mem: 249.42 MiB)
15:10:36 [15:10:36.718]
INFO:
bb-prover Successfully verified proof from key in 68.8098949999985 ms
15:10:36 [15:10:36.724]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.49 MiB)
15:10:36 [15:10:36.727]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 249.49 MiB)
15:10:36 --public_inputs_path: /tmp/8490f27b/bb/tmp-GPF608/public_inputs (mem: 249.49 MiB)
15:10:36 --proof_path: /tmp/8490f27b/bb/tmp-GPF608/proof (mem: 249.49 MiB)
15:10:36 --vk_path: /tmp/8490f27b/bb/tmp-GPF608/vk (mem: 249.49 MiB)
15:10:36 --verbose: true (mem: 249.49 MiB)
15:10:36 --scheme: ultra_honk (mem: 249.49 MiB)
15:10:36 --oracle_hash: poseidon2 (mem: 249.49 MiB)
15:10:36 [15:10:36.732]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.49 MiB)
15:10:36 [15:10:36.752]
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: 249.49 MiB)
15:10:36 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.49 MiB)
15:10:36 [15:10:36.752]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.49 MiB)
15:10:36 libra_evals_verified: 1 (mem: 249.49 MiB)
15:10:36 pairing_check_verified: 1 (mem: 249.49 MiB)
15:10:36 Proof verified successfully (mem: 249.49 MiB)
15:10:36 verified: 1 (mem: 249.49 MiB)
15:10:36 [15:10:36.758]
INFO:
bb-prover Successfully verified proof from key in 62.29198300000098 ms
15:10:36 [15:10:36.818]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4104 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4103.430613999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:10:36 [15:10:36.821]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-f6pMwO/proof -k /tmp/8490f27b/bb/tmp-f6pMwO/vk -i /tmp/8490f27b/bb/tmp-f6pMwO/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:10:36 [15:10:36.849]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.56 MiB)
15:10:36 Scheme is: ultra_honk, num threads: 128 (mem: 249.56 MiB)
15:10:36 --public_inputs_path: /tmp/8490f27b/bb/tmp-f6pMwO/public_inputs (mem: 249.56 MiB)
15:10:36 --proof_path: /tmp/8490f27b/bb/tmp-f6pMwO/proof (mem: 249.56 MiB)
15:10:36 --vk_path: /tmp/8490f27b/bb/tmp-f6pMwO/vk (mem: 249.56 MiB)
15:10:36 --verbose: true (mem: 249.56 MiB)
15:10:36 --scheme: ultra_honk (mem: 249.56 MiB)
15:10:36 --oracle_hash: poseidon2 (mem: 249.56 MiB)
15:10:36 [15:10:36.852]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.56 MiB)
15:10:36 [15:10:36.867]
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"
15:10:36 [15:10:36.868]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 249.56 MiB)
15:10:36 [15:10:36.869]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 249.56 MiB)
15:10:36 [15:10:36.871]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.56 MiB)
15:10:36 libra_evals_verified: 1 (mem: 249.56 MiB)
15:10:36 pairing_check_verified: 1 (mem: 249.56 MiB)
15:10:36 [15:10:36.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 249.56 MiB)
15:10:36 verified: 1 (mem: 249.56 MiB)
15:10:36 [15:10:36.878]
INFO:
bb-prover Successfully verified proof from key in 56.59320899999875 ms
15:10:36 [15:10:36.887]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-pwKQo7/proof -k /tmp/8490f27b/bb/tmp-pwKQo7/vk -i /tmp/8490f27b/bb/tmp-pwKQo7/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:10:36 [15:10:36.915]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-qPG23B/proof -k /tmp/8490f27b/bb/tmp-qPG23B/vk -i /tmp/8490f27b/bb/tmp-qPG23B/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:10:36 [15:10:36.940]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-CbY48w/proof -k /tmp/8490f27b/bb/tmp-CbY48w/vk -i /tmp/8490f27b/bb/tmp-CbY48w/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:10:36 [15:10:36.964]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-VR8E5N/proof -k /tmp/8490f27b/bb/tmp-VR8E5N/vk -i /tmp/8490f27b/bb/tmp-VR8E5N/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:10:36 [15:10:36.989]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.62 MiB)
15:10:36 Scheme is: ultra_honk, num threads: 128 (mem: 249.62 MiB)
15:10:36 --public_inputs_path: /tmp/8490f27b/bb/tmp-pwKQo7/public_inputs (mem: 249.62 MiB)
15:10:36 --proof_path: /tmp/8490f27b/bb/tmp-pwKQo7/proof (mem: 249.62 MiB)
15:10:36 --vk_path: /tmp/8490f27b/bb/tmp-pwKQo7/vk (mem: 249.62 MiB)
15:10:36 --verbose: true (mem: 249.62 MiB)
15:10:36 --scheme: ultra_honk (mem: 249.62 MiB)
15:10:36 --oracle_hash: poseidon2 (mem: 249.62 MiB)
15:10:36 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.62 MiB)
15:10:36 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.62 MiB)
15:10:36 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.62 MiB)
15:10:36 sumcheck_verified: 1 (mem: 249.62 MiB)
15:10:36 libra_evals_verified: 1 (mem: 249.62 MiB)
15:10:36 pairing_check_verified: 1 (mem: 249.62 MiB)
15:10:36 Proof verified successfully (mem: 249.62 MiB)
15:10:36 verified: 1 (mem: 249.62 MiB)
15:10:36 [15:10:36.991]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 248.62 MiB)
15:10:36 Scheme is: ultra_honk, num threads: 128 (mem: 248.62 MiB)
15:10:36 --public_inputs_path: /tmp/8490f27b/bb/tmp-qPG23B/public_inputs (mem: 248.62 MiB)
15:10:36 --proof_path: /tmp/8490f27b/bb/tmp-qPG23B/proof (mem: 248.62 MiB)
15:10:36 --vk_path: /tmp/8490f27b/bb/tmp-qPG23B/vk (mem: 248.62 MiB)
15:10:36 --verbose: true (mem: 248.62 MiB)
15:10:36 --scheme: ultra_honk (mem: 248.62 MiB)
15:10:36 --oracle_hash: poseidon2 (mem: 248.62 MiB)
15:10:36 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 248.62 MiB)
15:10:36 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 248.62 MiB)
15:10:36 Initialized BN254 CRS from memory with num points = 1025 (mem: 248.62 MiB)
15:10:36 sumcheck_verified: 1 (mem: 248.62 MiB)
15:10:36 libra_evals_verified: 1 (mem: 248.62 MiB)
15:10:36 pairing_check_verified: 1 (mem: 248.62 MiB)
15:10:36 Proof verified successfully (mem: 248.62 MiB)
15:10:36 verified: 1 (mem: 248.62 MiB)
15:10:36 [15:10:36.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.62 MiB)
15:10:36 Scheme is: ultra_honk, num threads: 128 (mem: 249.62 MiB)
15:10:36 --public_inputs_path: /tmp/8490f27b/bb/tmp-CbY48w/public_inputs (mem: 249.62 MiB)
15:10:36 --proof_path: /tmp/8490f27b/bb/tmp-CbY48w/proof (mem: 249.62 MiB)
15:10:36 --vk_path: /tmp/8490f27b/bb/tmp-CbY48w/vk (mem: 249.62 MiB)
15:10:36 --verbose: true (mem: 249.62 MiB)
15:10:36 --scheme: ultra_honk (mem: 249.62 MiB)
15:10:36 --oracle_hash: poseidon2 (mem: 249.62 MiB)
15:10:36 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.62 MiB)
15:10:36 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.62 MiB)
15:10:36 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.62 MiB)
15:10:36 sumcheck_verified: 1 (mem: 249.62 MiB)
15:10:36 libra_evals_verified: 1 (mem: 249.62 MiB)
15:10:36 pairing_check_verified: 1 (mem: 249.62 MiB)
15:10:36 Proof verified successfully (mem: 249.62 MiB)
15:10:36 verified: 1 (mem: 249.62 MiB)
15:10:36 [15:10:36.993]
INFO:
bb-prover Successfully verified proof from key in 77.89420500000051 ms
15:10:36 [15:10:36.994]
INFO:
bb-prover Successfully verified proof from key in 106.7738559999998 ms
15:10:36 [15:10:36.995]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.62 MiB)
15:10:36 Scheme is: ultra_honk, num threads: 128 (mem: 249.62 MiB)
15:10:36 --public_inputs_path: /tmp/8490f27b/bb/tmp-VR8E5N/public_inputs (mem: 249.62 MiB)
15:10:36 --proof_path: /tmp/8490f27b/bb/tmp-VR8E5N/proof (mem: 249.62 MiB)
15:10:36 --vk_path: /tmp/8490f27b/bb/tmp-VR8E5N/vk (mem: 249.62 MiB)
15:10:36 --verbose: true (mem: 249.62 MiB)
15:10:36 --scheme: ultra_honk (mem: 249.62 MiB)
15:10:36 --oracle_hash: poseidon2 (mem: 249.62 MiB)
15:10:36 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.62 MiB)
15:10:36 [15:10:36.995]
INFO:
bb-prover Successfully verified proof from key in 55.27835899999991 ms
15:10:37 [15:10:37.011]
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: 249.62 MiB)
15:10:37 [15:10:37.012]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 249.62 MiB)
15:10:37 sumcheck_verified: 1 (mem: 249.62 MiB)
15:10:37 libra_evals_verified: 1 (mem: 249.62 MiB)
15:10:37 pairing_check_verified: 1 (mem: 249.62 MiB)
15:10:37 Proof verified successfully (mem: 249.62 MiB)
15:10:37 verified: 1 (mem: 249.62 MiB)
15:10:37 [15:10:37.014]
INFO:
bb-prover Successfully verified proof from key in 49.62652600000001 ms
15:10:37 [15:10:37.234]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":81.43628200000057,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:11:20 [15:11:20.801]
INFO:
bb-prover Generated proof for RootParityArtifact in 43561 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":43560.715347000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:11:20 [15:11:20.805]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-GSunfb/proof -k /tmp/8490f27b/bb/tmp-GSunfb/vk -i /tmp/8490f27b/bb/tmp-GSunfb/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:11:20 [15:11:20.835]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.64 MiB)
15:11:20 [15:11:20.835]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.64 MiB)
15:11:20 --public_inputs_path: /tmp/8490f27b/bb/tmp-GSunfb/public_inputs (mem: 251.64 MiB)
15:11:20 --proof_path: /tmp/8490f27b/bb/tmp-GSunfb/proof (mem: 251.64 MiB)
15:11:20 --vk_path: /tmp/8490f27b/bb/tmp-GSunfb/vk (mem: 251.64 MiB)
15:11:20 --verbose: true (mem: 251.64 MiB)
15:11:20 --scheme: ultra_honk (mem: 251.64 MiB)
15:11:20 --oracle_hash: poseidon2 (mem: 251.64 MiB)
15:11:20 [15:11:20.836]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.64 MiB)
15:11:20 [15:11:20.851]
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.64 MiB)
15:11:20 [15:11:20.852]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.64 MiB)
15:11:20 [15:11:20.857]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.64 MiB)
15:11:20 libra_evals_verified: 1 (mem: 251.64 MiB)
15:11:20 pairing_check_verified: 1 (mem: 251.64 MiB)
15:11:20 Proof verified successfully (mem: 251.64 MiB)
15:11:20 verified: 1 (mem: 251.64 MiB)
15:11:20 [15:11:20.860]
INFO:
bb-prover Successfully verified proof from key in 54.53726299999835 ms
15:11:20 [15:11:20.871]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-zpA8VP/proof -k /tmp/8490f27b/bb/tmp-zpA8VP/vk -i /tmp/8490f27b/bb/tmp-zpA8VP/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:11:20 [15:11:20.912]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.64 MiB)
15:11:20 Scheme is: ultra_honk, num threads: 128 (mem: 251.64 MiB)
15:11:20 --public_inputs_path: /tmp/8490f27b/bb/tmp-zpA8VP/public_inputs (mem: 251.64 MiB)
15:11:20 --proof_path: /tmp/8490f27b/bb/tmp-zpA8VP/proof (mem: 251.64 MiB)
15:11:20 --vk_path: /tmp/8490f27b/bb/tmp-zpA8VP/vk (mem: 251.64 MiB)
15:11:20 --verbose: true (mem: 251.64 MiB)
15:11:20 --scheme: ultra_honk (mem: 251.64 MiB)
15:11:20 --oracle_hash: poseidon2 (mem: 251.64 MiB)
15:11:20 [15:11:20.914]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.64 MiB)
15:11:20 [15:11:20.929]
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.64 MiB)
15:11:20 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.64 MiB)
15:11:20 sumcheck_verified: 1 (mem: 251.64 MiB)
15:11:20 libra_evals_verified: 1 (mem: 251.64 MiB)
15:11:20 pairing_check_verified: 1 (mem: 251.64 MiB)
15:11:20 Proof verified successfully (mem: 251.64 MiB)
15:11:20 verified: 1 (mem: 251.64 MiB)
15:11:20 [15:11:20.932]
INFO:
bb-prover Successfully verified proof from key in 60.751359000001685 ms
15:11:21 [15:11:21.014]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
15:11:21
15:11:21 [15:11:21.014]
ERROR:
bb-prover Error running operation at /tmp/8490f27b/bb/tmp-solhAx: Error: Failed to generate witness: Failed assertion
15:11:21
15:11:21 [15:11:21.281]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":113.99608499999886,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
15:12:02 [15:12:02.922]
INFO:
bb-prover Generated proof for RootParityArtifact in 41633 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41632.069654000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:12:02 [15:12:02.927]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-KHwMFA/proof -k /tmp/8490f27b/bb/tmp-KHwMFA/vk -i /tmp/8490f27b/bb/tmp-KHwMFA/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:12:02 [15:12:02.956]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.64 MiB)
15:12:02 Scheme is: ultra_honk, num threads: 128
15:12:02 [15:12:02.957]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.64 MiB)
15:12:02 --public_inputs_path: /tmp/8490f27b/bb/tmp-KHwMFA/public_inputs (mem: 251.64 MiB)
15:12:02 --proof_path: /tmp/8490f27b/bb/tmp-KHwMFA/proof (mem: 251.64 MiB)
15:12:02 --vk_path: /tmp/8490f27b/bb/tmp-KHwMFA/vk (mem: 251.64 MiB)
15:12:02 --verbose: true (mem: 251.64 MiB)
15:12:02 --scheme: ultra_honk (mem: 251.64 MiB)
15:12:02 --oracle_hash: poseidon2 (mem: 251.64 MiB)
15:12:02 [15:12:02.958]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.64 MiB)
15:12:02 [15:12:02.970]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.64 MiB)
15:12:02 Proof verification failed (mem: 251.64 MiB)
15:12:02 verified: 0 (mem: 251.64 MiB)
15:12:02 [15:12:02.973]
ERROR:
bb-prover Error running operation at /tmp/8490f27b/bb/tmp-KHwMFA: ProvingError: Failed to verify proof from key!
15:12:03 [15:12:03.239]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":114.40670799999498,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:12:37 [15:12:37.905]
INFO:
bb-prover Generated proof for RootParityArtifact in 34661 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34660.204786,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:12:37 [15:12:37.907]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8490f27b/bb/tmp-ZCLYHQ/proof -k /tmp/8490f27b/bb/tmp-ZCLYHQ/vk -i /tmp/8490f27b/bb/tmp-ZCLYHQ/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
15:12:37 [15:12:37.934]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.64 MiB)
15:12:37 [15:12:37.935]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.64 MiB)
15:12:37 --public_inputs_path: /tmp/8490f27b/bb/tmp-ZCLYHQ/public_inputs (mem: 251.64 MiB)
15:12:37 --proof_path: /tmp/8490f27b/bb/tmp-ZCLYHQ/proof (mem: 251.64 MiB)
15:12:37 --vk_path: /tmp/8490f27b/bb/tmp-ZCLYHQ/vk (mem: 251.64 MiB)
15:12:37 --verbose: true (mem: 251.64 MiB)
15:12:37 --scheme: ultra_honk (mem: 251.64 MiB)
15:12:37 --oracle_hash: poseidon2 (mem: 251.64 MiB)
15:12:37 [15:12:37.935]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.64 MiB)
15:12:37 [15:12:37.945]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.64 MiB)
15:12:37 Proof verification failed (mem: 251.64 MiB)
15:12:37 verified: 0 (mem: 251.64 MiB)
15:12:37 [15:12:37.947]
ERROR:
bb-prover Error running operation at /tmp/8490f27b/bb/tmp-ZCLYHQ: ProvingError: Failed to verify proof from key!
15:12:37 [15:12:37.950]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
15:12:37
PASS src/test/bb_prover_parity.test.ts (
134.954 s)
15:12:37 prover/bb_prover/parity
15:12:37
✓ proves the parity circuits (125601 ms)
15:12:37
15:12:37
Test Suites: 1 passed, 1 total
15:12:37
Tests: 1 passed, 1 total
15:12:37
Snapshots: 0 total
15:12:37
Time: 135.069 s
15:12:37
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
15:12:37
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?