Parent Log:
http://ci.aztec-labs.com/159a0372e5aafeff
Command: 426cee6a32f1da3c: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/d96baf1c44329e8b2e3a432ad803f702f5184a62
Env: REF_NAME=gh-readonly-queue/next/pr-15025-26c5a39fe03723d11540f721293d7aebd1f478d9 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 13 09:27:49 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15025_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
09:27:49 +++ id -u
09:27:49 +++ id -g
09:27:49 ++ 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'\'''
09:27:49 + cid=48584e661f786c67a1c82ed39f72197f7a7c1f3295fe6d633cca8d0caf1e4f79
09:27:49 + set +x
09:27:51 {"level":25,"time":1749806871301,"pid":8,"hostname":"48584e661f78","module":"logger","msg":"Logger initialized with level verbose"}
09:27:59 [09:27:59.660]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-vxhoau/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
09:27:59 [09:27:59.731]
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/f05eba62/bb
09:27:59 [09:27:59.732]
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/f05eba62/acvm
09:27:59 [09:27:59.733]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/f05eba62/bb
09:27:59 [09:27:59.734]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/f05eba62/acvm
09:27:59 [09:27:59.738]
INFO:
prover-client:proving-broker Proving Broker started
09:27:59 [09:27:59.740]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
09:27:59 [09:27:59.954]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":86.46797599999991,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:27:59 [09:27:59.972]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":61.46826599999986,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:28:00 [09:28:00.045]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":60.1629750000011,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:28:00 [09:28:00.056]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":38.978079000000434,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:28:04 [09:28:04.764]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4661 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4660.709097999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:28:04 [09:28:04.773]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-bByxd1/proof -k /tmp/f05eba62/bb/tmp-bByxd1/vk -i /tmp/f05eba62/bb/tmp-bByxd1/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:04 [09:28:04.814]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 234.61 MiB)
09:28:04 Scheme is: ultra_honk, num threads: 128 (mem: 234.61 MiB)
09:28:04 --public_inputs_path: /tmp/f05eba62/bb/tmp-bByxd1/public_inputs (mem: 234.61 MiB)
09:28:04 --proof_path: /tmp/f05eba62/bb/tmp-bByxd1/proof (mem: 234.61 MiB)
09:28:04 --vk_path: /tmp/f05eba62/bb/tmp-bByxd1/vk (mem: 234.61 MiB)
09:28:04 --verbose: true (mem: 234.61 MiB)
09:28:04 [09:28:04.818]
VERBOSE:
bb-prover bb-prover (verify) BB out -
09:28:04 --scheme: ultra_honk (mem: 234.61 MiB)
09:28:04 --oracle_hash: poseidon2 (mem: 234.61 MiB)
09:28:04 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 234.61 MiB)
09:28:04 [09:28:04.842]
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: 234.61 MiB)
09:28:04 Initialized BN254 CRS from memory with num points = 1025 (mem: 234.61 MiB)
09:28:04 [09:28:04.843]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 234.61 MiB)
09:28:04 libra_evals_verified: 1 (mem: 234.61 MiB)
09:28:04 pairing_check_verified: 1 (mem: 234.61 MiB)
09:28:04 Proof verified successfully (mem: 234.61 MiB)
09:28:04 verified: 1 (mem: 234.61 MiB)
09:28:04 [09:28:04.844]
INFO:
bb-prover Successfully verified proof from key in 71.2143959999994 ms
09:28:04 [09:28:04.860]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4796 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4795.517228000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:28:04 [09:28:04.864]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-mdBG5n/proof -k /tmp/f05eba62/bb/tmp-mdBG5n/vk -i /tmp/f05eba62/bb/tmp-mdBG5n/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:04 [09:28:04.897]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 234.92 MiB)
09:28:04 Scheme is: ultra_honk, num threads: 128 (mem: 234.92 MiB)
09:28:04 --public_inputs_path: /tmp/f05eba62/bb/tmp-mdBG5n/public_inputs (mem: 234.92 MiB)
09:28:04 --proof_path: /tmp/f05eba62/bb/tmp-mdBG5n/proof (mem: 234.92 MiB)
09:28:04 [09:28:04.901]
VERBOSE:
bb-prover bb-prover (verify) BB out - --vk_path: /tmp/f05eba62/bb/tmp-mdBG5n/vk (mem: 234.92 MiB)
09:28:04 --verbose: true (mem: 234.92 MiB)
09:28:04 --scheme: ultra_honk (mem: 234.92 MiB)
09:28:04 --oracle_hash: poseidon2 (mem: 234.92 MiB)
09:28:04 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 234.92 MiB)
09:28:04 [09:28:04.917]
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"
09:28:04 [09:28:04.917]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 234.92 MiB)
09:28:04 Initialized BN254 CRS from memory with num points = 1025
09:28:04 [09:28:04.918]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 234.92 MiB)
09:28:04 [09:28:04.919]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 234.92 MiB)
09:28:04 libra_evals_verified: 1 (mem: 234.92 MiB)
09:28:04 pairing_check_verified: 1 (mem: 234.92 MiB)
09:28:04 Proof verified successfully (mem: 234.92 MiB)
09:28:04 verified: 1 (mem: 234.92 MiB)
09:28:04 [09:28:04.925]
INFO:
bb-prover Successfully verified proof from key in 60.830974000000424 ms
09:28:04 [09:28:04.949]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4938 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4937.851753999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:28:04 [09:28:04.954]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-Gt482X/proof -k /tmp/f05eba62/bb/tmp-Gt482X/vk -i /tmp/f05eba62/bb/tmp-Gt482X/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:04 [09:28:04.989]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5007 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5006.491239999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:28:04 [09:28:04.990]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 235.52 MiB)
09:28:04 Scheme is: ultra_honk, num threads: 128 (mem: 235.52 MiB)
09:28:04 --public_inputs_path: /tmp/f05eba62/bb/tmp-Gt482X/public_inputs (mem: 235.52 MiB)
09:28:04 --proof_path: /tmp/f05eba62/bb/tmp-Gt482X/proof (mem: 235.52 MiB)
09:28:04 --vk_path: /tmp/f05eba62/bb/tmp-Gt482X/vk (mem: 235.52 MiB)
09:28:04 --verbose: true (mem: 235.52 MiB)
09:28:04 --scheme: ultra_honk (mem: 235.52 MiB)
09:28:04 --oracle_hash: poseidon2 (mem: 235.52 MiB)
09:28:04 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 235.52 MiB)
09:28:04 [09:28:04.993]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-mYScOa/proof -k /tmp/f05eba62/bb/tmp-mYScOa/vk -i /tmp/f05eba62/bb/tmp-mYScOa/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:05 [09:28:05.022]
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: 235.52 MiB)
09:28:05 Initialized BN254 CRS from memory with num points = 1025 (mem: 235.52 MiB)
09:28:05 sumcheck_verified: 1 (mem: 235.52 MiB)
09:28:05 libra_evals_verified: 1 (mem: 235.52 MiB)
09:28:05 pairing_check_verified: 1 (mem: 235.52 MiB)
09:28:05 Proof verified successfully (mem: 235.52 MiB)
09:28:05 verified: 1 (mem: 235.52 MiB)
09:28:05 [09:28:05.023]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 235.52 MiB)
09:28:05 Scheme is: ultra_honk, num threads: 128 (mem: 235.52 MiB)
09:28:05 --public_inputs_path: /tmp/f05eba62/bb/tmp-mYScOa/public_inputs (mem: 235.52 MiB)
09:28:05 --proof_path: /tmp/f05eba62/bb/tmp-mYScOa/proof (mem: 235.52 MiB)
09:28:05 --vk_path: /tmp/f05eba62/bb/tmp-mYScOa/vk (mem: 235.52 MiB)
09:28:05 --verbose: true (mem: 235.52 MiB)
09:28:05 --scheme: ultra_honk (mem: 235.52 MiB)
09:28:05 --oracle_hash: poseidon2 (mem: 235.52 MiB)
09:28:05 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 235.52 MiB)
09:28:05 [09:28:05.024]
INFO:
bb-prover Successfully verified proof from key in 69.95574599999964 ms
09:28:05 [09:28:05.038]
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: 235.52 MiB)
09:28:05 [09:28:05.039]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 235.52 MiB)
09:28:05 [09:28:05.039]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 235.52 MiB)
09:28:05 libra_evals_verified: 1 (mem: 235.52 MiB)
09:28:05 pairing_check_verified: 1 (mem: 235.52 MiB)
09:28:05 Proof verified successfully (mem: 235.52 MiB)
09:28:05 [09:28:05.040]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 235.52 MiB)
09:28:05 [09:28:05.041]
INFO:
bb-prover Successfully verified proof from key in 48.183648000000176 ms
09:28:05 [09:28:05.056]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-V2RqCO/proof -k /tmp/f05eba62/bb/tmp-V2RqCO/vk -i /tmp/f05eba62/bb/tmp-V2RqCO/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:05 [09:28:05.084]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-fYxlNC/proof -k /tmp/f05eba62/bb/tmp-fYxlNC/vk -i /tmp/f05eba62/bb/tmp-fYxlNC/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:05 [09:28:05.118]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-kdecWx/proof -k /tmp/f05eba62/bb/tmp-kdecWx/vk -i /tmp/f05eba62/bb/tmp-kdecWx/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:05 [09:28:05.143]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 235.52 MiB)
09:28:05 Scheme is: ultra_honk, num threads: 128 (mem: 235.52 MiB)
09:28:05 --public_inputs_path: /tmp/f05eba62/bb/tmp-V2RqCO/public_inputs (mem: 235.52 MiB)
09:28:05 --proof_path: /tmp/f05eba62/bb/tmp-V2RqCO/proof (mem: 235.52 MiB)
09:28:05 --vk_path: /tmp/f05eba62/bb/tmp-V2RqCO/vk (mem: 235.52 MiB)
09:28:05 --verbose: true (mem: 235.52 MiB)
09:28:05 --scheme: ultra_honk (mem: 235.52 MiB)
09:28:05 --oracle_hash: poseidon2 (mem: 235.52 MiB)
09:28:05 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 235.52 MiB)
09:28:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.52 MiB)
09:28:05 Initialized BN254 CRS from memory with num points = 1025 (mem: 235.52 MiB)
09:28:05 sumcheck_verified: 1 (mem: 235.52 MiB)
09:28:05 libra_evals_verified: 1 (mem: 235.52 MiB)
09:28:05 pairing_check_verified: 1 (mem: 235.52 MiB)
09:28:05 Proof verified successfully (mem: 235.52 MiB)
09:28:05 verified: 1 (mem: 235.52 MiB)
09:28:05 [09:28:05.144]
INFO:
bb-prover Successfully verified proof from key in 88.62277799999902 ms
09:28:05 [09:28:05.145]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 235.52 MiB)
09:28:05 Scheme is: ultra_honk, num threads: 128 (mem: 235.52 MiB)
09:28:05 --public_inputs_path: /tmp/f05eba62/bb/tmp-fYxlNC/public_inputs (mem: 235.52 MiB)
09:28:05 --proof_path: /tmp/f05eba62/bb/tmp-fYxlNC/proof (mem: 235.52 MiB)
09:28:05 --vk_path: /tmp/f05eba62/bb/tmp-fYxlNC/vk (mem: 235.52 MiB)
09:28:05 --verbose: true (mem: 235.52 MiB)
09:28:05 --scheme: ultra_honk (mem: 235.52 MiB)
09:28:05 --oracle_hash: poseidon2 (mem: 235.52 MiB)
09:28:05 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 235.52 MiB)
09:28:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.52 MiB)
09:28:05 Initialized BN254 CRS from memory with num points = 1025 (mem: 235.52 MiB)
09:28:05 sumcheck_verified: 1 (mem: 235.52 MiB)
09:28:05 libra_evals_verified: 1 (mem: 235.52 MiB)
09:28:05 pairing_check_verified: 1 (mem: 235.52 MiB)
09:28:05 Proof verified successfully (mem: 235.52 MiB)
09:28:05 verified: 1 (mem: 235.52 MiB)
09:28:05 [09:28:05.146]
INFO:
bb-prover Successfully verified proof from key in 62.22067799999968 ms
09:28:05 [09:28:05.146]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-NfhV3c/proof -k /tmp/f05eba62/bb/tmp-NfhV3c/vk -i /tmp/f05eba62/bb/tmp-NfhV3c/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:05 [09:28:05.179]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 234.16 MiB)
09:28:05 Scheme is: ultra_honk, num threads: 128 (mem: 234.16 MiB)
09:28:05 --public_inputs_path: /tmp/f05eba62/bb/tmp-kdecWx/public_inputs (mem: 234.16 MiB)
09:28:05 --proof_path: /tmp/f05eba62/bb/tmp-kdecWx/proof (mem: 234.16 MiB)
09:28:05 --vk_path: /tmp/f05eba62/bb/tmp-kdecWx/vk (mem: 234.16 MiB)
09:28:05 --verbose: true (mem: 234.16 MiB)
09:28:05 --scheme: ultra_honk (mem: 234.16 MiB)
09:28:05 --oracle_hash: poseidon2 (mem: 234.16 MiB)
09:28:05 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 234.16 MiB)
09:28:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 234.16 MiB)
09:28:05 Initialized BN254 CRS from memory with num points = 1025 (mem: 234.16 MiB)
09:28:05 sumcheck_verified: 1 (mem: 234.16 MiB)
09:28:05 libra_evals_verified: 1 (mem: 234.16 MiB)
09:28:05 pairing_check_verified: 1 (mem: 234.16 MiB)
09:28:05 Proof verified successfully (mem: 234.16 MiB)
09:28:05 verified: 1 (mem: 234.16 MiB)
09:28:05 [09:28:05.181]
INFO:
bb-prover Successfully verified proof from key in 63.068317999999636 ms
09:28:05 [09:28:05.190]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 235.52 MiB)
09:28:05 [09:28:05.191]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 235.52 MiB)
09:28:05 --public_inputs_path: /tmp/f05eba62/bb/tmp-NfhV3c/public_inputs (mem: 235.52 MiB)
09:28:05 --proof_path: /tmp/f05eba62/bb/tmp-NfhV3c/proof (mem: 235.52 MiB)
09:28:05 --vk_path: /tmp/f05eba62/bb/tmp-NfhV3c/vk (mem: 235.52 MiB)
09:28:05 --verbose: true (mem: 235.52 MiB)
09:28:05 --scheme: ultra_honk (mem: 235.52 MiB)
09:28:05 --oracle_hash: poseidon2 (mem: 235.52 MiB)
09:28:05 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 235.52 MiB)
09:28:05 [09:28:05.209]
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: 235.52 MiB)
09:28:05 [09:28:05.209]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 235.52 MiB)
09:28:05 [09:28:05.211]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 235.52 MiB)
09:28:05 libra_evals_verified: 1 (mem: 235.52 MiB)
09:28:05 pairing_check_verified: 1 (mem: 235.52 MiB)
09:28:05 Proof verified successfully (mem: 235.52 MiB)
09:28:05 verified: 1 (mem: 235.52 MiB)
09:28:05 [09:28:05.214]
INFO:
bb-prover Successfully verified proof from key in 67.56725700000061 ms
09:28:05 [09:28:05.438]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":82.5031799999997,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:28:57 [09:28:57.431]
INFO:
bb-prover Generated proof for RootParityArtifact in 51981 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":51980.24428900001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:28:57 [09:28:57.440]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-9Srzmt/proof -k /tmp/f05eba62/bb/tmp-9Srzmt/vk -i /tmp/f05eba62/bb/tmp-9Srzmt/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:57 [09:28:57.482]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 234.59 MiB)
09:28:57 [09:28:57.484]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 234.59 MiB)
09:28:57 --public_inputs_path: /tmp/f05eba62/bb/tmp-9Srzmt/public_inputs (mem: 234.59 MiB)
09:28:57 --proof_path: /tmp/f05eba62/bb/tmp-9Srzmt/proof (mem: 234.59 MiB)
09:28:57 --vk_path: /tmp/f05eba62/bb/tmp-9Srzmt/vk (mem: 234.59 MiB)
09:28:57 --verbose: true (mem: 234.59 MiB)
09:28:57 --scheme: ultra_honk (mem: 234.59 MiB)
09:28:57 --oracle_hash: poseidon2 (mem: 234.59 MiB)
09:28:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 234.59 MiB)
09:28:57 [09:28:57.502]
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: 234.59 MiB)
09:28:57 [09:28:57.503]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 234.59 MiB)
09:28:57 [09:28:57.504]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 234.59 MiB)
09:28:57 libra_evals_verified: 1 (mem: 234.59 MiB)
09:28:57 pairing_check_verified: 1 (mem: 234.59 MiB)
09:28:57 Proof verified successfully (mem: 234.59 MiB)
09:28:57 verified: 1 (mem: 234.59 MiB)
09:28:57 [09:28:57.506]
INFO:
bb-prover Successfully verified proof from key in 65.78281699999934 ms
09:28:57 [09:28:57.512]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-rx1fp7/proof -k /tmp/f05eba62/bb/tmp-rx1fp7/vk -i /tmp/f05eba62/bb/tmp-rx1fp7/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:57 [09:28:57.540]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 235.59 MiB)
09:28:57 [09:28:57.541]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 235.59 MiB)
09:28:57 --public_inputs_path: /tmp/f05eba62/bb/tmp-rx1fp7/public_inputs (mem: 235.59 MiB)
09:28:57 --proof_path: /tmp/f05eba62/bb/tmp-rx1fp7/proof (mem: 235.59 MiB)
09:28:57 --vk_path: /tmp/f05eba62/bb/tmp-rx1fp7/vk (mem: 235.59 MiB)
09:28:57 --verbose: true (mem: 235.59 MiB)
09:28:57 --scheme: ultra_honk (mem: 235.59 MiB)
09:28:57 --oracle_hash: poseidon2 (mem: 235.59 MiB)
09:28:57 [09:28:57.541]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 235.59 MiB)
09:28:57 [09:28:57.564]
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: 235.59 MiB)
09:28:57 [09:28:57.565]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 235.59 MiB)
09:28:57 [09:28:57.566]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 235.59 MiB)
09:28:57 libra_evals_verified: 1 (mem: 235.59 MiB)
09:28:57 [09:28:57.566]
VERBOSE:
bb-prover bb-prover (verify) BB out -
09:28:57 pairing_check_verified: 1 (mem: 235.59 MiB)
09:28:57 Proof verified successfully (mem: 235.59 MiB)
09:28:57 verified: 1 (mem: 235.59 MiB)
09:28:57 [09:28:57.571]
INFO:
bb-prover Successfully verified proof from key in 58.72492500000226 ms
09:28:57 [09:28:57.697]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
09:28:57
09:28:57 [09:28:57.698]
ERROR:
bb-prover Error running operation at /tmp/f05eba62/bb/tmp-JstDku: Error: Failed to generate witness: Failed assertion
09:28:57
09:28:57 [09:28:57.939]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":81.69521199999144,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
09:29:42 [09:29:42.423]
INFO:
bb-prover Generated proof for RootParityArtifact in 44469 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":44468.019796999986,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:29:42 [09:29:42.427]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-8CCW5O/proof -k /tmp/f05eba62/bb/tmp-8CCW5O/vk -i /tmp/f05eba62/bb/tmp-8CCW5O/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:29:42 [09:29:42.449]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 235.16 MiB)
09:29:42 [09:29:42.450]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 235.16 MiB)
09:29:42 --public_inputs_path: /tmp/f05eba62/bb/tmp-8CCW5O/public_inputs (mem: 235.16 MiB)
09:29:42 --proof_path: /tmp/f05eba62/bb/tmp-8CCW5O/proof (mem: 235.16 MiB)
09:29:42 --vk_path: /tmp/f05eba62/bb/tmp-8CCW5O/vk (mem: 235.16 MiB)
09:29:42 --verbose: true (mem: 235.16 MiB)
09:29:42 --scheme: ultra_honk (mem: 235.16 MiB)
09:29:42 --oracle_hash: poseidon2 (mem: 235.16 MiB)
09:29:42 [09:29:42.450]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 235.16 MiB)
09:29:42 [09:29:42.459]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 235.16 MiB)
09:29:42 Proof verification failed (mem: 235.16 MiB)
09:29:42 verified: 0 (mem: 235.16 MiB)
09:29:42 [09:29:42.461]
ERROR:
bb-prover Error running operation at /tmp/f05eba62/bb/tmp-8CCW5O: ProvingError: Failed to verify proof from key!
09:29:42 [09:29:42.600]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":65.23020399999223,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:30:23 [09:30:23.012]
INFO:
bb-prover Generated proof for RootParityArtifact in 40408 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40407.525760000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:30:23 [09:30:23.017]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f05eba62/bb/tmp-Iu88QT/proof -k /tmp/f05eba62/bb/tmp-Iu88QT/vk -i /tmp/f05eba62/bb/tmp-Iu88QT/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
09:30:23 [09:30:23.040]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 235.59 MiB)
09:30:23 Scheme is: ultra_honk, num threads: 128 (mem: 235.59 MiB)
09:30:23 --public_inputs_path: /tmp/f05eba62/bb/tmp-Iu88QT/public_inputs (mem: 235.59 MiB)
09:30:23 --proof_path: /tmp/f05eba62/bb/tmp-Iu88QT/proof (mem: 235.59 MiB)
09:30:23 --vk_path: /tmp/f05eba62/bb/tmp-Iu88QT/vk (mem: 235.59 MiB)
09:30:23 --verbose: true (mem: 235.59 MiB)
09:30:23 [09:30:23.041]
VERBOSE:
bb-prover bb-prover (verify) BB out - --scheme: ultra_honk (mem: 235.59 MiB)
09:30:23 --oracle_hash: poseidon2 (mem: 235.59 MiB)
09:30:23 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 235.59 MiB)
09:30:23 [09:30:23.051]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 235.59 MiB)
09:30:23 Proof verification failed (mem: 235.59 MiB)
09:30:23 verified: 0 (mem: 235.59 MiB)
09:30:23 [09:30:23.053]
ERROR:
bb-prover Error running operation at /tmp/f05eba62/bb/tmp-Iu88QT: ProvingError: Failed to verify proof from key!
09:30:23 [09:30:23.057]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
09:30:23
PASS src/test/bb_prover_parity.test.ts (
151.881 s)
09:30:23 prover/bb_prover/parity
09:30:23
✓ proves the parity circuits (143311 ms)
09:30:23
09:30:23
Test Suites: 1 passed, 1 total
09:30:23
Tests: 1 passed, 1 total
09:30:23
Snapshots: 0 total
09:30:23
Time: 151.968 s
09:30:23
Ran all test suites matching /prover-client\/src\/test\/bb_prover_parity.test.ts/i
.
09:30:23
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?