Parent Log:
http://ci.aztec-labs.com/34c380f1258b1fe9
Command: f9856415d54196c8: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/3084a7eb89277f14c021ec43f4bddf01c77cc5cc
Env: REF_NAME=gh-readonly-queue/next/pr-15077-433ba6218aed45169029991a493e4232b30b8ec6 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 19:07:32 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15077_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
19:07:32 +++ id -u
19:07:32 +++ id -g
19:07:32 ++ 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'\'''
19:07:33 + cid=9cd5da77f46b046858aabb4960b844d576384400cd1b048649b9f6dad10142a2
19:07:33 + set +x
19:07:35 {"level":25,"time":1750187255013,"pid":7,"hostname":"9cd5da77f46b","module":"logger","msg":"Logger initialized with level verbose"}
19:07:44 [19:07:44.202]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-FPs7SO/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
19:07:44 [19:07:44.322]
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/cc7ab309/bb
19:07:44 [19:07:44.324]
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/cc7ab309/acvm
19:07:44 [19:07:44.333]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/cc7ab309/bb
19:07:44 [19:07:44.334]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/cc7ab309/acvm
19:07:44 [19:07:44.339]
INFO:
prover-client:proving-broker Proving Broker started
19:07:44 [19:07:44.343]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
19:07:44 [19:07:44.607]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":99.2549999999992,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
19:07:44 [19:07:44.620]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":74.58115999999973,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
19:07:44 [19:07:44.636]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":73.2955750000001,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
19:07:44 [19:07:44.738]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":113.13433700000132,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
19:07:49 [19:07:49.043]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4393 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4392.67857,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:07:49 [19:07:49.048]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-wvWCiQ/proof -k /tmp/cc7ab309/bb/tmp-wvWCiQ/vk -i /tmp/cc7ab309/bb/tmp-wvWCiQ/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:07:49 [19:07:49.096]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.81 MiB)
19:07:49 Scheme is: ultra_honk, num threads: 128 (mem: 251.81 MiB)
19:07:49 --public_inputs_path: /tmp/cc7ab309/bb/tmp-wvWCiQ/public_inputs (mem: 251.81 MiB)
19:07:49 --proof_path: /tmp/cc7ab309/bb/tmp-wvWCiQ/proof (mem: 251.81 MiB)
19:07:49 --vk_path: /tmp/cc7ab309/bb/tmp-wvWCiQ/vk (mem: 251.81 MiB)
19:07:49 --verbose: true (mem: 251.81 MiB)
19:07:49 --scheme: ultra_honk (mem: 251.81 MiB)
19:07:49 --oracle_hash: poseidon2 (mem: 251.81 MiB)
19:07:49 [19:07:49.098]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.81 MiB)
19:07:49 [19:07:49.106]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4425 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4424.7073789999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:07:49 [19:07:49.112]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-kIPoPL/proof -k /tmp/cc7ab309/bb/tmp-kIPoPL/vk -i /tmp/cc7ab309/bb/tmp-kIPoPL/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:07:49 [19:07:49.154]
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.81 MiB)
19:07:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.81 MiB)
19:07:49 sumcheck_verified: 1 (mem: 251.81 MiB)
19:07:49 libra_evals_verified: 1 (mem: 251.81 MiB)
19:07:49 pairing_check_verified: 1 (mem: 251.81 MiB)
19:07:49 Proof verified successfully (mem: 251.81 MiB)
19:07:49 verified: 1 (mem: 251.81 MiB)
19:07:49 [19:07:49.159]
INFO:
bb-prover Successfully verified proof from key in 110.86322399999881 ms
19:07:49 [19:07:49.183]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.83 MiB)
19:07:49 Scheme is: ultra_honk, num threads: 128 (mem: 251.83 MiB)
19:07:49 --public_inputs_path: /tmp/cc7ab309/bb/tmp-kIPoPL/public_inputs (mem: 251.83 MiB)
19:07:49 --proof_path: /tmp/cc7ab309/bb/tmp-kIPoPL/proof (mem: 251.83 MiB)
19:07:49 --vk_path: /tmp/cc7ab309/bb/tmp-kIPoPL/vk (mem: 251.83 MiB)
19:07:49 --verbose: true (mem: 251.83 MiB)
19:07:49 --scheme: ultra_honk (mem: 251.83 MiB)
19:07:49 [19:07:49.184]
VERBOSE:
bb-prover bb-prover (verify) BB out - --oracle_hash: poseidon2 (mem: 251.83 MiB)
19:07:49 [19:07:49.190]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.83 MiB)
19:07:49 [19:07:49.202]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4485 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4484.192352,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:07:49 [19:07:49.207]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4454 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4453.525683999998,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:07:49 [19:07:49.211]
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)
19:07:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.83 MiB)
19:07:49 [19:07:49.212]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.83 MiB)
19:07:49 libra_evals_verified: 1 (mem: 251.83 MiB)
19:07:49 pairing_check_verified: 1 (mem: 251.83 MiB)
19:07:49 Proof verified successfully (mem: 251.83 MiB)
19:07:49 verified: 1 (mem: 251.83 MiB)
19:07:49 [19:07:49.214]
INFO:
bb-prover Successfully verified proof from key in 102.51260100000036 ms
19:07:49 [19:07:49.216]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-QAVqt3/proof -k /tmp/cc7ab309/bb/tmp-QAVqt3/vk -i /tmp/cc7ab309/bb/tmp-QAVqt3/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:07:49 [19:07:49.236]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-Xg6dHG/proof -k /tmp/cc7ab309/bb/tmp-Xg6dHG/vk -i /tmp/cc7ab309/bb/tmp-Xg6dHG/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:07:49 [19:07:49.270]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.90 MiB)
19:07:49 Scheme is: ultra_honk, num threads: 128 (mem: 251.90 MiB)
19:07:49 --public_inputs_path: /tmp/cc7ab309/bb/tmp-QAVqt3/public_inputs (mem: 251.90 MiB)
19:07:49 --proof_path: /tmp/cc7ab309/bb/tmp-QAVqt3/proof (mem: 251.90 MiB)
19:07:49 --vk_path: /tmp/cc7ab309/bb/tmp-QAVqt3/vk (mem: 251.90 MiB)
19:07:49 --verbose: true (mem: 251.90 MiB)
19:07:49 --scheme: ultra_honk (mem: 251.90 MiB)
19:07:49 --oracle_hash: poseidon2 (mem: 251.90 MiB)
19:07:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.90 MiB)
19:07:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.90 MiB)
19:07:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.90 MiB)
19:07:49 sumcheck_verified: 1 (mem: 251.90 MiB)
19:07:49 libra_evals_verified: 1 (mem: 251.90 MiB)
19:07:49 pairing_check_verified: 1 (mem: 251.90 MiB)
19:07:49 Proof verified successfully (mem: 251.90 MiB)
19:07:49 verified: 1 (mem: 251.90 MiB)
19:07:49 [19:07:49.271]
INFO:
bb-prover Successfully verified proof from key in 55.204421000000366 ms
19:07:49 [19:07:49.275]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
19:07:49 [19:07:49.276]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.90 MiB)
19:07:49 Scheme is: ultra_honk, num threads: 128 (mem: 251.90 MiB)
19:07:49 --public_inputs_path: /tmp/cc7ab309/bb/tmp-Xg6dHG/public_inputs (mem: 251.90 MiB)
19:07:49 --proof_path: /tmp/cc7ab309/bb/tmp-Xg6dHG/proof (mem: 251.90 MiB)
19:07:49 --vk_path: /tmp/cc7ab309/bb/tmp-Xg6dHG/vk (mem: 251.90 MiB)
19:07:49 --verbose: true (mem: 251.90 MiB)
19:07:49 --scheme: ultra_honk (mem: 251.90 MiB)
19:07:49 --oracle_hash: poseidon2 (mem: 251.90 MiB)
19:07:49 [19:07:49.277]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.90 MiB)
19:07:49 [19:07:49.295]
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.90 MiB)
19:07:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.90 MiB)
19:07:49 [19:07:49.296]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.90 MiB)
19:07:49 libra_evals_verified: 1 (mem: 251.90 MiB)
19:07:49 pairing_check_verified: 1 (mem: 251.90 MiB)
19:07:49 Proof verified successfully (mem: 251.90 MiB)
19:07:49 verified: 1 (mem: 251.90 MiB)
19:07:49 [19:07:49.298]
INFO:
bb-prover Successfully verified proof from key in 61.414576999999554 ms
19:07:49 [19:07:49.309]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-Dggred/proof -k /tmp/cc7ab309/bb/tmp-Dggred/vk -i /tmp/cc7ab309/bb/tmp-Dggred/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:07:49 [19:07:49.332]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-0ewyA4/proof -k /tmp/cc7ab309/bb/tmp-0ewyA4/vk -i /tmp/cc7ab309/bb/tmp-0ewyA4/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:07:49 [19:07:49.363]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-LaRdB6/proof -k /tmp/cc7ab309/bb/tmp-LaRdB6/vk -i /tmp/cc7ab309/bb/tmp-LaRdB6/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:07:49 [19:07:49.382]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-oiwg7U/proof -k /tmp/cc7ab309/bb/tmp-oiwg7U/vk -i /tmp/cc7ab309/bb/tmp-oiwg7U/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:07:49 [19:07:49.409]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.95 MiB)
19:07:49 Scheme is: ultra_honk, num threads: 128 (mem: 251.95 MiB)
19:07:49 --public_inputs_path: /tmp/cc7ab309/bb/tmp-Dggred/public_inputs (mem: 251.95 MiB)
19:07:49 --proof_path: /tmp/cc7ab309/bb/tmp-Dggred/proof (mem: 251.95 MiB)
19:07:49 --vk_path: /tmp/cc7ab309/bb/tmp-Dggred/vk (mem: 251.95 MiB)
19:07:49 --verbose: true (mem: 251.95 MiB)
19:07:49 --scheme: ultra_honk (mem: 251.95 MiB)
19:07:49 --oracle_hash: poseidon2 (mem: 251.95 MiB)
19:07:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.95 MiB)
19:07:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.95 MiB)
19:07:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.95 MiB)
19:07:49 sumcheck_verified: 1 (mem: 251.95 MiB)
19:07:49 libra_evals_verified: 1 (mem: 251.95 MiB)
19:07:49 pairing_check_verified: 1 (mem: 251.95 MiB)
19:07:49 Proof verified successfully (mem: 251.95 MiB)
19:07:49 verified: 1 (mem: 251.95 MiB)
19:07:49 [19:07:49.410]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.95 MiB)
19:07:49 Scheme is: ultra_honk, num threads: 128 (mem: 251.95 MiB)
19:07:49 --public_inputs_path: /tmp/cc7ab309/bb/tmp-0ewyA4/public_inputs (mem: 251.95 MiB)
19:07:49 --proof_path: /tmp/cc7ab309/bb/tmp-0ewyA4/proof (mem: 251.95 MiB)
19:07:49 --vk_path: /tmp/cc7ab309/bb/tmp-0ewyA4/vk (mem: 251.95 MiB)
19:07:49 --verbose: true (mem: 251.95 MiB)
19:07:49 --scheme: ultra_honk (mem: 251.95 MiB)
19:07:49 --oracle_hash: poseidon2 (mem: 251.95 MiB)
19:07:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.95 MiB)
19:07:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.95 MiB)
19:07:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.95 MiB)
19:07:49 sumcheck_verified: 1 (mem: 251.95 MiB)
19:07:49 libra_evals_verified: 1 (mem: 251.95 MiB)
19:07:49 pairing_check_verified: 1 (mem: 251.95 MiB)
19:07:49 Proof verified successfully (mem: 251.95 MiB)
19:07:49 verified: 1 (mem: 251.95 MiB)
19:07:49 [19:07:49.411]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.95 MiB)
19:07:49 Scheme is: ultra_honk, num threads: 128 (mem: 251.95 MiB)
19:07:49 --public_inputs_path: /tmp/cc7ab309/bb/tmp-LaRdB6/public_inputs (mem: 251.95 MiB)
19:07:49 --proof_path: /tmp/cc7ab309/bb/tmp-LaRdB6/proof (mem: 251.95 MiB)
19:07:49 --vk_path: /tmp/cc7ab309/bb/tmp-LaRdB6/vk (mem: 251.95 MiB)
19:07:49 --verbose: true (mem: 251.95 MiB)
19:07:49 --scheme: ultra_honk (mem: 251.95 MiB)
19:07:49 --oracle_hash: poseidon2 (mem: 251.95 MiB)
19:07:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.95 MiB)
19:07:49 [19:07:49.411]
INFO:
bb-prover Successfully verified proof from key in 79.66405200000008 ms
19:07:49 [19:07:49.412]
INFO:
bb-prover Successfully verified proof from key in 102.58864299999914 ms
19:07:49 [19:07:49.412]
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.95 MiB)
19:07:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.95 MiB)
19:07:49 [19:07:49.413]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.95 MiB)
19:07:49 Scheme is: ultra_honk, num threads: 128 (mem: 251.95 MiB)
19:07:49 --public_inputs_path: /tmp/cc7ab309/bb/tmp-oiwg7U/public_inputs (mem: 251.95
19:07:49 [19:07:49.413]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
19:07:49 --proof_path: /tmp/cc7ab309/bb/tmp-oiwg7U/proof (mem: 251.95 MiB)
19:07:49 --vk_path: /tmp/cc7ab309/bb/tmp-oiwg7U/vk (mem: 251.95 MiB)
19:07:49 --verbose: true (mem: 251.95 MiB)
19:07:49 --scheme: ultra_honk (mem: 251.95 MiB)
19:07:49 --oracle_hash: poseidon2 (mem: 251.95 MiB)
19:07:49 [19:07:49.414]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.95 MiB)
19:07:49 libra_evals_verified: 1 (mem: 251.95 MiB)
19:07:49 pairing_check_verified: 1 (mem: 251.95 MiB)
19:07:49 Proof verified successfully (mem: 251.95 MiB)
19:07:49 verified: 1 (mem: 251.95 MiB)
19:07:49 [19:07:49.414]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.95 MiB)
19:07:49 [19:07:49.415]
INFO:
bb-prover Successfully verified proof from key in 52.64013199999863 ms
19:07:49 [19:07:49.434]
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.95 MiB)
19:07:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.95 MiB)
19:07:49 [19:07:49.436]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.95 MiB)
19:07:49 libra_evals_verified: 1 (mem: 251.95 MiB)
19:07:49 pairing_check_verified: 1 (mem: 251.95 MiB)
19:07:49 Proof verified successfully (mem: 251.95 MiB)
19:07:49 verified: 1 (mem: 251.95 MiB)
19:07:49 [19:07:49.437]
INFO:
bb-prover Successfully verified proof from key in 54.59909499999958 ms
19:07:49 [19:07:49.650]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":88.23985100000027,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
19:08:31 [19:08:31.404]
INFO:
bb-prover Generated proof for RootParityArtifact in 41739 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41738.121132,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:08:31 [19:08:31.410]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-tqctZX/proof -k /tmp/cc7ab309/bb/tmp-tqctZX/vk -i /tmp/cc7ab309/bb/tmp-tqctZX/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:08:31 [19:08:31.438]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.72 MiB)
19:08:31 [19:08:31.439]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.72 MiB)
19:08:31 --public_inputs_path: /tmp/cc7ab309/bb/tmp-tqctZX/public_inputs (mem: 253.72 MiB)
19:08:31 --proof_path: /tmp/cc7ab309/bb/tmp-tqctZX/proof (mem: 253.72 MiB)
19:08:31 --vk_path: /tmp/cc7ab309/bb/tmp-tqctZX/vk (mem: 253.72 MiB)
19:08:31 --verbose: true (mem: 253.72 MiB)
19:08:31 --scheme: ultra_honk (mem: 253.72 MiB)
19:08:31 --oracle_hash: poseidon2 (mem: 253.72 MiB)
19:08:31 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.72 MiB)
19:08:31 [19:08:31.455]
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.72 MiB)
19:08:31 [19:08:31.456]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.72 MiB)
19:08:31 [19:08:31.457]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.72 MiB)
19:08:31 libra_evals_verified: 1 (mem: 253.72 MiB)
19:08:31 pairing_check_verified: 1 (mem: 253.72 MiB)
19:08:31 Proof verified successfully (mem: 253.72 MiB)
19:08:31 verified: 1 (mem: 253.72 MiB)
19:08:31 [19:08:31.459]
INFO:
bb-prover Successfully verified proof from key in 48.47485600000073 ms
19:08:31 [19:08:31.470]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-ylEH3u/proof -k /tmp/cc7ab309/bb/tmp-ylEH3u/vk -i /tmp/cc7ab309/bb/tmp-ylEH3u/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:08:31 [19:08:31.495]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.72 MiB)
19:08:31 [19:08:31.496]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.72 MiB)
19:08:31 --public_inputs_path: /tmp/cc7ab309/bb/tmp-ylEH3u/public_inputs (mem: 253.72 MiB)
19:08:31 --proof_path: /tmp/cc7ab309/bb/tmp-ylEH3u/proof (mem: 253.72 MiB)
19:08:31 --vk_path: /tmp/cc7ab309/bb/tmp-ylEH3u/vk (mem: 253.72 MiB)
19:08:31 --verbose: true (mem: 253.72 MiB)
19:08:31 --scheme: ultra_honk (mem: 253.72 MiB)
19:08:31 --oracle_hash: poseidon2 (mem: 253.72 MiB)
19:08:31 [19:08:31.496]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.72 MiB)
19:08:31 [19:08:31.512]
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.72 MiB)
19:08:31 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.72 MiB)
19:08:31 [19:08:31.513]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.72 MiB)
19:08:31 libra_evals_verified: 1 (mem: 253.72 MiB)
19:08:31 pairing_check_verified: 1 (mem: 253.72 MiB)
19:08:31 Proof verified successfully (mem: 253.72 MiB)
19:08:31 verified: 1 (mem: 253.72 MiB)
19:08:31 [19:08:31.514]
INFO:
bb-prover Successfully verified proof from key in 43.95157600000675 ms
19:08:31 [19:08:31.599]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
19:08:31
19:08:31 [19:08:31.600]
ERROR:
bb-prover Error running operation at /tmp/cc7ab309/bb/tmp-08wu6w: Error: Failed to generate witness: Failed assertion
19:08:31
19:08:31 [19:08:31.763]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":62.648951999995916,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
19:09:07 [19:09:07.853]
INFO:
bb-prover Generated proof for RootParityArtifact in 36085 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36084.032419,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:09:07 [19:09:07.855]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-yYuIx8/proof -k /tmp/cc7ab309/bb/tmp-yYuIx8/vk -i /tmp/cc7ab309/bb/tmp-yYuIx8/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:09:07 [19:09:07.879]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.73 MiB)
19:09:07 [19:09:07.880]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.73 MiB)
19:09:07 --public_inputs_path: /tmp/cc7ab309/bb/tmp-yYuIx8/public_inputs (mem: 253.73 MiB)
19:09:07 --proof_path: /tmp/cc7ab309/bb/tmp-yYuIx8/proof (mem: 253.73 MiB)
19:09:07 --vk_path: /tmp/cc7ab309/bb/tmp-yYuIx8/vk (mem: 253.73 MiB)
19:09:07 --verbose: true (mem: 253.73 MiB)
19:09:07 --scheme: ultra_honk (mem: 253.73 MiB)
19:09:07 --oracle_hash: poseidon2 (mem: 253.73 MiB)
19:09:07 [19:09:07.881]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.73 MiB)
19:09:07 [19:09:07.894]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.73 MiB)
19:09:07 Proof verification failed (mem: 253.73 MiB)
19:09:07 verified: 0 (mem: 253.73 MiB)
19:09:07 [19:09:07.896]
ERROR:
bb-prover Error running operation at /tmp/cc7ab309/bb/tmp-yYuIx8: ProvingError: Failed to verify proof from key!
19:09:08 [19:09:08.064]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":80.14754200000607,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
19:09:42 [19:09:42.747]
INFO:
bb-prover Generated proof for RootParityArtifact in 34681 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34680.81520499999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:09:42 [19:09:42.751]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/cc7ab309/bb/tmp-6vgGPC/proof -k /tmp/cc7ab309/bb/tmp-6vgGPC/vk -i /tmp/cc7ab309/bb/tmp-6vgGPC/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:09:42 [19:09:42.774]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.73 MiB)
19:09:42 [19:09:42.775]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.73 MiB)
19:09:42 --public_inputs_path: /tmp/cc7ab309/bb/tmp-6vgGPC/public_inputs (mem: 253.73 MiB)
19:09:42 --proof_path: /tmp/cc7ab309/bb/tmp-6vgGPC/proof (mem: 253.73 MiB)
19:09:42 --vk_path: /tmp/cc7ab309/bb/tmp-6vgGPC/vk (mem: 253.73 MiB)
19:09:42 --verbose: true (mem: 253.73 MiB)
19:09:42 --scheme: ultra_honk (mem: 253.73 MiB)
19:09:42 --oracle_hash: poseidon2 (mem: 253.73 MiB)
19:09:42 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.73 MiB)
19:09:42 [19:09:42.787]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.73 MiB)
19:09:42 Proof verification failed (mem: 253.73 MiB)
19:09:42 verified: 0 (mem: 253.73 MiB)
19:09:42 [19:09:42.789]
ERROR:
bb-prover Error running operation at /tmp/cc7ab309/bb/tmp-6vgGPC: ProvingError: Failed to verify proof from key!
19:09:42 [19:09:42.792]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
19:09:42
PASS src/test/bb_prover_parity.test.ts (
128.022 s)
19:09:42 prover/bb_prover/parity
19:09:42
✓ proves the parity circuits (118442 ms)
19:09:42
19:09:42
Test Suites: 1 passed, 1 total
19:09:42
Tests: 1 passed, 1 total
19:09:42
Snapshots: 0 total
19:09:42
Time: 128.127 s
19:09:42
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
19:09:42
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?