Parent Log:
http://ci.aztec-labs.com/ea435d2af522830a
Command: 557c108a8ed544a3: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/ed4f6d71e2ea98f43186114eb914d54b87dd1183
Env: REF_NAME=gh-readonly-queue/next/pr-15116-433ba6218aed45169029991a493e4232b30b8ec6 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 19:29:27 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15116_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:29:27 +++ id -u
19:29:27 +++ id -g
19:29:27 ++ 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:29:28 + cid=eabba80c8e7895dad69902f70ebb8c27cb00b1342ed8f186cbce9909c60fab9e
19:29:28 + set +x
19:29:30 {"level":25,"time":1750188570675,"pid":7,"hostname":"eabba80c8e78","module":"logger","msg":"Logger initialized with level verbose"}
19:29:40 [19:29:40.055]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-fhXA0r/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
19:29:40 [19:29:40.143]
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/4f99efe1/bb
19:29:40 [19:29:40.145]
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/4f99efe1/acvm
19:29:40 [19:29:40.146]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/4f99efe1/bb
19:29:40 [19:29:40.147]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/4f99efe1/acvm
19:29:40 [19:29:40.151]
INFO:
prover-client:proving-broker Proving Broker started
19:29:40 [19:29:40.153]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
19:29:40 [19:29:40.388]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":100.21459399999912,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
19:29:40 [19:29:40.411]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":69.40449099999933,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
19:29:40 [19:29:40.427]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":55.35723499999949,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
19:29:40 [19:29:40.528]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":99.10838599999988,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
19:29:44 [19:29:44.306]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3769 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3768.2974379999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:29:44 [19:29:44.311]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-a45GVv/proof -k /tmp/4f99efe1/bb/tmp-a45GVv/vk -i /tmp/4f99efe1/bb/tmp-a45GVv/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:29:44 [19:29:44.343]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.58 MiB)
19:29:44 Scheme is: ultra_honk, num threads: 128 (mem: 251.58 MiB)
19:29:44 --public_inputs_path: /tmp/4f99efe1/bb/tmp-a45GVv/public_inputs (mem: 251.58 MiB)
19:29:44 --proof_path: /tmp/4f99efe1/bb/tmp-a45GVv/proof (mem: 251.58 MiB)
19:29:44 --vk_path: /tmp/4f99efe1/bb/tmp-a45GVv/vk (mem: 251.58 MiB)
19:29:44 --verbose: true (mem: 251.58 MiB)
19:29:44 --scheme: ultra_honk (mem: 251.58 MiB)
19:29:44 --oracle_hash: poseidon2 (mem: 251.58 MiB)
19:29:44 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.58 MiB)
19:29:44 [19:29:44.359]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3912 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3911.834592000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:29:44 [19:29:44.360]
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.58 MiB)
19:29:44 [19:29:44.360]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.58 MiB)
19:29:44 [19:29:44.361]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.58 MiB)
19:29:44 libra_evals_verified: 1 (mem: 251.58 MiB)
19:29:44 pairing_check_verified: 1 (mem: 251.58 MiB)
19:29:44 Proof verified successfully (mem: 251.58 MiB)
19:29:44 [19:29:44.362]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 251.58 MiB)
19:29:44 [19:29:44.371]
INFO:
bb-prover Successfully verified proof from key in 59.48663999999917 ms
19:29:44 [19:29:44.378]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-siRMZL/proof -k /tmp/4f99efe1/bb/tmp-siRMZL/vk -i /tmp/4f99efe1/bb/tmp-siRMZL/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:29:44 [19:29:44.404]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
19:29:44 [19:29:44.405]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
19:29:44 [19:29:44.405]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.59
19:29:44 [19:29:44.406]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
19:29:44 [19:29:44.407]
VERBOSE:
bb-prover bb-prover (verify) BB out -
19:29:44 [19:29:44.408]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.59 MiB)
19:29:44 --public_inputs_path: /tmp/4f99efe1/bb/tmp-siRMZL/public_inputs (mem: 251.59 MiB)
19:29:44 --proof_path: /tmp/4f99efe1/bb/tmp-siRMZL/proof (mem: 251.59 MiB)
19:29:44 --vk_path: /tmp/4f99efe1/bb/tmp-siRMZL/vk (mem: 251.59 MiB)
19:29:44 --verbose: true (mem: 251.59 MiB)
19:29:44 --scheme: ultra_honk (mem: 251.59 MiB)
19:29:44 --oracle_hash: poseidon2 (mem: 251.59 MiB)
19:29:44 [19:29:44.409]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.59 MiB)
19:29:44 [19:29:44.426]
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.59 MiB)
19:29:44 [19:29:44.426]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.59 MiB)
19:29:44 [19:29:44.428]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.59 MiB)
19:29:44 libra_evals_verified: 1 (mem: 251.59 MiB)
19:29:44 pairing_check_verified: 1 (mem: 251.59 MiB)
19:29:44 Proof verified successfully (mem: 251.59 MiB)
19:29:44 verified: 1 (mem: 251.59 MiB)
19:29:44 [19:29:44.429]
INFO:
bb-prover Successfully verified proof from key in 51.4272060000003 ms
19:29:44 [19:29:44.432]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3937 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3936.57028,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:29:44 [19:29:44.436]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-f0EZ3t/proof -k /tmp/4f99efe1/bb/tmp-f0EZ3t/vk -i /tmp/4f99efe1/bb/tmp-f0EZ3t/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:29:44 [19:29:44.462]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.61 MiB)
19:29:44 Scheme is: ultra_honk, num threads: 128 (mem: 251.61 MiB)
19:29:44 --public_inputs_path: /tmp/4f99efe1/bb/tmp-f0EZ3t/public_inputs (mem: 251.61 MiB)
19:29:44 --proof_path: /tmp/4f99efe1/bb/tmp-f0EZ3t/proof (mem: 251.61 MiB)
19:29:44 --vk_path: /tmp/4f99efe1/bb/tmp-f0EZ3t/vk (mem: 251.61 MiB)
19:29:44 --verbose: true (mem: 251.61 MiB)
19:29:44 --scheme: ultra_honk (mem: 251.61 MiB)
19:29:44 --oracle_hash: poseidon2 (mem: 251.61 MiB)
19:29:44 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.61 MiB)
19:29:44 [19:29:44.485]
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.61 MiB)
19:29:44 [19:29:44.486]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.61 MiB)
19:29:44 [19:29:44.487]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.61 MiB)
19:29:44 libra_evals_verified: 1 (mem: 251.61 MiB)
19:29:44 pairing_check_verified: 1 (mem: 251.61 MiB)
19:29:44 Proof verified successfully (mem: 251.61 MiB)
19:29:44 verified: 1 (mem: 251.61 MiB)
19:29:44 [19:29:44.488]
INFO:
bb-prover Successfully verified proof from key in 52.640895999998975 ms
19:29:44 [19:29:44.529]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4070 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4069.7790609999993,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:29:44 [19:29:44.532]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-0RWlay/proof -k /tmp/4f99efe1/bb/tmp-0RWlay/vk -i /tmp/4f99efe1/bb/tmp-0RWlay/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:29:44 [19:29:44.564]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.66 MiB)
19:29:44 [19:29:44.565]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.66 MiB)
19:29:44 --public_inputs_path: /tmp/4f99efe1/bb/tmp-0RWlay/public_inputs (mem: 251.66 MiB)
19:29:44 --proof_path: /tmp/4f99efe1/bb/tmp-0RWlay/proof (mem: 251.66 MiB)
19:29:44 --vk_path: /tmp/4f99efe1/bb/tmp-0RWlay/vk (mem: 251.66 MiB)
19:29:44 --verbose: true (mem: 251.66 MiB)
19:29:44 --scheme: ultra_honk (mem: 251.66 MiB)
19:29:44 --oracle_hash: poseidon2 (mem: 251.66 MiB)
19:29:44 [19:29:44.565]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.66 MiB)
19:29:44 [19:29:44.582]
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.66 MiB)
19:29:44 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.66 MiB)
19:29:44 sumcheck_verified: 1 (mem: 251.66 MiB)
19:29:44 libra_evals_verified: 1 (mem: 251.66 MiB)
19:29:44 pairing_check_verified: 1 (mem: 251.66 MiB)
19:29:44 Proof verified successfully (mem: 251.66 MiB)
19:29:44 verified: 1 (mem: 251.66 MiB)
19:29:44 [19:29:44.588]
INFO:
bb-prover Successfully verified proof from key in 55.18253100000038 ms
19:29:44 [19:29:44.600]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-6NzpxJ/proof -k /tmp/4f99efe1/bb/tmp-6NzpxJ/vk -i /tmp/4f99efe1/bb/tmp-6NzpxJ/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:29:44 [19:29:44.627]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-dNHFWf/proof -k /tmp/4f99efe1/bb/tmp-dNHFWf/vk -i /tmp/4f99efe1/bb/tmp-dNHFWf/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:29:44 [19:29:44.662]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-4anSd1/proof -k /tmp/4f99efe1/bb/tmp-4anSd1/vk -i /tmp/4f99efe1/bb/tmp-4anSd1/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:29:44 [19:29:44.688]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-OAcxD7/proof -k /tmp/4f99efe1/bb/tmp-OAcxD7/vk -i /tmp/4f99efe1/bb/tmp-OAcxD7/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:29:44 [19:29:44.712]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.72 MiB)
19:29:44 Scheme is: ultra_honk, num threads: 128 (mem: 250.72 MiB)
19:29:44 --public_inputs_path: /tmp/4f99efe1/bb/tmp-6NzpxJ/public_inputs (mem: 250.72 MiB)
19:29:44 --proof_path: /tmp/4f99efe1/bb/tmp-6NzpxJ/proof (mem: 250.72 MiB)
19:29:44 --vk_path: /tmp/4f99efe1/bb/tmp-6NzpxJ/vk (mem: 250.72 MiB)
19:29:44 --verbose: true (mem: 250.72 MiB)
19:29:44 --scheme: ultra_honk (mem: 250.72 MiB)
19:29:44 --oracle_hash: poseidon2 (mem: 250.72 MiB)
19:29:44 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.72 MiB)
19:29:44 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.72 MiB)
19:29:44 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.72 MiB)
19:29:44 sumcheck_verified: 1 (mem: 250.72 MiB)
19:29:44 libra_evals_verified: 1 (mem: 250.72 MiB)
19:29:44 pairing_check_verified: 1 (mem: 250.72 MiB)
19:29:44 Proof verified successfully (mem: 250.72 MiB)
19:29:44 verified: 1 (mem: 250.72 MiB)
19:29:44 [19:29:44.713]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.72 MiB)
19:29:44 Scheme is: ultra_honk, num threads: 128 (mem: 251.72 MiB)
19:29:44 --public_inputs_path: /tmp/4f99efe1/bb/tmp-dNHFWf/public_inputs (mem: 251.72 MiB)
19:29:44 --proof_path: /tmp/4f99efe1/bb/tmp-dNHFWf/proof (mem: 251.72 MiB)
19:29:44 --vk_path: /tmp/4f99efe1/bb/tmp-dNHFWf/vk (mem: 251.72 MiB)
19:29:44 --verbose: true (mem: 251.72 MiB)
19:29:44 --scheme: ultra_honk (mem: 251.72 MiB)
19:29:44 --oracle_hash: poseidon2 (mem: 251.72 MiB)
19:29:44 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.72 MiB)
19:29:44 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.72 MiB)
19:29:44 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.72 MiB)
19:29:44 sumcheck_verified: 1 (mem: 251.72 MiB)
19:29:44 libra_evals_verified: 1 (mem: 251.72 MiB)
19:29:44 pairing_check_verified: 1 (mem: 251.72 MiB)
19:29:44 Proof verified successfully (mem: 251.72 MiB)
19:29:44 verified: 1 (mem: 251.72 MiB)
19:29:44 [19:29:44.714]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.72 MiB)
19:29:44 Scheme is: ultra_honk, num threads: 128 (mem: 251.72 MiB)
19:29:44 --public_inputs_path: /tmp/4f99efe1/bb/tmp-4anSd1/public_inputs (mem: 251.72 MiB)
19:29:44 --proof_path: /tmp/4f99efe1/bb/tmp-4anSd1/proof (mem: 251.72 MiB)
19:29:44 --vk_path: /tmp/4f99efe1/bb/tmp-4anSd1/vk (mem: 251.72 MiB)
19:29:44 --verbose: true (mem: 251.72 MiB)
19:29:44 --scheme: ultra_honk (mem: 251.72 MiB)
19:29:44 --oracle_hash: poseidon2 (mem: 251.72 MiB)
19:29:44 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.72 MiB)
19:29:44 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.72 MiB)
19:29:44 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.72 MiB)
19:29:44 [19:29:44.714]
INFO:
bb-prover Successfully verified proof from key in 87.41695899999831 ms
19:29:44 [19:29:44.720]
INFO:
bb-prover Successfully verified proof from key in 119.51678399999946 ms
19:29:44 [19:29:44.723]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.72 MiB)
19:29:44 Scheme is: ultra_honk, num threads: 128 (mem: 251.72 MiB)
19:29:44 --public_inputs_path: /tmp/4f99efe1/bb/tmp-OAcxD7/public_inputs (mem: 251.72 MiB)
19:29:44 --proof_path: /tmp/4f99efe1/bb/tmp-OAcxD7/proof (mem: 251.72 MiB)
19:29:44 --vk_path: /tmp/4f99efe1/bb/tmp-OAcxD7/vk (mem: 251.72 MiB)
19:29:44 --verbose: true (mem: 251.72 MiB)
19:29:44 --scheme: ultra_honk (mem: 251.72 MiB)
19:29:44 --oracle_hash: poseidon2 (mem: 251.72 MiB)
19:29:44 [19:29:44.724]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.72 MiB)
19:29:44 libra_evals_verified: 1 (mem: 251.72 MiB)
19:29:44 pairing_check_verified: 1 (mem: 251.72 MiB)
19:29:44 Proof verified successfully (mem: 251.72 MiB)
19:29:44 verified: 1 (mem: 251.72 MiB)
19:29:44 [19:29:44.724]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.72 MiB)
19:29:44 [19:29:44.729]
INFO:
bb-prover Successfully verified proof from key in 66.3038030000007 ms
19:29:44 [19:29:44.741]
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.72 MiB)
19:29:44 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.72 MiB)
19:29:44 sumcheck_verified: 1 (mem: 251.72 MiB)
19:29:44 libra_evals_verified: 1 (mem: 251.72 MiB)
19:29:44 pairing_check_verified: 1 (mem: 251.72 MiB)
19:29:44 Proof verified successfully (mem: 251.72 MiB)
19:29:44 verified: 1 (mem: 251.72 MiB)
19:29:44 [19:29:44.743]
INFO:
bb-prover Successfully verified proof from key in 54.62906699999985 ms
19:29:44 [19:29:44.972]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":83.74975600000107,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
19:30:27 [19:30:27.842]
INFO:
bb-prover Generated proof for RootParityArtifact in 42864 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":42863.718371,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:30:27 [19:30:27.846]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-l6bCQR/proof -k /tmp/4f99efe1/bb/tmp-l6bCQR/vk -i /tmp/4f99efe1/bb/tmp-l6bCQR/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:30:27 [19:30:27.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.49 MiB)
19:30:27 [19:30:27.875]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.49 MiB)
19:30:27 --public_inputs_path: /tmp/4f99efe1/bb/tmp-l6bCQR/public_inputs (mem: 253.49 MiB)
19:30:27 --proof_path: /tmp/4f99efe1/bb/tmp-l6bCQR/proof (mem: 253.49 MiB)
19:30:27 --vk_path: /tmp/4f99efe1/bb/tmp-l6bCQR/vk (mem: 253.49 MiB)
19:30:27 --verbose: true (mem: 253.49 MiB)
19:30:27 --scheme: ultra_honk (mem: 253.49 MiB)
19:30:27 --oracle_hash: poseidon2 (mem: 253.49 MiB)
19:30:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.49 MiB)
19:30:27 [19:30:27.893]
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.49 MiB)
19:30:27 [19:30:27.894]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.49 MiB)
19:30:27 [19:30:27.895]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.49 MiB)
19:30:27 libra_evals_verified: 1 (mem: 253.49 MiB)
19:30:27 pairing_check_verified: 1 (mem: 253.49 MiB)
19:30:27 Proof verified successfully (mem: 253.49 MiB)
19:30:27 verified: 1 (mem: 253.49 MiB)
19:30:27 [19:30:27.897]
INFO:
bb-prover Successfully verified proof from key in 50.92855100000452 ms
19:30:27 [19:30:27.906]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-sOxoZ5/proof -k /tmp/4f99efe1/bb/tmp-sOxoZ5/vk -i /tmp/4f99efe1/bb/tmp-sOxoZ5/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:30:27 [19:30:27.933]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.49 MiB)
19:30:27 Scheme is: ultra_honk, num threads: 128 (mem: 253.49 MiB)
19:30:27 --public_inputs_path: /tmp/4f99efe1/bb/tmp-sOxoZ5/public_inputs (mem: 253.49 MiB)
19:30:27 --proof_path: /tmp/4f99efe1/bb/tmp-sOxoZ5/proof (mem: 253.49 MiB)
19:30:27 --vk_path: /tmp/4f99efe1/bb/tmp-sOxoZ5/vk (mem: 253.49 MiB)
19:30:27 --verbose: true (mem: 253.49 MiB)
19:30:27 --scheme: ultra_honk (mem: 253.49 MiB)
19:30:27 --oracle_hash: poseidon2 (mem: 253.49 MiB)
19:30:27 [19:30:27.934]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.49 MiB)
19:30:27 [19:30:27.950]
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.49 MiB)
19:30:27 [19:30:27.951]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.49 MiB)
19:30:27 [19:30:27.952]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.49 MiB)
19:30:27 libra_evals_verified: 1 (mem: 253.49 MiB)
19:30:27 pairing_check_verified: 1 (mem: 253.49 MiB)
19:30:27 [19:30:27.952]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 253.49 MiB)
19:30:27 verified: 1 (mem: 253.49 MiB)
19:30:27 [19:30:27.954]
INFO:
bb-prover Successfully verified proof from key in 47.83350200000132 ms
19:30:28 [19:30:28.041]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
19:30:28
19:30:28 [19:30:28.042]
ERROR:
bb-prover Error running operation at /tmp/4f99efe1/bb/tmp-413Ixg: Error: Failed to generate witness: Failed assertion
19:30:28
19:30:28 [19:30:28.263]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":84.54531300000235,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
19:31:07 [19:31:07.635]
INFO:
bb-prover Generated proof for RootParityArtifact in 39366 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39365.525881,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:31:07 [19:31:07.637]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-KzgqEx/proof -k /tmp/4f99efe1/bb/tmp-KzgqEx/vk -i /tmp/4f99efe1/bb/tmp-KzgqEx/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:31:07 [19:31:07.659]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.49 MiB)
19:31:07 [19:31:07.659]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.49 MiB)
19:31:07 --public_inputs_path: /tmp/4f99efe1/bb/tmp-KzgqEx/public_inputs (mem: 253.49 MiB)
19:31:07 --proof_path: /tmp/4f99efe1/bb/tmp-KzgqEx/proof (mem: 253.49 MiB)
19:31:07 --vk_path: /tmp/4f99efe1/bb/tmp-KzgqEx/vk (mem: 253.49 MiB)
19:31:07 --verbose: true (mem: 253.49 MiB)
19:31:07 --scheme: ultra_honk (mem: 253.49 MiB)
19:31:07 --oracle_hash: poseidon2 (mem: 253.49 MiB)
19:31:07 [19:31:07.660]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.49 MiB)
19:31:07 [19:31:07.670]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.49 MiB)
19:31:07 Proof verification failed (mem: 253.49 MiB)
19:31:07 verified: 0 (mem: 253.49 MiB)
19:31:07 [19:31:07.671]
ERROR:
bb-prover Error running operation at /tmp/4f99efe1/bb/tmp-KzgqEx: ProvingError: Failed to verify proof from key!
19:31:07 [19:31:07.815]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":67.86942499999714,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
19:31:41 [19:31:41.698]
INFO:
bb-prover Generated proof for RootParityArtifact in 33877 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33876.058605,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
19:31:41 [19:31:41.701]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f99efe1/bb/tmp-fPpXGZ/proof -k /tmp/4f99efe1/bb/tmp-fPpXGZ/vk -i /tmp/4f99efe1/bb/tmp-fPpXGZ/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
19:31:41 [19:31:41.723]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.49 MiB)
19:31:41 [19:31:41.724]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.49 MiB)
19:31:41 --public_inputs_path: /tmp/4f99efe1/bb/tmp-fPpXGZ/public_inputs (mem: 253.49 MiB)
19:31:41 --proof_path: /tmp/4f99efe1/bb/tmp-fPpXGZ/proof (mem: 253.49 MiB)
19:31:41 --vk_path: /tmp/4f99efe1/bb/tmp-fPpXGZ/vk (mem: 253.49 MiB)
19:31:41 --verbose: true (mem: 253.49 MiB)
19:31:41 --scheme: ultra_honk (mem: 253.49 MiB)
19:31:41 --oracle_hash: poseidon2 (mem: 253.49 MiB)
19:31:41 [19:31:41.724]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.49 MiB)
19:31:41 [19:31:41.735]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.49 MiB)
19:31:41 Proof verification failed (mem: 253.49 MiB)
19:31:41 verified: 0 (mem: 253.49 MiB)
19:31:41 [19:31:41.736]
ERROR:
bb-prover Error running operation at /tmp/4f99efe1/bb/tmp-fPpXGZ: ProvingError: Failed to verify proof from key!
19:31:41 [19:31:41.739]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
19:31:41
PASS src/test/bb_prover_parity.test.ts (
131.295 s)
19:31:41 prover/bb_prover/parity
19:31:41
✓ proves the parity circuits (121583 ms)
19:31:41
19:31:41
Test Suites: 1 passed, 1 total
19:31:41
Tests: 1 passed, 1 total
19:31:41
Snapshots: 0 total
19:31:41
Time: 131.416 s
19:31:41
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
19:31:41
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?