Parent Log:
http://ci.aztec-labs.com/10cc56694c8daa88
Command: c118fea9c063e772: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/12d931e5ea9343eec403068931d3121e1d10e37e
Env: REF_NAME=gh-readonly-queue/next/pr-15042-254faae7d330e160b14c6eaaa099dc92d4a9cac7 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 12:30:12 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15042_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
12:30:12 +++ id -u
12:30:12 +++ id -g
12:30:12 ++ 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'\'''
12:30:12 + cid=f70ad6725d44d59d9bfff654d4d00e242908fc6284285d1a0db4bf4eea03aaf1
12:30:12 + set +x
12:30:14 {"level":25,"time":1750077014331,"pid":7,"hostname":"f70ad6725d44","module":"logger","msg":"Logger initialized with level verbose"}
12:30:22 [12:30:22.660]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-xa13lC/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
12:30:22 [12:30:22.744]
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/4d4660ba/bb
12:30:22 [12:30:22.746]
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/4d4660ba/acvm
12:30:22 [12:30:22.750]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/4d4660ba/bb
12:30:22 [12:30:22.751]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/4d4660ba/acvm
12:30:22 [12:30:22.754]
INFO:
prover-client:proving-broker Proving Broker started
12:30:22 [12:30:22.756]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
12:30:22 [12:30:22.980]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":84.94475199999943,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
12:30:23 [12:30:23.008]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":112.15613699999994,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
12:30:23 [12:30:23.035]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":56.734881000000314,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
12:30:23 [12:30:23.190]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":113.8985819999998,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
12:30:26 [12:30:26.792]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3685 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3684.318093,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:30:26 [12:30:26.868]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3669 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3668.292467000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:30:26 [12:30:26.904]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-oqkMwj/proof -k /tmp/4d4660ba/bb/tmp-oqkMwj/vk -i /tmp/4d4660ba/bb/tmp-oqkMwj/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:30:26 [12:30:26.985]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3860 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3859.759180000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:30:26 [12:30:26.986]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-f6HoYz/proof -k /tmp/4d4660ba/bb/tmp-f6HoYz/vk -i /tmp/4d4660ba/bb/tmp-f6HoYz/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:30:27 [12:30:27.012]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.69 MiB)
12:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 223.69 MiB)
12:30:27 --public_inputs_path: /tmp/4d4660ba/bb/tmp-oqkMwj/public_inputs (mem: 223.69 MiB)
12:30:27 --proof_path: /tmp/4d4660ba/bb/tmp-oqkMwj/proof (mem: 223.69 MiB)
12:30:27 --vk_path: /tmp/4d4660ba/bb/tmp-oqkMwj/vk (mem: 223.69 MiB)
12:30:27 --verbose: true (mem: 223.69 MiB)
12:30:27 --scheme: ultra_honk (mem: 223.69 MiB)
12:30:27 --oracle_hash: poseidon2 (mem: 223.69 MiB)
12:30:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 223.69 MiB)
12:30:27 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 223.69 MiB)
12:30:27 Initialized BN254 CRS from memory with num points = 1025 (mem: 223.69 MiB)
12:30:27 sumcheck_verified: 1 (mem: 223.69 MiB)
12:30:27 libra_evals_verified: 1 (mem: 223.69 MiB)
12:30:27 pairing_check_verified: 1 (mem: 223.69 MiB)
12:30:27 Proof verified successfully (mem: 223.69 MiB)
12:30:27 verified: 1 (mem: 223.69 MiB)
12:30:27 [12:30:27.014]
INFO:
bb-prover Successfully verified proof from key in 109.72577400000046 ms
12:30:27 [12:30:27.023]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.69 MiB)
12:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 223.69 MiB)
12:30:27 --public_inputs_path: /tmp/4d4660ba/bb/tmp-f6HoYz/public_inputs (mem: 223.69 MiB)
12:30:27 --proof_path: /tmp/4d4660ba/bb/tmp-f6HoYz/proof (mem: 223.69 MiB)
12:30:27 --vk_path: /tmp/4d4660ba/bb/tmp-f6HoYz/vk (mem: 223.69 MiB)
12:30:27 --verbose: true (mem: 223.69 MiB)
12:30:27 --scheme: ultra_honk (mem: 223.69 MiB)
12:30:27 --oracle_hash: poseidon2 (mem: 223.69 MiB)
12:30:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 223.69 MiB)
12:30:27 [12:30:27.038]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-7SDzbe/proof -k /tmp/4d4660ba/bb/tmp-7SDzbe/vk -i /tmp/4d4660ba/bb/tmp-7SDzbe/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:30:27 [12:30:27.083]
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: 223.69 MiB)
12:30:27 Initialized BN254 CRS from memory with num points = 1025 (mem: 223.69 MiB)
12:30:27 sumcheck_verified: 1 (mem: 223.69 MiB)
12:30:27 libra_evals_verified: 1 (mem: 223.69 MiB)
12:30:27 pairing_check_verified: 1 (mem: 223.69 MiB)
12:30:27 Proof verified successfully (mem: 223.69 MiB)
12:30:27 verified: 1 (mem: 223.69 MiB)
12:30:27 [12:30:27.084]
INFO:
bb-prover Successfully verified proof from key in 98.59260499999982 ms
12:30:27 [12:30:27.088]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.69 MiB)
12:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 223.69 MiB)
12:30:27 --public_inputs_path: /tmp/4d4660ba/bb/tmp-7SDzbe/public_inputs (mem: 223.69 MiB)
12:30:27 --proof_path: /tmp/4d4660ba/bb/tmp-7SDzbe/proof (mem: 223.69 MiB)
12:30:27 --vk_path: /tmp/4d4660ba/bb/tmp-7SDzbe/vk (mem: 223.69 MiB)
12:30:27 --verbose: true (mem: 223.69 MiB)
12:30:27 --scheme: ultra_honk (mem: 223.69 MiB)
12:30:27 --oracle_hash: poseidon2 (mem: 223.69 MiB)
12:30:27 [12:30:27.091]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 223.69 MiB)
12:30:27 [12:30:27.102]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4052 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4051.6733140000015,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:30:27 [12:30:27.106]
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: 223.69 MiB)
12:30:27 Initialized BN254 CRS from memory with num points = 1025 (mem: 223.69 MiB)
12:30:27 [12:30:27.107]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 223.69 MiB)
12:30:27 libra_evals_verified: 1 (mem: 223.69 MiB)
12:30:27 pairing_check_verified: 1 (mem: 223.69 MiB)
12:30:27 Proof verified successfully (mem: 223.69 MiB)
12:30:27 verified: 1 (mem: 223.69 MiB)
12:30:27 [12:30:27.109]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-se3TGs/proof -k /tmp/4d4660ba/bb/tmp-se3TGs/vk -i /tmp/4d4660ba/bb/tmp-se3TGs/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:30:27 [12:30:27.148]
INFO:
bb-prover Successfully verified proof from key in 109.640942 ms
12:30:27 [12:30:27.152]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
12:30:27 [12:30:27.153]
VERBOSE:
bb-prover bb-prover (verify) BB out - 223.69 MiB)
12:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 223.69 MiB)
12:30:27 --public_inputs_path: /tmp/4d4660ba/bb/tmp-se3TGs/public_inputs (mem: 223.69 MiB)
12:30:27 --proof_path: /tmp/4d4660ba/bb/tmp-se3TGs/proof (mem: 223.69 MiB)
12:30:27 --vk_path: /tmp/4d4660ba/bb/tmp-se3TGs/vk (mem: 223.69 MiB)
12:30:27 --verbose: true (mem: 223.69 MiB)
12:30:27 --scheme: ultra_honk (mem: 223.69 MiB)
12:30:27 --oracle_hash: poseidon2 (mem: 223.69 MiB)
12:30:27 [12:30:27.153]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 223.69 MiB)
12:30:27 [12:30:27.171]
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: 223.69 MiB)
12:30:27 [12:30:27.173]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 223.69 MiB)
12:30:27 sumcheck_verified: 1 (mem: 223.69 MiB)
12:30:27 libra_evals_verified: 1 (mem: 223.69 MiB)
12:30:27 pairing_check_verified: 1 (mem: 223.69 MiB)
12:30:27 Proof verified successfully (mem: 223.69 MiB)
12:30:27 verified: 1 (mem: 223.69 MiB)
12:30:27 [12:30:27.175]
INFO:
bb-prover Successfully verified proof from key in 65.9598989999995 ms
12:30:27 [12:30:27.188]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-uEbnjD/proof -k /tmp/4d4660ba/bb/tmp-uEbnjD/vk -i /tmp/4d4660ba/bb/tmp-uEbnjD/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:30:27 [12:30:27.217]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-KNhAjj/proof -k /tmp/4d4660ba/bb/tmp-KNhAjj/vk -i /tmp/4d4660ba/bb/tmp-KNhAjj/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:30:27 [12:30:27.250]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-x3I41F/proof -k /tmp/4d4660ba/bb/tmp-x3I41F/vk -i /tmp/4d4660ba/bb/tmp-x3I41F/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:30:27 [12:30:27.273]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-c3bjAT/proof -k /tmp/4d4660ba/bb/tmp-c3bjAT/vk -i /tmp/4d4660ba/bb/tmp-c3bjAT/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:30:27 [12:30:27.305]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.69 MiB)
12:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 223.69 MiB)
12:30:27 --public_inputs_path: /tmp/4d4660ba/bb/tmp-uEbnjD/public_inputs (mem: 223.69 MiB)
12:30:27 --proof_path: /tmp/4d4660ba/bb/tmp-uEbnjD/proof (mem: 223.69 MiB)
12:30:27 --vk_path: /tmp/4d4660ba/bb/tmp-uEbnjD/vk (mem: 223.69 MiB)
12:30:27 --verbose: true (mem: 223.69 MiB)
12:30:27 --scheme: ultra_honk (mem: 223.69 MiB)
12:30:27 --oracle_hash: poseidon2 (mem: 223.69 MiB)
12:30:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 223.69 MiB)
12:30:27 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 223.69 MiB)
12:30:27 Initialized BN254 CRS from memory with num points = 1025 (mem: 223.69 MiB)
12:30:27 sumcheck_verified: 1 (mem: 223.69 MiB)
12:30:27 libra_evals_verified: 1 (mem: 223.69 MiB)
12:30:27 pairing_check_verified: 1 (mem: 223.69 MiB)
12:30:27 Proof verified successfully (mem: 223.69 MiB)
12:30:27 verified: 1 (mem: 223.69 MiB)
12:30:27 [12:30:27.306]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.69 MiB)
12:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 223.69 MiB)
12:30:27 --public_inputs_path: /tmp/4d4660ba/bb/tmp-KNhAjj/public_inputs (mem: 223.69 MiB)
12:30:27 --proof_path: /tmp/4d4660ba/bb/tmp-KNhAjj/proof (mem: 223.69 MiB)
12:30:27 --vk_path: /tmp/4d4660ba/bb/tmp-KNhAjj/vk (mem: 223.69 MiB)
12:30:27 --verbose: true (mem: 223.69 MiB)
12:30:27 --scheme: ultra_honk (mem: 223.69 MiB)
12:30:27 --oracle_hash: poseidon2 (mem: 223.69 MiB)
12:30:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 223.69 MiB)
12:30:27 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 223.69 MiB)
12:30:27 Initialized BN254 CRS from memory with num points = 1025 (mem: 223.69 MiB)
12:30:27 sumcheck_verified: 1 (mem: 223.69 MiB)
12:30:27 libra_evals_verified: 1 (mem: 223.69 MiB)
12:30:27 pairing_check_verified: 1 (mem: 223.69 MiB)
12:30:27 Proof verified successfully (mem: 223.69 MiB)
12:30:27 verified: 1 (mem: 223.69 MiB)
12:30:27 [12:30:27.307]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.69 MiB)
12:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 223.69 MiB)
12:30:27 --public_inputs_path: /tmp/4d4660ba/bb/tmp-x3I41F/public_inputs (mem: 223.69 MiB)
12:30:27 --proof_path: /tmp/4d4660ba/bb/tmp-x3I41F/proof (mem: 223.69 MiB)
12:30:27 --vk_path: /tmp/4d4660ba/bb/tmp-x3I41F/vk (mem: 223.69 MiB)
12:30:27 --verbose: true (mem: 223.69 MiB)
12:30:27 --scheme: ultra_honk (mem: 223.69 MiB)
12:30:27 --oracle_hash: poseidon2 (mem: 223.69 MiB)
12:30:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 223.69 MiB)
12:30:27 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 223.69 MiB)
12:30:27 Initialized BN254 CRS from memory with num points = 1025 (mem: 223.69 MiB)
12:30:27 sumcheck_verified: 1 (mem: 223.69 MiB)
12:30:27 libra_evals_verified: 1 (mem: 223.69 MiB)
12:30:27 pairing_check_verified: 1 (mem: 223.69 MiB)
12:30:27 Proof verified successfully (mem: 223.69 MiB)
12:30:27 verified: 1 (mem: 223.69 MiB)
12:30:27 [12:30:27.315]
INFO:
bb-prover Successfully verified proof from key in 64.82049999999981 ms
12:30:27 [12:30:27.315]
INFO:
bb-prover Successfully verified proof from key in 98.57176400000026 ms
12:30:27 [12:30:27.316]
INFO:
bb-prover Successfully verified proof from key in 127.37099200000011 ms
12:30:27 [12:30:27.316]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.69 MiB)
12:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 223.69 MiB)
12:30:27 --public_inputs_path: /tmp/4d4660ba/bb/tmp-c3bjAT/public_inputs (mem: 223.69 MiB)
12:30:27 --proof_path: /tmp/4d4660ba/bb/tmp-c3bjAT/proof (mem: 223.69 MiB)
12:30:27 --vk_path: /tmp/4d4660ba/bb/tmp-c3bjAT/vk (mem: 223.69 MiB)
12:30:27 --verbose: true (mem: 223.69 MiB)
12:30:27 --scheme: ultra_honk (mem: 223.69 MiB)
12:30:27 --oracle_hash: poseidon2 (mem: 223.69 MiB)
12:30:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 223.69 MiB)
12:30:27 [12:30:27.332]
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: 223.69 MiB)
12:30:27 Initialized BN254 CRS from memory with num points = 1025 (mem: 223.69 MiB)
12:30:27 sumcheck_verified: 1 (mem: 223.69 MiB)
12:30:27 libra_evals_verified: 1 (mem: 223.69 MiB)
12:30:27 pairing_check_verified: 1 (mem: 223.69 MiB)
12:30:27 Proof verified successfully (mem: 223.69 MiB)
12:30:27 verified: 1 (mem: 223.69 MiB)
12:30:27 [12:30:27.334]
INFO:
bb-prover Successfully verified proof from key in 61.39907099999982 ms
12:30:27 [12:30:27.537]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":81.88735199999974,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
12:31:12 [12:31:12.608]
INFO:
bb-prover Generated proof for RootParityArtifact in 45061 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":45060.000941,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:31:12 [12:31:12.616]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-WeXCP8/proof -k /tmp/4d4660ba/bb/tmp-WeXCP8/vk -i /tmp/4d4660ba/bb/tmp-WeXCP8/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:31:12 [12:31:12.649]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 222.70 MiB)
12:31:12 Scheme is: ultra_honk, num threads: 128 (mem: 222.70 MiB)
12:31:12 [12:31:12.651]
VERBOSE:
bb-prover bb-prover (verify) BB out - --public_inputs_path: /tmp/4d4660ba/bb/tmp-WeXCP8/public_inputs (mem: 222.70 MiB)
12:31:12 --proof_path: /tmp/4d4660ba/bb/tmp-WeXCP8/proof (mem: 222.70 MiB)
12:31:12 --vk_path: /tmp/4d4660ba/bb/tmp-WeXCP8/vk (mem: 222.70 MiB)
12:31:12 --verbose: true (mem: 222.70 MiB)
12:31:12 --scheme: ultra_honk (mem: 222.70 MiB)
12:31:12 --oracle_hash: poseidon2 (mem: 222.70 MiB)
12:31:12 [12:31:12.651]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 222.70 MiB)
12:31:12 [12:31:12.667]
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: 222.70 MiB)
12:31:12 [12:31:12.667]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 222.70 MiB)
12:31:12 [12:31:12.668]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 222.70 MiB)
12:31:12 libra_evals_verified: 1 (mem: 222.70 MiB)
12:31:12 [12:31:12.668]
VERBOSE:
bb-prover bb-prover (verify) BB out - pairing_check_verified: 1 (mem: 222.70 MiB)
12:31:12 Proof verified successfully (mem: 222.70 MiB)
12:31:12 verified: 1 (mem: 222.70 MiB)
12:31:12 [12:31:12.670]
INFO:
bb-prover Successfully verified proof from key in 54.78037300000142 ms
12:31:12 [12:31:12.679]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-PegDAz/proof -k /tmp/4d4660ba/bb/tmp-PegDAz/vk -i /tmp/4d4660ba/bb/tmp-PegDAz/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:31:12 [12:31:12.733]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.70 MiB)
12:31:12 [12:31:12.734]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 223.70 MiB)
12:31:12 --public_inputs_path: /tmp/4d4660ba/bb/tmp-PegDAz/public_inputs (mem: 223.70 MiB)
12:31:12 --proof_path: /tmp/4d4660ba/bb/tmp-PegDAz/proof (mem: 223.70 MiB)
12:31:12 --vk_path: /tmp/4d4660ba/bb/tmp-PegDAz/vk (mem: 223.70 MiB)
12:31:12 --verbose: true (mem: 223.70 MiB)
12:31:12 --scheme: ultra_honk (mem: 223.70 MiB)
12:31:12 --oracle_hash: poseidon2 (mem: 223.70 MiB)
12:31:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 223.70 MiB)
12:31:12 [12:31:12.761]
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: 223.70 MiB)
12:31:12 [12:31:12.762]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 223.70 MiB)
12:31:12 [12:31:12.763]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 223.70 MiB)
12:31:12 libra_evals_verified: 1 (mem: 223.70 MiB)
12:31:12 pairing_check_verified: 1 (mem: 223.70 MiB)
12:31:12 Proof verified successfully (mem: 223.70 MiB)
12:31:12 verified: 1 (mem: 223.70 MiB)
12:31:12 [12:31:12.764]
INFO:
bb-prover Successfully verified proof from key in 85.62582000000111 ms
12:31:12 [12:31:12.846]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
12:31:12
12:31:12 [12:31:12.847]
ERROR:
bb-prover Error running operation at /tmp/4d4660ba/bb/tmp-qQwGBh: Error: Failed to generate witness: Failed assertion
12:31:12
12:31:13 [12:31:13.074]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":93.91241699999955,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
12:31:53 [12:31:53.769]
INFO:
bb-prover Generated proof for RootParityArtifact in 40691 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40690.762139,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:31:53 [12:31:53.771]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-X7BhYf/proof -k /tmp/4d4660ba/bb/tmp-X7BhYf/vk -i /tmp/4d4660ba/bb/tmp-X7BhYf/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:31:53 [12:31:53.796]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
12:31:53 [12:31:53.797]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 223.70 MiB)
12:31:53 Scheme is: ultra_honk, num threads: 128 (mem: 223.70 MiB)
12:31:53 --public_inputs_path: /tmp/4d4660ba/bb/tmp-X7BhYf/public_inputs (mem: 223.70 MiB)
12:31:53 --proof_path: /tmp/4d4660ba/bb/tmp-X7BhYf/proof (mem: 223.70 MiB)
12:31:53 --vk_path: /tmp/4d4660ba/bb/tmp-X7BhYf/vk (mem: 223.70 MiB)
12:31:53 --verbose: true (mem: 223.70 MiB)
12:31:53 --scheme: ultra_honk (mem: 223.70 MiB)
12:31:53 --oracle_hash: poseidon2 (mem: 223.70 MiB)
12:31:53 [12:31:53.798]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 223.70 MiB)
12:31:53 [12:31:53.812]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 223.70 MiB)
12:31:53 Proof verification failed (mem: 223.70 MiB)
12:31:53 [12:31:53.812]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 223.70 MiB)
12:31:53 [12:31:53.814]
ERROR:
bb-prover Error running operation at /tmp/4d4660ba/bb/tmp-X7BhYf: ProvingError: Failed to verify proof from key!
12:31:54 [12:31:54.037]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":89.59195299999556,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
12:32:27 [12:32:27.989]
INFO:
bb-prover Generated proof for RootParityArtifact in 33946 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33945.757037,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:32:27 [12:32:27.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4d4660ba/bb/tmp-6Vf92O/proof -k /tmp/4d4660ba/bb/tmp-6Vf92O/vk -i /tmp/4d4660ba/bb/tmp-6Vf92O/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
12:32:28 [12:32:28.013]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 223.70 MiB)
12:32:28 [12:32:28.013]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 223.70 MiB)
12:32:28 --public_inputs_path: /tmp/4d4660ba/bb/tmp-6Vf92O/public_inputs (mem: 223.70 MiB)
12:32:28 --proof_path: /tmp/4d4660ba/bb/tmp-6Vf92O/proof (mem: 223.70 MiB)
12:32:28 --vk_path: /tmp/4d4660ba/bb/tmp-6Vf92O/vk (mem: 223.70 MiB)
12:32:28 --verbose: true (mem: 223.70 MiB)
12:32:28 --scheme: ultra_honk (mem: 223.70 MiB)
12:32:28 --oracle_hash: poseidon2 (mem: 223.70 MiB)
12:32:28 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 223.70 MiB)
12:32:28 [12:32:28.023]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 223.70 MiB)
12:32:28 Proof verification failed (mem: 223.70 MiB)
12:32:28 verified: 0 (mem: 223.70 MiB)
12:32:28 [12:32:28.024]
ERROR:
bb-prover Error running operation at /tmp/4d4660ba/bb/tmp-6Vf92O: ProvingError: Failed to verify proof from key!
12:32:28 [12:32:28.028]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
12:32:28
PASS src/test/bb_prover_parity.test.ts (
133.822 s)
12:32:28 prover/bb_prover/parity
12:32:28
✓ proves the parity circuits (125269 ms)
12:32:28
12:32:28
Test Suites: 1 passed, 1 total
12:32:28
Tests: 1 passed, 1 total
12:32:28
Snapshots: 0 total
12:32:28
Time: 133.904 s
12:32:28
Ran all test suites matching /prover-client\/src\/test\/bb_prover_parity.test.ts/i
.
12:32:28
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?