Parent Log:
http://ci.aztec-labs.com/708af06a83330240
Command: 02573248fd9c66ba: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/712835e3cfa2ed6f980f2d482aa4b0ae767046a7
Env: REF_NAME=gh-readonly-queue/next/pr-15077-4b0e4dc09fa55f0bc808fa0c7c3e95e8fa997069 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 21:03:05 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15077_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
21:03:05 +++ id -u
21:03:05 +++ id -g
21:03:05 ++ 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'\'''
21:03:06 + cid=7d52644657fdeefe92d9ecdf39e024e8fe097437b51065bd21f10f908db73588
21:03:06 + set +x
21:03:08 {"level":25,"time":1750194188003,"pid":7,"hostname":"7d52644657fd","module":"logger","msg":"Logger initialized with level verbose"}
21:03:18 [21:03:18.130]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-SwNpH7/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
21:03:18 [21:03:18.211]
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/e28dcaa0/bb
21:03:18 [21:03:18.213]
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/e28dcaa0/acvm
21:03:18 [21:03:18.221]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/e28dcaa0/bb
21:03:18 [21:03:18.222]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/e28dcaa0/acvm
21:03:18 [21:03:18.228]
INFO:
prover-client:proving-broker Proving Broker started
21:03:18 [21:03:18.232]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
21:03:18 [21:03:18.548]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":132.76460599999882,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
21:03:18 [21:03:18.566]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":46.05762699999832,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
21:03:18 [21:03:18.578]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":83.76023999999961,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
21:03:18 [21:03:18.723]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":126.55694199999925,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
21:03:22 [21:03:22.408]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3792 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3791.8204159999987,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
21:03:22 [21:03:22.435]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-9XVFwn/proof -k /tmp/e28dcaa0/bb/tmp-9XVFwn/vk -i /tmp/e28dcaa0/bb/tmp-9XVFwn/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:03:22 [21:03:22.511]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.84 MiB)
21:03:22 [21:03:22.512]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.84 MiB)
21:03:22 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-9XVFwn/public_inputs (mem: 251.84 MiB)
21:03:22 --proof_path: /tmp/e28dcaa0/bb/tmp-9XVFwn/proof (mem: 251.84 MiB)
21:03:22 --vk_path: /tmp/e28dcaa0/bb/tmp-9XVFwn/vk (mem: 251.84 MiB)
21:03:22 --verbose: true (mem: 251.84 MiB)
21:03:22 --scheme: ultra_honk (mem: 251.84 MiB)
21:03:22 --oracle_hash: poseidon2 (mem: 251.84 MiB)
21:03:22 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.84 MiB)
21:03:22 [21:03:22.529]
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"
21:03:22 [21:03:22.530]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.84 MiB)
21:03:22 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.84 MiB)
21:03:22 [21:03:22.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.84 MiB)
21:03:22 libra_evals_verified: 1 (mem: 251.84 MiB)
21:03:22 pairing_check_verified: 1 (mem: 251.84 MiB)
21:03:22 Proof verified successfully (mem: 251.84 MiB)
21:03:22 verified: 1 (mem: 251.84 MiB)
21:03:22 [21:03:22.532]
INFO:
bb-prover Successfully verified proof from key in 97.82580699999926 ms
21:03:22 [21:03:22.564]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3933 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3932.1217369999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
21:03:22 [21:03:22.572]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-9XeQqp/proof -k /tmp/e28dcaa0/bb/tmp-9XeQqp/vk -i /tmp/e28dcaa0/bb/tmp-9XeQqp/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:03:22 [21:03:22.606]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3876 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3875.2270579999986,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
21:03:22 [21:03:22.607]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.14 MiB)
21:03:22 Scheme is: ultra_honk, num threads: 128 (mem: 251.14 MiB)
21:03:22 [21:03:22.608]
VERBOSE:
bb-prover bb-prover (verify) BB out - --public_inputs_path: /tmp/e28dcaa0/bb/tmp-9XeQqp/public_inputs (mem: 251.14 MiB)
21:03:22 --proof_path: /tmp/e28dcaa0/bb/tmp-9XeQqp/proof (mem: 251.14 MiB)
21:03:22 --vk_path: /tmp/e28dcaa0/bb/tmp-9XeQqp/vk (mem: 251.14 MiB)
21:03:22 --verbose: true (mem: 251.14 MiB)
21:03:22 --scheme: ultra_honk (mem: 251.14 MiB)
21:03:22 --oracle_hash: poseidon2 (mem: 251.14 MiB)
21:03:22 [21:03:22.609]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.14 MiB)
21:03:22 [21:03:22.611]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-XsRqmc/proof -k /tmp/e28dcaa0/bb/tmp-XsRqmc/vk -i /tmp/e28dcaa0/bb/tmp-XsRqmc/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:03:22 [21:03:22.663]
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.14 MiB)
21:03:22 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.14 MiB)
21:03:22 sumcheck_verified: 1 (mem: 251.14 MiB)
21:03:22 libra_evals_verified: 1 (mem: 251.14 MiB)
21:03:22 pairing_check_verified: 1 (mem: 251.14 MiB)
21:03:22 Proof verified successfully (mem: 251.14 MiB)
21:03:22 verified: 1 (mem: 251.14 MiB)
21:03:22 [21:03:22.665]
INFO:
bb-prover Successfully verified proof from key in 93.3278420000006 ms
21:03:22 [21:03:22.670]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.96 MiB)
21:03:22 Scheme is: ultra_honk, num threads: 128 (mem: 251.96 MiB)
21:03:22 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-XsRqmc/public_inputs (mem: 251.96 MiB)
21:03:22 --proof_path: /tmp/e28dcaa0/bb/tmp-XsRqmc/proof (mem: 251.96 MiB)
21:03:22 --vk_path: /tmp/e28dcaa0/bb/tmp-XsRqmc/vk (mem: 251.96 MiB)
21:03:22 --verbose: true (mem: 251.96 MiB)
21:03:22 --scheme: ultra_honk (mem: 251.96 MiB)
21:03:22 --oracle_hash: poseidon2 (mem: 251.96 MiB)
21:03:22 [21:03:22.673]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.96 MiB)
21:03:22 [21:03:22.687]
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"
21:03:22 [21:03:22.690]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.96 MiB)
21:03:22 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.96 MiB)
21:03:22 [21:03:22.691]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
21:03:22 [21:03:22.692]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.96 MiB)
21:03:22 libra_evals_verified: 1 (mem: 251.96 MiB)
21:03:22 pairing_check_verified: 1 (mem: 251.96 MiB)
21:03:22 Proof verified successfully (mem: 251.96 MiB)
21:03:22 verified: 1 (mem: 251.96 MiB)
21:03:22 [21:03:22.694]
INFO:
bb-prover Successfully verified proof from key in 82.70650600000045 ms
21:03:22 [21:03:22.799]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4126 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4125.072606,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
21:03:22 [21:03:22.815]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-rpteTD/proof -k /tmp/e28dcaa0/bb/tmp-rpteTD/vk -i /tmp/e28dcaa0/bb/tmp-rpteTD/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:03:22 [21:03:22.855]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.02 MiB)
21:03:22 [21:03:22.855]
VERBOSE:
bb-prover bb-prover (verify) BB out -
21:03:22 Scheme is: ultra_honk, num threads: 128 (mem: 252.02 MiB)
21:03:22 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-rpteTD/public_inputs (mem: 252.02 MiB)
21:03:22 --proof_path: /tmp/e28dcaa0/bb/tmp-rpteTD/proof (mem: 252.02 MiB)
21:03:22 --vk_path: /tmp/e28dcaa0/bb/tmp-rpteTD/vk (mem: 252.02 MiB)
21:03:22 --verbose: true (mem: 252.02 MiB)
21:03:22 --scheme: ultra_honk (mem: 252.02 MiB)
21:03:22 --oracle_hash: poseidon2 (mem: 252.02 MiB)
21:03:22 [21:03:22.856]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.02 MiB)
21:03:22 [21:03:22.874]
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: 252.02 MiB)
21:03:22 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.02 MiB)
21:03:22 [21:03:22.875]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.02 MiB)
21:03:22 libra_evals_verified: 1 (mem: 252.02 MiB)
21:03:22 pairing_check_verified: 1 (mem: 252.02 MiB)
21:03:22 Proof verified successfully (mem: 252.02 MiB)
21:03:22 verified: 1 (mem: 252.02 MiB)
21:03:22 [21:03:22.878]
INFO:
bb-prover Successfully verified proof from key in 63.14774299999772 ms
21:03:22 [21:03:22.888]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-7gNY3Q/proof -k /tmp/e28dcaa0/bb/tmp-7gNY3Q/vk -i /tmp/e28dcaa0/bb/tmp-7gNY3Q/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:03:22 [21:03:22.919]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-seNgkA/proof -k /tmp/e28dcaa0/bb/tmp-seNgkA/vk -i /tmp/e28dcaa0/bb/tmp-seNgkA/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:03:22 [21:03:22.947]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-eGNTXf/proof -k /tmp/e28dcaa0/bb/tmp-eGNTXf/vk -i /tmp/e28dcaa0/bb/tmp-eGNTXf/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:03:22 [21:03:22.973]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-4hEA3C/proof -k /tmp/e28dcaa0/bb/tmp-4hEA3C/vk -i /tmp/e28dcaa0/bb/tmp-4hEA3C/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:03:23 [21:03:23.003]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.08 MiB)
21:03:23 Scheme is: ultra_honk, num threads: 128 (mem: 252.08 MiB)
21:03:23 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-7gNY3Q/public_inputs (mem: 252.08 MiB)
21:03:23 --proof_path: /tmp/e28dcaa0/bb/tmp-7gNY3Q/proof (mem: 252.08 MiB)
21:03:23 --vk_path: /tmp/e28dcaa0/bb/tmp-7gNY3Q/vk (mem: 252.08 MiB)
21:03:23 --verbose: true (mem: 252.08 MiB)
21:03:23 --scheme: ultra_honk (mem: 252.08 MiB)
21:03:23 --oracle_hash: poseidon2 (mem: 252.08 MiB)
21:03:23 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.08 MiB)
21:03:23 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.08 MiB)
21:03:23 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.08 MiB)
21:03:23 sumcheck_verified: 1 (mem: 252.08 MiB)
21:03:23 libra_evals_verified: 1 (mem: 252.08 MiB)
21:03:23 pairing_check_verified: 1 (mem: 252.08 MiB)
21:03:23 Proof verified successfully (mem: 252.08 MiB)
21:03:23 verified: 1 (mem: 252.08 MiB)
21:03:23 [21:03:23.005]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.09 MiB)
21:03:23 Scheme is: ultra_honk, num threads: 128 (mem: 252.09 MiB)
21:03:23 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-seNgkA/public_inputs (mem: 252.09 MiB)
21:03:23 --proof_path: /tmp/e28dcaa0/bb/tmp-seNgkA/proof (mem: 252.09 MiB)
21:03:23 --vk_path: /tmp/e28dcaa0/bb/tmp-seNgkA/vk (mem: 252.09 MiB)
21:03:23 --verbose: true (mem: 252.09 MiB)
21:03:23 --scheme: ultra_honk (mem: 252.09 MiB)
21:03:23 --oracle_hash: poseidon2 (mem: 252.09 MiB)
21:03:23 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.09 MiB)
21:03:23 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.09 MiB)
21:03:23 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.09 MiB)
21:03:23 sumcheck_verified: 1 (mem: 252.09 MiB)
21:03:23 libra_evals_verified: 1 (mem: 252.09 MiB)
21:03:23 pairing_check_verified: 1 (mem: 252.09 MiB)
21:03:23 Proof verified successfully (mem: 252.09 MiB)
21:03:23 verified: 1 (mem: 252.09 MiB)
21:03:23 [21:03:23.006]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.40 MiB)
21:03:23 Scheme is: ultra_honk, num threads: 128 (mem: 251.40 MiB)
21:03:23 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-eGNTXf/public_inputs (mem: 251.40 MiB)
21:03:23 --proof_path: /tmp/e28dcaa0/bb/tmp-eGNTXf/proof (mem: 251.40 MiB)
21:03:23 --vk_path: /tmp/e28dcaa0/bb/tmp-eGNTXf/vk (mem: 251.40 MiB)
21:03:23 --verbose: true (mem: 251.40 MiB)
21:03:23 --scheme: ultra_honk (mem: 251.40 MiB)
21:03:23 --oracle_hash: poseidon2 (mem: 251.40 MiB)
21:03:23 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.40 MiB)
21:03:23 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.40 MiB)
21:03:23 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.40 MiB)
21:03:23 sumcheck_verified: 1 (mem: 251.40 MiB)
21:03:23 libra_evals_verified: 1 (mem: 251.40 MiB)
21:03:23 pairing_check_verified: 1 (mem: 251.40 MiB)
21:03:23 Proof verified successfully (mem: 251.40 MiB)
21:03:23 verified: 1 (mem: 251.40 MiB)
21:03:23 [21:03:23.006]
INFO:
bb-prover Successfully verified proof from key in 59.88904800000091 ms
21:03:23 [21:03:23.007]
INFO:
bb-prover Successfully verified proof from key in 88.29675599999973 ms
21:03:23 [21:03:23.007]
INFO:
bb-prover Successfully verified proof from key in 119.02342800000042 ms
21:03:23 [21:03:23.008]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.09 MiB)
21:03:23 Scheme is: ultra_honk, num threads: 128 (mem: 252.09 MiB)
21:03:23 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-4hEA3C/public_inputs (mem: 252.09 MiB)
21:03:23 --proof_path: /tmp/e28dcaa0/bb/tmp-4hEA3C/proof (mem: 252.09 MiB)
21:03:23 --vk_path: /tmp/e28dcaa0/bb/tmp-4hEA3C/vk (mem: 252.09 MiB)
21:03:23 --verbose: true (mem: 252.09 MiB)
21:03:23 --scheme: ultra_honk (mem: 252.09 MiB)
21:03:23 --oracle_hash: poseidon2 (mem: 252.09 MiB)
21:03:23 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.09 MiB)
21:03:23 [21:03:23.025]
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: 252.09 MiB)
21:03:23 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.09 MiB)
21:03:23 sumcheck_verified: 1 (mem: 252.09 MiB)
21:03:23 libra_evals_verified: 1 (mem: 252.09 MiB)
21:03:23 pairing_check_verified: 1 (mem: 252.09 MiB)
21:03:23 Proof verified successfully (mem: 252.09 MiB)
21:03:23 verified: 1 (mem: 252.09 MiB)
21:03:23 [21:03:23.027]
INFO:
bb-prover Successfully verified proof from key in 53.47635900000023 ms
21:03:23 [21:03:23.280]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":112.4045440000009,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
21:04:09 [21:04:09.771]
INFO:
bb-prover Generated proof for RootParityArtifact in 46480 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":46479.599153999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
21:04:09 [21:04:09.776]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-yR4mvL/proof -k /tmp/e28dcaa0/bb/tmp-yR4mvL/vk -i /tmp/e28dcaa0/bb/tmp-yR4mvL/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:04:09 [21:04:09.804]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.24 MiB)
21:04:09 [21:04:09.805]
VERBOSE:
bb-prover bb-prover (verify) BB out -
21:04:09 Scheme is: ultra_honk, num threads: 128 (mem: 254.24 MiB)
21:04:09 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-yR4mvL/public_inputs (mem: 254.24 MiB)
21:04:09 --proof_path: /tmp/e28dcaa0/bb/tmp-yR4mvL/proof (mem: 254.24 MiB)
21:04:09 --vk_path: /tmp/e28dcaa0/bb/tmp-yR4mvL/vk (mem: 254.24 MiB)
21:04:09 --verbose: true (mem: 254.24 MiB)
21:04:09 --scheme: ultra_honk (mem: 254.24 MiB)
21:04:09 --oracle_hash: poseidon2 (mem: 254.24 MiB)
21:04:09 [21:04:09.805]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 254.24 MiB)
21:04:09 [21:04:09.826]
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: 254.24 MiB)
21:04:09 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.24 MiB)
21:04:09 [21:04:09.828]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.24 MiB)
21:04:09 libra_evals_verified: 1 (mem: 254.24 MiB)
21:04:09 pairing_check_verified: 1 (mem: 254.24 MiB)
21:04:09 Proof verified successfully (mem: 254.24 MiB)
21:04:09 verified: 1 (mem: 254.24 MiB)
21:04:09 [21:04:09.831]
INFO:
bb-prover Successfully verified proof from key in 54.80719900000258 ms
21:04:09 [21:04:09.834]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-qSP7wX/proof -k /tmp/e28dcaa0/bb/tmp-qSP7wX/vk -i /tmp/e28dcaa0/bb/tmp-qSP7wX/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:04:09 [21:04:09.870]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.24 MiB)
21:04:09 [21:04:09.870]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.24 MiB)
21:04:09 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-qSP7wX/public_inputs (mem: 254.24 MiB)
21:04:09 --proof_path: /tmp/e28dcaa0/bb/tmp-qSP7wX/proof (mem: 254.24 MiB)
21:04:09 --vk_path: /tmp/e28dcaa0/bb/tmp-qSP7wX/vk (mem: 254.24 MiB)
21:04:09 --verbose: true (mem: 254.24 MiB)
21:04:09 --scheme: ultra_honk (mem: 254.24 MiB)
21:04:09 --oracle_hash: poseidon2 (mem: 254.24 MiB)
21:04:09 [21:04:09.871]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 254.24 MiB)
21:04:09 [21:04:09.888]
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: 254.24 MiB)
21:04:09 [21:04:09.889]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.24 MiB)
21:04:09 [21:04:09.890]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.24 MiB)
21:04:09 libra_evals_verified: 1 (mem: 254.24 MiB)
21:04:09 pairing_check_verified: 1 (mem: 254.24 MiB)
21:04:09 Proof verified successfully (mem: 254.24 MiB)
21:04:09 verified: 1 (mem: 254.24 MiB)
21:04:09 [21:04:09.896]
INFO:
bb-prover Successfully verified proof from key in 62.21340999999666 ms
21:04:10 [21:04:10.020]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
21:04:10
21:04:10 [21:04:10.021]
ERROR:
bb-prover Error running operation at /tmp/e28dcaa0/bb/tmp-VcrN6Z: Error: Failed to generate witness: Failed assertion
21:04:10
21:04:10 [21:04:10.261]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":86.69125699999859,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
21:04:48 [21:04:48.307]
INFO:
bb-prover Generated proof for RootParityArtifact in 38042 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38041.964586,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
21:04:48 [21:04:48.313]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-OSuBYz/proof -k /tmp/e28dcaa0/bb/tmp-OSuBYz/vk -i /tmp/e28dcaa0/bb/tmp-OSuBYz/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:04:48 [21:04:48.335]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.24 MiB)
21:04:48 [21:04:48.336]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.24 MiB)
21:04:48 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-OSuBYz/public_inputs (mem: 254.24 MiB)
21:04:48 --proof_path: /tmp/e28dcaa0/bb/tmp-OSuBYz/proof (mem: 254.24 MiB)
21:04:48 --vk_path: /tmp/e28dcaa0/bb/tmp-OSuBYz/vk (mem: 254.24 MiB)
21:04:48 --verbose: true (mem: 254.24 MiB)
21:04:48 --scheme: ultra_honk (mem: 254.24 MiB)
21:04:48 --oracle_hash: poseidon2 (mem: 254.24 MiB)
21:04:48 [21:04:48.337]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 254.24 MiB)
21:04:48 [21:04:48.345]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.24 MiB)
21:04:48 Proof verification failed (mem: 254.24 MiB)
21:04:48 [21:04:48.346]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 254.24 MiB)
21:04:48 [21:04:48.347]
ERROR:
bb-prover Error running operation at /tmp/e28dcaa0/bb/tmp-OSuBYz: ProvingError: Failed to verify proof from key!
21:04:48 [21:04:48.533]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.73908700000902,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
21:05:25 [21:05:25.043]
INFO:
bb-prover Generated proof for RootParityArtifact in 36493 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36492.38788699999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
21:05:25 [21:05:25.050]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e28dcaa0/bb/tmp-Wq9k8A/proof -k /tmp/e28dcaa0/bb/tmp-Wq9k8A/vk -i /tmp/e28dcaa0/bb/tmp-Wq9k8A/public_inputs --scheme ultra_honk --oracle_hash poseidon2 -v
21:05:25 [21:05:25.080]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.24 MiB)
21:05:25 [21:05:25.080]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.24 MiB)
21:05:25 --public_inputs_path: /tmp/e28dcaa0/bb/tmp-Wq9k8A/public_inputs (mem: 254.24 MiB)
21:05:25 --proof_path: /tmp/e28dcaa0/bb/tmp-Wq9k8A/proof (mem: 254.24 MiB)
21:05:25 --vk_path: /tmp/e28dcaa0/bb/tmp-Wq9k8A/vk (mem: 254.24 MiB)
21:05:25 --verbose: true (mem: 254.24 MiB)
21:05:25 --scheme: ultra_honk (mem: 254.24 MiB)
21:05:25 --oracle_hash: poseidon2 (mem: 254.24 MiB)
21:05:25 [21:05:25.081]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 254.24 MiB)
21:05:25 [21:05:25.090]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.24 MiB)
21:05:25 Proof verification failed (mem: 254.24 MiB)
21:05:25 verified: 0 (mem: 254.24 MiB)
21:05:25 [21:05:25.092]
ERROR:
bb-prover Error running operation at /tmp/e28dcaa0/bb/tmp-Wq9k8A: ProvingError: Failed to verify proof from key!
21:05:25 [21:05:25.096]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
21:05:25
PASS src/test/bb_prover_parity.test.ts (
137.333 s)
21:05:25 prover/bb_prover/parity
21:05:25
✓ proves the parity circuits (126859 ms)
21:05:25
21:05:25
Test Suites: 1 passed, 1 total
21:05:25
Tests: 1 passed, 1 total
21:05:25
Snapshots: 0 total
21:05:25
Time: 137.446 s
21:05:25
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
21:05:25
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?