Parent Log:
http://ci.aztec-labs.com/630e905d44a546f9
Command: 6db87052395d3483: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/41cc1f518fed92110a82ce3c59385a3f5c0d8817
Env: REF_NAME=gh-readonly-queue/next/pr-15041-9cf4a24266245fa3ca003adb00e8ae759880c107 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 17:10:59 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15041_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
17:10:59 +++ id -u
17:10:59 +++ id -g
17:10: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'\'''
17:11:00 + cid=e4e8e6421e684d41a7b3ea375c9a1aca32d138defad77d365c4a61a300343e2f
17:11:00 + set +x
17:11:01 {"level":25,"time":1750093861705,"pid":7,"hostname":"e4e8e6421e68","module":"logger","msg":"Logger initialized with level verbose"}
17:11:12 [17:11:12.439]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-lrrz6P/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
17:11:12 [17:11:12.534]
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/3da4e79a/bb
17:11:12 [17:11:12.538]
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/3da4e79a/acvm
17:11:12 [17:11:12.540]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/3da4e79a/bb
17:11:12 [17:11:12.541]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/3da4e79a/acvm
17:11:12 [17:11:12.547]
INFO:
prover-client:proving-broker Proving Broker started
17:11:12 [17:11:12.549]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
17:11:12 [17:11:12.818]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":121.62875399999939,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:11:12 [17:11:12.844]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":80.44099199999982,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:11:12 [17:11:12.862]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":54.17415400000027,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:11:12 [17:11:12.992]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":74.67874299999858,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:11:16 [17:11:16.823]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3877 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3876.4053459999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:11:16 [17:11:16.835]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-Qa5Ex9/proof -k /tmp/3da4e79a/bb/tmp-Qa5Ex9/vk -i /tmp/3da4e79a/bb/tmp-Qa5Ex9/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:11:16 [17:11:16.873]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
17:11:16 [17:11:16.874]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
17:11:16 [17:11:16.877]
VERBOSE:
bb-prover bb-prover (verify) BB out - 249.50 MiB)
17:11:16 Scheme is: ultra_honk, num threads: 128 (mem: 249.50 MiB)
17:11:16 --public_inputs_path: /tmp/3da4e79a/bb/tmp-Qa5Ex9/public_inputs (mem: 249.50 MiB)
17:11:16 --proof_path: /tmp/3da4e79a/bb/tmp-Qa5Ex9/proof (mem: 249.50 MiB)
17:11:16 --vk_path: /tmp/3da4e79a/bb/tmp-Qa5Ex9/vk (mem: 249.50 MiB)
17:11:16 --verbose: true (mem: 249.50 MiB)
17:11:16 --scheme: ultra_honk (mem: 249.50 MiB)
17:11:16 --oracle_hash: poseidon2 (mem: 249.50 MiB)
17:11:16 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.50 MiB)
17:11:16 [17:11:16.883]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4013 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4012.9494750000013,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:11:16 [17:11:16.886]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-lYCIKe/proof -k /tmp/3da4e79a/bb/tmp-lYCIKe/vk -i /tmp/3da4e79a/bb/tmp-lYCIKe/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:11:16 [17:11:16.913]
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.50 MiB)
17:11:16 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.50 MiB)
17:11:16 sumcheck_verified: 1 (mem: 249.50 MiB)
17:11:16 libra_evals_verified: 1 (mem: 249.50 MiB)
17:11:16 pairing_check_verified: 1 (mem: 249.50 MiB)
17:11:16 Proof verified successfully (mem: 249.50 MiB)
17:11:16 verified: 1 (mem: 249.50 MiB)
17:11:16 [17:11:16.915]
INFO:
bb-prover Successfully verified proof from key in 80.18949599999905 ms
17:11:16 [17:11:16.918]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
17:11:16 [17:11:16.918]
VERBOSE:
bb-prover bb-prover (verify) BB out - 249.50 MiB)
17:11:16 Scheme is: ultra_honk, num threads: 128 (mem: 249.50 MiB)
17:11:16 --public_inputs_path: /tmp/3da4e79a/bb/tmp-lYCIKe/public_inputs (mem: 249.50 MiB)
17:11:16 --proof_path: /tmp/3da4e79a/bb/tmp-lYCIKe/proof (mem: 249.50 MiB)
17:11:16 --vk_path: /tmp/3da4e79a/bb/tmp-lYCIKe/vk (mem: 249.50 MiB)
17:11:16 --verbose: true (mem: 249.50 MiB)
17:11:16 --scheme: ultra_honk (mem: 249.50 MiB)
17:11:16 --oracle_hash: poseidon2 (mem: 249.50 MiB)
17:11:16 [17:11:16.919]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.50 MiB)
17:11:16 [17:11:16.940]
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.50 MiB)
17:11:16 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.50 MiB)
17:11:16 sumcheck_verified: 1 (mem: 249.50 MiB)
17:11:16 libra_evals_verified: 1 (mem: 249.50 MiB)
17:11:16 pairing_check_verified: 1 (mem: 249.50 MiB)
17:11:16 Proof verified successfully (mem: 249.50 MiB)
17:11:16 verified: 1 (mem: 249.50 MiB)
17:11:16 [17:11:16.942]
INFO:
bb-prover Successfully verified proof from key in 56.868759000000864 ms
17:11:17 [17:11:17.023]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4110 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4109.024781,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:11:17 [17:11:17.030]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-ykCRdi/proof -k /tmp/3da4e79a/bb/tmp-ykCRdi/vk -i /tmp/3da4e79a/bb/tmp-ykCRdi/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:11:17 [17:11:17.074]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 247.89 MiB)
17:11:17 [17:11:17.075]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 247.89 MiB)
17:11:17 --public_inputs_path: /tmp/3da4e79a/bb/tmp-ykCRdi/public_inputs (mem: 247.89 MiB)
17:11:17 --proof_path: /tmp/3da4e79a/bb/tmp-ykCRdi/proof (mem: 247.89 MiB)
17:11:17 --vk_path: /tmp/3da4e79a/bb/tmp-ykCRdi/vk (mem: 247.89 MiB)
17:11:17 --verbose: true (mem: 247.89 MiB)
17:11:17 --scheme: ultra_honk (mem: 247.89 MiB)
17:11:17 --oracle_hash: poseidon2 (mem: 247.89 MiB)
17:11:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 247.89 MiB)
17:11:17 [17:11:17.098]
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: 247.89 MiB)
17:11:17 [17:11:17.099]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 247.89 MiB)
17:11:17 [17:11:17.100]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 247.89 MiB)
17:11:17 libra_evals_verified: 1 (mem: 247.89 MiB)
17:11:17 pairing_check_verified: 1 (mem: 247.89 MiB)
17:11:17 [17:11:17.101]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 247.89 MiB)
17:11:17 verified: 1 (mem: 247.89 MiB)
17:11:17 [17:11:17.102]
INFO:
bb-prover Successfully verified proof from key in 72.547512000001 ms
17:11:17 [17:11:17.245]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4248 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4247.690433,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:11:17 [17:11:17.249]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-LtjfLc/proof -k /tmp/3da4e79a/bb/tmp-LtjfLc/vk -i /tmp/3da4e79a/bb/tmp-LtjfLc/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:11:17 [17:11:17.278]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.63 MiB)
17:11:17 Scheme is: ultra_honk, num threads: 128 (mem: 249.63 MiB)
17:11:17 --public_inputs_path: /tmp/3da4e79a/bb/tmp-LtjfLc/public_inputs (mem: 249.63 MiB)
17:11:17 --proof_path: /tmp/3da4e79a/bb/tmp-LtjfLc/proof (mem: 249.63 MiB)
17:11:17 --vk_path: /tmp/3da4e79a/bb/tmp-LtjfLc/vk (mem: 249.63 MiB)
17:11:17 --verbose: true (mem: 249.63 MiB)
17:11:17 --scheme: ultra_honk (mem: 249.63 MiB)
17:11:17 --oracle_hash: poseidon2 (mem: 249.63 MiB)
17:11:17 [17:11:17.279]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.63 MiB)
17:11:17 [17:11:17.294]
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.63 MiB)
17:11:17 [17:11:17.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 249.63 MiB)
17:11:17 [17:11:17.296]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.63 MiB)
17:11:17 libra_evals_verified: 1 (mem: 249.63 MiB)
17:11:17 pairing_check_verified: 1 (mem: 249.63 MiB)
17:11:17 Proof verified successfully (mem: 249.63 MiB)
17:11:17 verified: 1 (mem: 249.63 MiB)
17:11:17 [17:11:17.298]
INFO:
bb-prover Successfully verified proof from key in 48.30903000000035 ms
17:11:17 [17:11:17.306]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-3vARQ2/proof -k /tmp/3da4e79a/bb/tmp-3vARQ2/vk -i /tmp/3da4e79a/bb/tmp-3vARQ2/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:11:17 [17:11:17.327]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-7v6tSD/proof -k /tmp/3da4e79a/bb/tmp-7v6tSD/vk -i /tmp/3da4e79a/bb/tmp-7v6tSD/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:11:17 [17:11:17.346]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-5jIbK0/proof -k /tmp/3da4e79a/bb/tmp-5jIbK0/vk -i /tmp/3da4e79a/bb/tmp-5jIbK0/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:11:17 [17:11:17.377]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-uxOPbH/proof -k /tmp/3da4e79a/bb/tmp-uxOPbH/vk -i /tmp/3da4e79a/bb/tmp-uxOPbH/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:11:17 [17:11:17.405]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.69 MiB)
17:11:17 Scheme is: ultra_honk, num threads: 128 (mem: 249.69 MiB)
17:11:17 --public_inputs_path: /tmp/3da4e79a/bb/tmp-3vARQ2/public_inputs (mem: 249.69 MiB)
17:11:17 --proof_path: /tmp/3da4e79a/bb/tmp-3vARQ2/proof (mem: 249.69 MiB)
17:11:17 --vk_path: /tmp/3da4e79a/bb/tmp-3vARQ2/vk (mem: 249.69 MiB)
17:11:17 --verbose: true (mem: 249.69 MiB)
17:11:17 --scheme: ultra_honk (mem: 249.69 MiB)
17:11:17 --oracle_hash: poseidon2 (mem: 249.69 MiB)
17:11:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.69 MiB)
17:11:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.69 MiB)
17:11:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.69 MiB)
17:11:17 sumcheck_verified: 1 (mem: 249.69 MiB)
17:11:17 libra_evals_verified: 1 (mem: 249.69 MiB)
17:11:17 pairing_check_verified: 1 (mem: 249.69 MiB)
17:11:17 Proof verified successfully (mem: 249.69 MiB)
17:11:17 verified: 1 (mem: 249.69 MiB)
17:11:17 [17:11:17.407]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.69 MiB)
17:11:17 Scheme is: ultra_honk, num threads: 128 (mem: 249.69 MiB)
17:11:17 --public_inputs_path: /tmp/3da4e79a/bb/tmp-7v6tSD/public_inputs (mem: 249.69 MiB)
17:11:17 --proof_path: /tmp/3da4e79a/bb/tmp-7v6tSD/proof (mem: 249.69 MiB)
17:11:17 --vk_path: /tmp/3da4e79a/bb/tmp-7v6tSD/vk (mem: 249.69 MiB)
17:11:17 --verbose: true (mem: 249.69 MiB)
17:11:17 --scheme: ultra_honk (mem: 249.69 MiB)
17:11:17 --oracle_hash: poseidon2 (mem: 249.69 MiB)
17:11:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.69 MiB)
17:11:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.69 MiB)
17:11:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.69 MiB)
17:11:17 sumcheck_verified: 1 (mem: 249.69 MiB)
17:11:17 libra_evals_verified: 1 (mem: 249.69 MiB)
17:11:17 pairing_check_verified: 1 (mem: 249.69 MiB)
17:11:17 Proof verified successfully (mem: 249.69 MiB)
17:11:17 verified: 1 (mem: 249.69 MiB)
17:11:17 [17:11:17.408]
INFO:
bb-prover Successfully verified proof from key in 80.91846799999985 ms
17:11:17 [17:11:17.409]
INFO:
bb-prover Successfully verified proof from key in 102.47828300000037 ms
17:11:17 [17:11:17.410]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.69 MiB)
17:11:17 Scheme is: ultra_honk, num threads: 128 (mem: 249.69 MiB)
17:11:17 --public_inputs_path: /tmp/3da4e79a/bb/tmp-5jIbK0/public_inputs (mem: 249.69 MiB)
17:11:17 --proof_path: /tmp/3da4e79a/bb/tmp-5jIbK0/proof (mem: 249.69 MiB)
17:11:17 --vk_path: /tmp/3da4e79a/bb/tmp-5jIbK0/vk (mem: 249.69 MiB)
17:11:17 --verbose: true (mem: 249.69 MiB)
17:11:17 --scheme: ultra_honk (mem: 249.69 MiB)
17:11:17 --oracle_hash: poseidon2 (mem: 249.69 MiB)
17:11:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.69 MiB)
17:11:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.69 MiB)
17:11:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.69 MiB)
17:11:17 sumcheck_verified: 1 (mem: 249.69 MiB)
17:11:17 libra_evals_verified: 1 (mem: 249.69 MiB)
17:11:17 pairing_check_verified: 1 (mem: 249.69 MiB)
17:11:17 Proof verified successfully (mem: 249.69 MiB)
17:11:17 verified: 1 (mem: 249.69 MiB)
17:11:17 [17:11:17.411]
INFO:
bb-prover Successfully verified proof from key in 65.07439200000226 ms
17:11:17 [17:11:17.412]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.85 MiB)
17:11:17 Scheme is: ultra_honk, num threads: 128 (mem: 249.85 MiB)
17:11:17 --public_inputs_path: /tmp/3da4e79a/bb/tmp-uxOPbH/public_inputs (mem: 249.85 MiB)
17:11:17 --proof_path: /tmp/3da4e79a/bb/tmp-uxOPbH/proof (mem: 249.85 MiB)
17:11:17 --vk_path: /tmp/3da4e79a/bb/tmp-uxOPbH/vk (mem: 249.85 MiB)
17:11:17 --verbose: true (mem: 249.85 MiB)
17:11:17 --scheme: ultra_honk (mem: 249.85 MiB)
17:11:17 --oracle_hash: poseidon2 (mem: 249.85 MiB)
17:11:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.85 MiB)
17:11:17 [17:11:17.429]
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.85 MiB)
17:11:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.85 MiB)
17:11:17 [17:11:17.430]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.85 MiB)
17:11:17 libra_evals_verified: 1 (mem: 249.85 MiB)
17:11:17 pairing_check_verified: 1 (mem: 249.85 MiB)
17:11:17 Proof verified successfully (mem: 249.85 MiB)
17:11:17 verified: 1 (mem: 249.85 MiB)
17:11:17 [17:11:17.432]
INFO:
bb-prover Successfully verified proof from key in 55.93703299999834 ms
17:11:17 [17:11:17.678]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":118.44446999999855,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
17:12:01 [17:12:01.716]
INFO:
bb-prover Generated proof for RootParityArtifact in 44033 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":44032.441032999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:12:01 [17:12:01.721]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-PzlaYP/proof -k /tmp/3da4e79a/bb/tmp-PzlaYP/vk -i /tmp/3da4e79a/bb/tmp-PzlaYP/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:12:01 [17:12:01.748]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.71 MiB)
17:12:01 Scheme is: ultra_honk, num threads: 128 (mem: 251.71 MiB)
17:12:01 --public_inputs_path: /tmp/3da4e79a/bb/tmp-PzlaYP/public_inputs (mem: 251.71 MiB)
17:12:01 --proof_path: /tmp/3da4e79a/bb/tmp-PzlaYP/proof (mem: 251.71 MiB)
17:12:01 --vk_path: /tmp/3da4e79a/bb/tmp-PzlaYP/vk (mem:
17:12:01 [17:12:01.750]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.71 MiB)
17:12:01 --verbose: true (mem: 251.71 MiB)
17:12:01 --scheme: ultra_honk (mem: 251.71 MiB)
17:12:01 --oracle_hash: poseidon2 (mem: 251.71 MiB)
17:12:01 [17:12:01.750]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.71 MiB)
17:12:01 [17:12:01.784]
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.71 MiB)
17:12:01 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.71 MiB)
17:12:01 sumcheck_verified: 1 (mem: 251.71 MiB)
17:12:01 libra_evals_verified: 1 (mem: 251.71 MiB)
17:12:01 pairing_check_verified: 1 (mem: 251.71 MiB)
17:12:01 Proof verified successfully (mem: 251.71 MiB)
17:12:01 verified: 1 (mem: 251.71 MiB)
17:12:01 [17:12:01.791]
INFO:
bb-prover Successfully verified proof from key in 70.72896299999411 ms
17:12:01 [17:12:01.795]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-Enkrka/proof -k /tmp/3da4e79a/bb/tmp-Enkrka/vk -i /tmp/3da4e79a/bb/tmp-Enkrka/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:12:01 [17:12:01.831]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.71 MiB)
17:12:01 [17:12:01.831]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.71 MiB)
17:12:01 --public_inputs_path: /tmp/3da4e79a/bb/tmp-Enkrka/public_inputs (mem: 251.71 MiB)
17:12:01 --proof_path: /tmp/3da4e79a/bb/tmp-Enkrka/proof (mem: 251.71 MiB)
17:12:01 --vk_path: /tmp/3da4e79a/bb/tmp-Enkrka/vk (mem: 251.71 MiB)
17:12:01 --verbose: true (mem: 251.71 MiB)
17:12:01 --scheme: ultra_honk (mem: 251.71 MiB)
17:12:01 --oracle_hash: poseidon2 (mem: 251.71 MiB)
17:12:01 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.71 MiB)
17:12:01 [17:12:01.849]
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.71 MiB)
17:12:01 [17:12:01.849]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.71 MiB)
17:12:01 [17:12:01.850]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.71 MiB)
17:12:01 libra_evals_verified: 1 (mem: 251.71 MiB)
17:12:01 pairing_check_verified: 1 (mem: 251.71 MiB)
17:12:01 Proof verified successfully (mem: 251.71 MiB)
17:12:01 [17:12:01.851]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 251.71 MiB)
17:12:01 [17:12:01.856]
INFO:
bb-prover Successfully verified proof from key in 60.81034499999805 ms
17:12:01 [17:12:01.956]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
17:12:01
17:12:01 [17:12:01.956]
ERROR:
bb-prover Error running operation at /tmp/3da4e79a/bb/tmp-5LKX9f: Error: Failed to generate witness: Failed assertion
17:12:01
17:12:02 [17:12:02.211]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":96.54241200000251,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
17:12:44 [17:12:44.945]
INFO:
bb-prover Generated proof for RootParityArtifact in 42731 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":42730.015808,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:12:44 [17:12:44.948]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-XhjfIC/proof -k /tmp/3da4e79a/bb/tmp-XhjfIC/vk -i /tmp/3da4e79a/bb/tmp-XhjfIC/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:12:44 [17:12:44.972]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.71 MiB)
17:12:44 Scheme is: ultra_honk, num threads: 128 (mem: 251.71 MiB)
17:12:44 --public_inputs_path: /tmp/3da4e79a/bb/tmp-XhjfIC/public_inputs (mem: 251.71 MiB)
17:12:44 --proof_path: /tmp/3da4e79a/bb/tmp-XhjfIC/proof (mem: 251.71 MiB)
17:12:44 --vk_path: /tmp/3da4e79a/bb/tmp-XhjfIC/vk (mem: 251.71 MiB)
17:12:44 --verbose: true (mem: 251.71 MiB)
17:12:44 --scheme: ultra_honk (mem: 251.71 MiB)
17:12:44 --oracle_hash: poseidon2 (mem: 251.71 MiB)
17:12:44 [17:12:44.973]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.71 MiB)
17:12:44 [17:12:44.985]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.71 MiB)
17:12:44 Proof verification failed (mem: 251.71 MiB)
17:12:44 [17:12:44.985]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 251.71 MiB)
17:12:44 [17:12:44.986]
ERROR:
bb-prover Error running operation at /tmp/3da4e79a/bb/tmp-XhjfIC: ProvingError: Failed to verify proof from key!
17:12:45 [17:12:45.159]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":86.28853200000594,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
17:13:19 [17:13:19.502]
INFO:
bb-prover Generated proof for RootParityArtifact in 34338 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34337.04638399999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:13:19 [17:13:19.505]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3da4e79a/bb/tmp-E9Axux/proof -k /tmp/3da4e79a/bb/tmp-E9Axux/vk -i /tmp/3da4e79a/bb/tmp-E9Axux/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
17:13:19 [17:13:19.533]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.71 MiB)
17:13:19 [17:13:19.533]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.71 MiB)
17:13:19 --public_inputs_path: /tmp/3da4e79a/bb/tmp-E9Axux/public_inputs (mem: 251.71 MiB)
17:13:19 --proof_path: /tmp/3da4e79a/bb/tmp-E9Axux/proof (mem: 251.71 MiB)
17:13:19 --vk_path: /tmp/3da4e79a/bb/tmp-E9Axux/vk (mem: 251.71 MiB)
17:13:19 --verbose: true (mem: 251.71 MiB)
17:13:19 --scheme: ultra_honk (mem: 251.71 MiB)
17:13:19 --oracle_hash: poseidon2 (mem: 251.71 MiB)
17:13:19 [17:13:19.534]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.71 MiB)
17:13:19 [17:13:19.545]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.71 MiB)
17:13:19 Proof verification failed (mem: 251.71 MiB)
17:13:19 verified: 0 (mem: 251.71 MiB)
17:13:19 [17:13:19.547]
ERROR:
bb-prover Error running operation at /tmp/3da4e79a/bb/tmp-E9Axux: ProvingError: Failed to verify proof from key!
17:13:19 [17:13:19.550]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
17:13:19
PASS src/test/bb_prover_parity.test.ts (
137.96 s)
17:13:19 prover/bb_prover/parity
17:13:19
✓ proves the parity circuits (126996 ms)
17:13:19
17:13:19
Test Suites: 1 passed, 1 total
17:13:19
Tests: 1 passed, 1 total
17:13:19
Snapshots: 0 total
17:13:19
Time: 138.066 s
17:13:19
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
17:13:19
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?