Parent Log:
http://ci.aztec-labs.com/b0e48762cff3fa7d
Command: a5511b51e55ea9c0: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/0dc6f60f84deaa57a8570f9942eb75317f5aeea5
Env: REF_NAME=gh-readonly-queue/next/pr-15162-6ee95286f8bcc5bb6dca43222459ac5bf43a8a75 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 09:38:28 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15162_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:38:28 +++ id -u
09:38:28 +++ id -g
09:38:28 ++ 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:38:29 + cid=f856ff8d9a2054bd819efa7cc753037b1927c23ce523e558ad2d67976d78e76c
09:38:29 + set +x
09:38:31 {"level":25,"time":1750412311277,"pid":7,"hostname":"f856ff8d9a20","module":"logger","msg":"Logger initialized with level verbose"}
09:38:40 [09:38:40.576]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-MU3kFn/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
09:38:40 [09:38:40.660]
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/7746ea94/bb
09:38:40 [09:38:40.662]
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/7746ea94/acvm
09:38:40 [09:38:40.663]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/7746ea94/bb
09:38:40 [09:38:40.663]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/7746ea94/acvm
09:38:40 [09:38:40.667]
INFO:
prover-client:proving-broker Proving Broker started
09:38:40 [09:38:40.669]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
09:38:40 [09:38:40.874]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":53.38835900000049,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:38:40 [09:38:40.893]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":77.63212899999962,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:38:40 [09:38:40.911]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":53.83468900000116,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:38:40 [09:38:40.919]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:38:40 [09:38:40.920]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/7746ea94/bb/tmp-CsYQrW -b /tmp/7746ea94/bb/tmp-CsYQrW/BaseParityArtifact-bytecode -w /tmp/7746ea94/bb/tmp-CsYQrW/partial-witness.gz -v --init_kzg_accumulator -v
09:38:40 [09:38:40.949]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:38:40 [09:38:40.950]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/7746ea94/bb/tmp-YHdl75 -b /tmp/7746ea94/bb/tmp-YHdl75/BaseParityArtifact-bytecode -w /tmp/7746ea94/bb/tmp-YHdl75/partial-witness.gz -v --init_kzg_accumulator -v
09:38:40 [09:38:40.977]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.93 MiB)
09:38:40 Scheme is: ultra_honk, num threads: 128 (mem: 251.93 MiB)
09:38:40 --scheme: ultra_honk (mem: 251.93 MiB)
09:38:40 --bytecode_path: /tmp/7746ea94/bb/tmp-CsYQrW/BaseParityArtifact-bytecode (mem: 251.93 MiB)
09:38:40 --witness_path: /tmp/7746ea94/bb/tmp-CsYQrW/partial-witness.gz (mem: 251.93 MiB)
09:38:40 --output_path: /tmp/7746ea94/bb/tmp-CsYQrW (mem: 251.93 MiB)
09:38:40 Warning: the following option is called more than once (mem: 251.93 MiB)
09:38:40 --verbose: true (mem: 251.93 MiB)
09:38:40 --oracle_hash: poseidon2 (mem: 251.93 MiB)
09:38:40 --output_format: bytes_and_fields (mem: 251.93 MiB)
09:38:40 --write_vk: true (mem: 251.93 MiB)
09:38:40 --disable_zk: true (mem: 251.93 MiB)
09:38:40 --init_kzg_accumulator: true (mem: 251.93 MiB)
09:38:40 [09:38:40.978]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:38:40 [09:38:40.978]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/7746ea94/bb/tmp-SeawB4 -b /tmp/7746ea94/bb/tmp-SeawB4/BaseParityArtifact-bytecode -w /tmp/7746ea94/bb/tmp-SeawB4/partial-witness.gz -v --init_kzg_accumulator -v
09:38:41 [09:38:41.023]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.93 MiB)
09:38:41 Scheme is: ultra_honk, num threads: 128 (mem: 251.93 MiB)
09:38:41 --scheme: ultra_honk (mem: 251.93 MiB)
09:38:41 --bytecode_path: /tmp/7746ea94/bb/tmp-YHdl75/BaseParityArtifact-bytecode (mem: 251.93 MiB)
09:38:41 --witness_path: /tmp/7746ea94/bb/tmp-YHdl75/partial-witness.gz (mem: 251.93 MiB)
09:38:41 --output_path: /tmp/7746ea94/bb/tmp-YHdl75 (mem: 251.93 MiB)
09:38:41 Warning: the following option is called more than once (mem: 251.93 MiB)
09:38:41 --verbose: true (mem: 251.93 MiB)
09:38:41 --oracle_hash: poseidon2 (mem: 251.93 MiB)
09:38:41 --output_format: bytes_and_fields (mem: 251.93 MiB)
09:38:41 --write_vk: true (mem: 251.93 MiB)
09:38:41 --disable_zk: true (mem: 251.93 MiB)
09:38:41 --init_kzg_accumulator: true (mem: 251.93 MiB)
09:38:41 [09:38:41.024]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.93 MiB)
09:38:41 Scheme is: ultra_honk, num threads: 128 (mem: 251.93 MiB)
09:38:41 --scheme: ultra_honk (mem: 251.93 MiB)
09:38:41 --bytecode_path: /tmp/7746ea94/bb/tmp-SeawB4/BaseParityArtifact-bytecode (mem: 251.93 MiB)
09:38:41 --witness_path: /tmp/7746ea94/bb/tmp-SeawB4/partial-witness.gz (mem: 251.93 MiB)
09:38:41 --output_path: /tmp/7746ea94/bb/tmp-SeawB4 (mem: 251.93 MiB)
09:38:41 Warning: the following option is called more than once (mem: 251.93 MiB)
09:38:41 --verbose: true (mem: 251.93 MiB)
09:38:41 --oracle_hash: poseidon2 (mem: 251.93 MiB)
09:38:41 --output_format: bytes_and_fields (mem: 251.93 MiB)
09:38:41 --write_vk: true (mem: 251.93 MiB)
09:38:41 --disable_zk: true (mem: 251.93 MiB)
09:38:41 --init_kzg_accumulator: true (mem: 251.93 MiB)
09:38:41 [09:38:41.037]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":90.28477600000042,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:38:41 [09:38:41.049]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:38:41 [09:38:41.049]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/7746ea94/bb/tmp-ACsvPn -b /tmp/7746ea94/bb/tmp-ACsvPn/BaseParityArtifact-bytecode -w /tmp/7746ea94/bb/tmp-ACsvPn/partial-witness.gz -v --init_kzg_accumulator -v
09:38:41 [09:38:41.094]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.30 MiB)
09:38:41 Scheme is: ultra_honk, num threads: 128 (mem: 251.30 MiB)
09:38:41 --scheme: ultra_honk (mem: 251.30 MiB)
09:38:41 --bytecode_path: /tmp/7746ea94/bb/tmp-ACsvPn/BaseParityArtifact-bytecode (mem: 251.30 MiB)
09:38:41 --witness_path: /tmp/7746ea94/bb/tmp-ACsvPn/partial-witness.gz (mem: 251.30 MiB)
09:38:41 --output_path: /tmp/7746ea94/bb/tmp-ACsvPn (mem: 251.30 MiB)
09:38:41 Warning: the following option is called more than once (mem: 251.30 MiB)
09:38:41 --verbose: true (mem: 251.30 MiB)
09:38:41 --oracle_hash: poseidon2 (mem: 251.30 MiB)
09:38:41 --output_format: bytes_and_fields (mem: 251.30 MiB)
09:38:41 --write_vk: true (mem: 251.30 MiB)
09:38:41 --disable_zk: true (mem: 251.30 MiB)
09:38:41 --init_kzg_accumulator: true (mem: 251.30 MiB)
09:38:41 [09:38:41.149]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.93 MiB)
09:38:41 Constructing DeciderProvingKey (mem: 251.93 MiB)
09:38:41 [09:38:41.154]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
09:38:41 [09:38:41.157]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.93 MiB)
09:38:41 [09:38:41.188]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.93 MiB)
09:38:41 [09:38:41.188]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.93 MiB)
09:38:41 [09:38:41.189]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.93 MiB)
09:38:41 [09:38:41.189]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.93 MiB)
09:38:41 [09:38:41.195]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.93 MiB)
09:38:41 [09:38:41.196]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.93 MiB)
09:38:41 [09:38:41.291]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
09:38:41 [09:38:41.293]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.30 MiB)
09:38:41 Constructing DeciderProvingKey (mem: 251.30 MiB)
09:38:41 [09:38:41.312]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
09:38:41 [09:38:41.343]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.30 MiB)
09:38:41 [09:38:41.380]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.93 MiB)
09:38:41 [09:38:41.391]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.93 MiB)
09:38:41 [09:38:41.409]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.93 MiB)
09:38:41 [09:38:41.473]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 283 ms. (mem: 251.93 MiB)
09:38:41 [09:38:41.477]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 284 ms. (mem: 251.93 MiB)
09:38:41 [09:38:41.484]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.93 MiB)
09:38:41 [09:38:41.487]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.93 MiB)
09:38:41 [09:38:41.496]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.93 MiB)
09:38:41 [09:38:41.499]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.93 MiB)
09:38:41 [09:38:41.505]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 356 ms. (mem: 251.93 MiB)
09:38:41 [09:38:41.513]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.93 MiB)
09:38:41 [09:38:41.519]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.93 MiB)
09:38:41 [09:38:41.525]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.93 MiB)
09:38:41 [09:38:41.529]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.93 MiB)
09:38:41 [09:38:41.546]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.93 MiB)
09:38:41 [09:38:41.621]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.30 MiB)
09:38:41 [09:38:41.728]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 434 ms. (mem: 251.30 MiB)
09:38:41 [09:38:41.742]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.30 MiB)
09:38:41 [09:38:41.744]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.30 MiB)
09:38:41 [09:38:41.785]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 254.79 MiB)
09:38:42 [09:38:42.498]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.93 MiB)
09:38:42 [09:38:42.630]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.93 MiB)
09:38:42 [09:38:42.633]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.93 MiB)
09:38:42 [09:38:42.859]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.79 MiB)
09:38:43 [09:38:43.134]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.93 MiB)
09:38:43 [09:38:43.214]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.93 MiB)
09:38:43 [09:38:43.216]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.93 MiB)
09:38:43 [09:38:43.379]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 255.30 MiB)
09:38:43 [09:38:43.414]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.41 MiB)
09:38:43 [09:38:43.444]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 256.25 MiB)
09:38:43 [09:38:43.475]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 259.28 MiB)
09:38:43 [09:38:43.605]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 269.30 MiB)
09:38:43 [09:38:43.605]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 257.25 MiB)
09:38:43 [09:38:43.617]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.41 MiB)
09:38:43 [09:38:43.658]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 259.28 MiB)
09:38:43 [09:38:43.746]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 269.30 MiB)
09:38:44 [09:38:44.761]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.41 MiB)
09:38:44 [09:38:44.805]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.41 MiB)
09:38:44 [09:38:44.806]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 255.41 MiB)
09:38:44 [09:38:44.811]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/7746ea94/bb/tmp-CsYQrW/public_inputs" (mem: 255.41 MiB)
09:38:44 [09:38:44.811]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/7746ea94/bb/tmp-CsYQrW/public_inputs_fields.json" (mem: 255.41 MiB)
09:38:44 Proof saved to "/tmp/7746ea94/bb/tmp-CsYQrW/proof" (mem: 255.41 MiB)
09:38:44 [09:38:44.811]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/7746ea94/bb/tmp-CsYQrW/proof_fields.json" (mem: 255.41 MiB)
09:38:44 VK saved to "/tmp/7746ea94/bb/tmp-CsYQrW/vk" (mem: 255.41 MiB)
09:38:44 VK fields saved to "/tmp/7746ea94/bb/tmp-CsYQrW/vk_fields.json" (mem: 255.41 MiB)
09:38:44 [09:38:44.879]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 257.25 MiB)
09:38:44 [09:38:44.885]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3948 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3947.267925,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:38:44 [09:38:44.892]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:38:44 [09:38:44.893]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-l6aw5G/proof -k /tmp/7746ea94/bb/tmp-l6aw5G/vk -i /tmp/7746ea94/bb/tmp-l6aw5G/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:38:44 [09:38:44.937]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 257.25 MiB)
09:38:44 finished decider proving. (mem: 257.25 MiB)
09:38:44 Public inputs saved to "/tmp/7746ea94/bb/tmp-YHdl75/public_inputs" (mem: 257.25 MiB)
09:38:44 Public inputs fields saved to "/tmp/7746ea94/bb/tmp-YHdl75/public_inputs_fields.json" (mem: 257.25 MiB)
09:38:44 Proof saved to "/tmp/7746ea94/bb/tmp-YHdl75/proof" (mem: 257.25 MiB)
09:38:44 Proof fields saved to "/tmp/7746ea94/bb/tmp-YHdl75/proof_fields.json" (mem: 257.25 MiB)
09:38:44 VK saved to "/tmp/7746ea94/bb/tmp-YHdl75/vk" (mem: 257.25 MiB)
09:38:44 VK fields saved to "/tmp/7746ea94/bb/tmp-YHdl75/vk_fields.json" (mem: 257.25 MiB)
09:38:44 [09:38:44.942]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 259.28 MiB)
09:38:44 [09:38:44.945]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.98 MiB)
09:38:44 Scheme is: ultra_honk, num threads: 128 (mem: 251.98 MiB)
09:38:44 --public_inputs_path: /tmp/7746ea94/bb/tmp-l6aw5G/public_inputs (mem: 251.98 MiB)
09:38:44 --proof_path: /tmp/7746ea94/bb/tmp-l6aw5G/proof (mem: 251.98 MiB)
09:38:44 --vk_path: /tmp/7746ea94/bb/tmp-l6aw5G/vk (mem: 251.98 MiB)
09:38:44 --verbose: true (mem: 251.98 MiB)
09:38:44 --scheme: ultra_honk (mem: 251.98 MiB)
09:38:44 --oracle_hash: poseidon2 (mem: 251.98 MiB)
09:38:44 --disable_zk: true (mem: 251.98 MiB)
09:38:44 [09:38:44.946]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.98 MiB)
09:38:44 [09:38:44.968]
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.98 MiB)
09:38:44 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.98 MiB)
09:38:44 [09:38:44.971]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.98 MiB)
09:38:44 libra_evals_verified: 1 (mem: 251.98 MiB)
09:38:44 pairing_check_verified: 1 (mem: 251.98 MiB)
09:38:44 Proof verified successfully (mem: 251.98 MiB)
09:38:44 verified: 1 (mem: 251.98 MiB)
09:38:44 [09:38:44.973]
INFO:
bb-prover Successfully verified proof from key in 80.58295999999973 ms
09:38:44 [09:38:44.981]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 259.28 MiB)
09:38:44 finished decider proving. (mem: 259.28 MiB)
09:38:44 [09:38:44.988]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/7746ea94/bb/tmp-SeawB4/public_inputs" (mem: 259.28 MiB)
09:38:44 Public inputs fields saved to "/tmp/7746ea94/bb/tmp-SeawB4/public_inputs_fields.json" (mem: 259.28 MiB)
09:38:44 Proof saved to "/tmp/7746ea94/bb/tmp-SeawB4/proof" (mem: 259.28 MiB)
09:38:44 Proof fields saved to "/tmp/7746ea94/bb/tmp-SeawB4/proof_fields.json" (mem: 259.28 MiB)
09:38:44 [09:38:44.989]
INFO:
bb-prover BaseParityArtifact BB out - VK saved to "/tmp/7746ea94/bb/tmp-SeawB4/vk" (mem: 259.28 MiB)
09:38:44 VK fields saved to "/tmp/7746ea94/bb/tmp-SeawB4/vk_fields.json" (mem: 259.28 MiB)
09:38:44 [09:38:44.994]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4042 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4041.6458920000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:38:45 [09:38:44.999]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:38:45 [09:38:44.999]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-IaKPRp/proof -k /tmp/7746ea94/bb/tmp-IaKPRp/vk -i /tmp/7746ea94/bb/tmp-IaKPRp/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:38:45 [09:38:45.025]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.00 MiB)
09:38:45 Scheme is: ultra_honk, num threads: 128 (mem: 252.00 MiB)
09:38:45 --public_inputs_path: /tmp/7746ea94/bb/tmp-IaKPRp/public_inputs (mem: 252.00 MiB)
09:38:45 --proof_path: /tmp/7746ea94/bb/tmp-IaKPRp/proof (mem: 252.00 MiB)
09:38:45 --vk_path: /tmp/7746ea94/bb/tmp-IaKPRp/vk (mem: 252.00 MiB)
09:38:45 [09:38:45.026]
VERBOSE:
bb-prover bb-prover (verify) BB out -
09:38:45 --verbose: true (mem: 252.00 MiB)
09:38:45 --scheme: ultra_honk (mem: 252.00 MiB)
09:38:45 --oracle_hash: poseidon2 (mem: 252.00 MiB)
09:38:45 --disable_zk: true (mem: 252.00 MiB)
09:38:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.00 MiB)
09:38:45 [09:38:45.032]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 269.30 MiB)
09:38:45 [09:38:45.040]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4057 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4056.696677,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:38:45 [09:38:45.043]
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.00 MiB)
09:38:45 [09:38:45.044]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.00 MiB)
09:38:45 [09:38:45.046]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.00 MiB)
09:38:45 libra_evals_verified: 1 (mem: 252.00 MiB)
09:38:45 pairing_check_verified: 1 (mem: 252.00 MiB)
09:38:45 Proof verified successfully (mem: 252.00 MiB)
09:38:45 verified: 1 (mem: 252.00 MiB)
09:38:45 [09:38:45.047]
INFO:
bb-prover Successfully verified proof from key in 48.295445000001564 ms
09:38:45 [09:38:45.049]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:38:45 [09:38:45.049]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-6muSY5/proof -k /tmp/7746ea94/bb/tmp-6muSY5/vk -i /tmp/7746ea94/bb/tmp-6muSY5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:38:45 [09:38:45.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
09:38:45 [09:38:45.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
09:38:45 [09:38:45.080]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.07 MiB)
09:38:45 [09:38:45.080]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.07 MiB)
09:38:45 --public_inputs_path: /tmp/7746ea94/bb/tmp-6muSY5/public_inputs (mem: 252.07 MiB)
09:38:45 --proof_path: /tmp/7746ea94/bb/tmp-6muSY5/proof
09:38:45 [09:38:45.081]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 252.07 MiB)
09:38:45 --vk_path: /tmp/7746ea94/bb/tmp-6muSY5/vk (mem: 252.07 MiB)
09:38:45 --verbose: true (mem: 252.07 MiB)
09:38:45 --scheme: ultra_honk (mem: 252.07 MiB)
09:38:45 --oracle_hash: poseidon2 (mem: 252.07 MiB)
09:38:45 --disable_zk: true (mem: 252.07 MiB)
09:38:45 [09:38:45.082]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.07 MiB)
09:38:45 [09:38:45.092]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 269.30 MiB)
09:38:45 [09:38:45.096]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 269.30 MiB)
09:38:45 [09:38:45.103]
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.07 MiB)
09:38:45 [09:38:45.104]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.07 MiB)
09:38:45 [09:38:45.104]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/7746ea94/bb/tmp-ACsvPn/public_inputs" (mem: 269.30 MiB)
09:38:45 Public inputs fields saved to "/tmp/7746ea94/bb/tmp-ACsvPn/public_inputs_fields.json" (mem: 269.30 MiB)
09:38:45 Proof saved to "/tmp/7746ea94/bb/tmp-ACsvPn/proof" (mem: 269.30 MiB)
09:38:45 Proof fields saved to "/tmp/7746ea94/bb/tmp-ACsvPn/proof_fields.json" (mem: 269.30 MiB)
09:38:45 VK saved to "/tmp/7746ea94/bb/tmp-ACsvPn/vk" (mem: 269.30 MiB)
09:38:45 VK fields saved to "/tmp/7746ea94/bb/tmp-ACsvPn/vk_fields.json" (mem: 269.30 MiB)
09:38:45 [09:38:45.109]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.07 MiB)
09:38:45 libra_evals_verified: 1 (mem: 252.07 MiB)
09:38:45 pairing_check_verified: 1 (mem: 252.07 MiB)
09:38:45 Proof verified successfully (mem: 252.07 MiB)
09:38:45 verified: 1 (mem: 252.07 MiB)
09:38:45 [09:38:45.111]
INFO:
bb-prover Successfully verified proof from key in 62.05391899999995 ms
09:38:45 [09:38:45.168]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4109 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4108.961009000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:38:45 [09:38:45.172]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:38:45 [09:38:45.173]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-Lm6IeJ/proof -k /tmp/7746ea94/bb/tmp-Lm6IeJ/vk -i /tmp/7746ea94/bb/tmp-Lm6IeJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:38:45 [09:38:45.201]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.19 MiB)
09:38:45 [09:38:45.202]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.19 MiB)
09:38:45 --public_inputs_path: /tmp/7746ea94/bb/tmp-Lm6IeJ/public_inputs (mem: 252.19 MiB)
09:38:45 --proof_path: /tmp/7746ea94/bb/tmp-Lm6IeJ/proof (mem: 252.19 MiB)
09:38:45 --vk_path: /tmp/7746ea94/bb/tmp-Lm6IeJ/vk (mem: 252.19 MiB)
09:38:45 --verbose: true (mem: 252.19 MiB)
09:38:45 --scheme: ultra_honk (mem: 252.19 MiB)
09:38:45 --oracle_hash: poseidon2 (mem: 252.19 MiB)
09:38:45 --disable_zk: true (mem: 252.19 MiB)
09:38:45 [09:38:45.204]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.19 MiB)
09:38:45 [09:38:45.224]
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.19 MiB)
09:38:45 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.19 MiB)
09:38:45 [09:38:45.225]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.19 MiB)
09:38:45 libra_evals_verified: 1 (mem: 252.19 MiB)
09:38:45 pairing_check_verified: 1 (mem: 252.19 MiB)
09:38:45 Proof verified successfully (mem: 252.19 MiB)
09:38:45 verified: 1 (mem: 252.19 MiB)
09:38:45 [09:38:45.226]
INFO:
bb-prover Successfully verified proof from key in 53.71945700000106 ms
09:38:45 [09:38:45.251]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:38:45 [09:38:45.252]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-sT1GDH/proof -k /tmp/7746ea94/bb/tmp-sT1GDH/vk -i /tmp/7746ea94/bb/tmp-sT1GDH/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:38:45 [09:38:45.277]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:38:45 [09:38:45.278]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-cphWhj/proof -k /tmp/7746ea94/bb/tmp-cphWhj/vk -i /tmp/7746ea94/bb/tmp-cphWhj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:38:45 [09:38:45.301]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:38:45 [09:38:45.301]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-oeV6C7/proof -k /tmp/7746ea94/bb/tmp-oeV6C7/vk -i /tmp/7746ea94/bb/tmp-oeV6C7/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:38:45 [09:38:45.328]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.22 MiB)
09:38:45 Scheme is: ultra_honk, num threads: 128 (mem: 252.22 MiB)
09:38:45 --public_inputs_path: /tmp/7746ea94/bb/tmp-sT1GDH/public_inputs (mem: 252.22 MiB)
09:38:45 --proof_path: /tmp/7746ea94/bb/tmp-sT1GDH/proof (mem: 252.22 MiB)
09:38:45 --vk_path: /tmp/7746ea94/bb/tmp-sT1GDH/vk (mem: 252.22 MiB)
09:38:45 --verbose: true (mem: 252.22 MiB)
09:38:45 --scheme: ultra_honk (mem: 252.22 MiB)
09:38:45 --oracle_hash: poseidon2 (mem: 252.22 MiB)
09:38:45 --disable_zk: true (mem: 252.22 MiB)
09:38:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.22 MiB)
09:38:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.22 MiB)
09:38:45 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.22 MiB)
09:38:45 sumcheck_verified: 1 (mem: 252.22 MiB)
09:38:45 libra_evals_verified: 1 (mem: 252.22 MiB)
09:38:45 pairing_check_verified: 1 (mem: 252.22 MiB)
09:38:45 Proof verified successfully (mem: 252.22 MiB)
09:38:45 verified: 1 (mem: 252.22 MiB)
09:38:45 [09:38:45.331]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.22 MiB)
09:38:45 Scheme is: ultra_honk, num threads: 128 (mem: 252.22 MiB)
09:38:45 --public_inputs_path: /tmp/7746ea94/bb/tmp-cphWhj/public_inputs (mem: 252.22 MiB)
09:38:45 --proof_path: /tmp/7746ea94/bb/tmp-cphWhj/proof (mem: 252.22 MiB)
09:38:45 --vk_path: /tmp/7746ea94/bb/tmp-cphWhj/vk (mem: 252.22 MiB)
09:38:45 --verbose: true (mem: 252.22 MiB)
09:38:45 --scheme: ultra_honk (mem: 252.22 MiB)
09:38:45 --oracle_hash: poseidon2 (mem: 252.22 MiB)
09:38:45 --disable_zk: true (mem: 252.22 MiB)
09:38:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.22 MiB)
09:38:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.22 MiB)
09:38:45 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.22 MiB)
09:38:45 sumcheck_verified: 1 (mem: 252.22 MiB)
09:38:45 libra_evals_verified: 1 (mem: 252.22 MiB)
09:38:45 pairing_check_verified: 1 (mem: 252.22 MiB)
09:38:45 Proof verified successfully (mem: 252.22 MiB)
09:38:45 verified: 1 (mem: 252.22 MiB)
09:38:45 [09:38:45.331]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.22 MiB)
09:38:45 Scheme is: ultra_honk, num threads: 128 (mem: 252.22 MiB)
09:38:45 --public_inputs_path: /tmp/7746ea94/bb/tmp-oeV6C7/public_inputs (mem: 252.22 MiB)
09:38:45 --proof_path: /tmp/7746ea94/bb/tmp-oeV6C7/proof (mem: 252.22 MiB)
09:38:45 --vk_path: /tmp/7746ea94/bb/tmp-oeV6C7/vk (mem: 252.22 MiB)
09:38:45 --verbose: true (mem: 252.22 MiB)
09:38:45 --scheme: ultra_honk (mem: 252.22 MiB)
09:38:45 --oracle_hash: poseidon2 (mem: 252.22 MiB)
09:38:45 --disable_zk: true (mem: 252.22 MiB)
09:38:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.22 MiB)
09:38:45 [09:38:45.332]
INFO:
bb-prover Successfully verified proof from key in 81.65884600000027 ms
09:38:45 [09:38:45.333]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:38:45 [09:38:45.333]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-4LGXCn/proof -k /tmp/7746ea94/bb/tmp-4LGXCn/vk -i /tmp/7746ea94/bb/tmp-4LGXCn/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:38:45 [09:38:45.360]
INFO:
bb-prover Successfully verified proof from key in 82.17033900000024 ms
09:38:45 [09:38:45.361]
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.22 MiB)
09:38:45 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.22 MiB)
09:38:45 sumcheck_verified: 1 (mem: 252.22 MiB)
09:38:45 libra_evals_verified: 1 (mem: 252.22 MiB)
09:38:45 pairing_check_verified: 1 (mem: 252.22 MiB)
09:38:45 Proof verified successfully (mem: 252.22 MiB)
09:38:45 verified: 1 (mem: 252.22 MiB)
09:38:45 [09:38:45.362]
INFO:
bb-prover Successfully verified proof from key in 60.95748300000014 ms
09:38:45 [09:38:45.367]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.22 MiB)
09:38:45 Scheme is: ultra_honk, num threads: 128 (mem: 252.22 MiB)
09:38:45 --public_inputs_path: /tmp/7746ea94/bb/tmp-4LGXCn/public_inputs (mem: 252.22 MiB)
09:38:45 --proof_path: /tmp/7746ea94/bb/tmp-4LGXCn/proof (mem: 252.22 MiB)
09:38:45 --vk_path: /tmp/7746ea94/bb/tmp-4LGXCn/vk (mem: 252.22 MiB)
09:38:45 --verbose: true (mem: 252.22 MiB)
09:38:45 --scheme: ultra_honk (mem: 252.22 MiB)
09:38:45 --oracle_hash: poseidon2 (mem: 252.22 MiB)
09:38:45 --disable_zk: true (mem: 252.22 MiB)
09:38:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.22 MiB)
09:38:45 [09:38:45.389]
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.22 MiB)
09:38:45 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.22 MiB)
09:38:45 [09:38:45.390]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.22 MiB)
09:38:45 libra_evals_verified: 1 (mem: 252.22 MiB)
09:38:45 pairing_check_verified: 1 (mem: 252.22 MiB)
09:38:45 Proof verified successfully (mem: 252.22 MiB)
09:38:45 verified: 1 (mem: 252.22 MiB)
09:38:45 [09:38:45.393]
INFO:
bb-prover Successfully verified proof from key in 59.51934799999981 ms
09:38:45 [09:38:45.661]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":105.6469100000013,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:38:45 [09:38:45.663]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:38:45 [09:38:45.663]
INFO:
bb-prover RootParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/7746ea94/bb/tmp-9G3hPI -b /tmp/7746ea94/bb/tmp-9G3hPI/RootParityArtifact-bytecode -w /tmp/7746ea94/bb/tmp-9G3hPI/partial-witness.gz -v --init_kzg_accumulator -v
09:38:45 [09:38:45.709]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.27 MiB)
09:38:45 [09:38:45.712]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.27 MiB)
09:38:45 --scheme: ultra_honk (mem: 254.27 MiB)
09:38:45 --bytecode_path: /tmp/7746ea94/bb/tmp-9G3hPI/RootParityArtifact-bytecode (mem: 254.27 MiB)
09:38:45 --witness_path: /tmp/7746ea94/bb/tmp-9G3hPI/partial-witness.gz (mem: 254.27 MiB)
09:38:45 --output_path: /tmp/7746ea94/bb/tmp-9G3hPI (mem: 254.27 MiB)
09:38:45 Warning: the following option is called more than once (mem: 254.27 MiB)
09:38:45 --verbose: true (mem: 254.27 MiB)
09:38:45 --oracle_hash: poseidon2 (mem: 254.27 MiB)
09:38:45 --output_format: bytes_and_fields (mem: 254.27 MiB)
09:38:45 --write_vk: true (mem: 254.27 MiB)
09:38:45 --disable_zk: true (mem: 254.27 MiB)
09:38:45 --init_kzg_accumulator: true (mem: 254.27 MiB)
09:38:45 [09:38:45.921]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.27 MiB)
09:38:48 [09:38:48.103]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.08 MiB)
09:38:50 [09:38:50.696]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 785.53 MiB)
09:38:53 [09:38:53.052]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1053.46 MiB)
09:38:55 [09:38:55.531]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1427.97 MiB)
09:38:55 [09:38:55.532]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1427.97 MiB)
09:38:56 [09:38:56.840]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1879.38 MiB)
09:38:57 [09:38:57.205]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5525.38 MiB)
09:38:59 [09:38:59.380]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3847 ms. (mem: 6076.38 MiB)
09:38:59 [09:38:59.622]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6076.38 MiB)
09:38:59 [09:38:59.785]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6557.83 MiB)
09:39:01 [09:39:01.122]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7331.83 MiB)
09:39:09 [09:39:09.843]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7331.83 MiB)
09:39:15 [09:39:15.090]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7331.83 MiB)
09:39:17 [09:39:17.382]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8973.32 MiB)
09:39:19 [09:39:19.691]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8974.32 MiB)
09:39:25 [09:39:25.851]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8974.32 MiB)
09:39:27 [09:39:27.257]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8974.32 MiB)
09:39:27 [09:39:27.268]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8974.32 MiB)
09:39:28 [09:39:28.169]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/7746ea94/bb/tmp-9G3hPI/public_inputs" (mem: 8974.32 MiB)
09:39:28 Public inputs fields saved to "/tmp/7746ea94/bb/tmp-9G3hPI/public_inputs_fields.json" (mem: 8974.32 MiB)
09:39:28 Proof saved to "/tmp/7746ea94/bb/tmp-9G3hPI/proof" (mem: 8974.32 MiB)
09:39:28 Proof fields saved to "/tmp/7746ea94/bb/tmp-9G3hPI/proof_fields.json" (mem: 8974.32 MiB)
09:39:28 VK saved to "/tmp/7746ea94/bb/tmp-9G3hPI/vk" (mem: 8974.32 MiB)
09:39:28 VK fields saved to "/tmp/7746ea94/bb/tmp-9G3hPI/vk_fields.json" (mem: 8974.32 MiB)
09:39:28 [09:39:28.450]
INFO:
bb-prover Generated proof for RootParityArtifact in 42782 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":42781.887129,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:39:28 [09:39:28.456]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:28 [09:39:28.456]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-AjviEr/proof -k /tmp/7746ea94/bb/tmp-AjviEr/vk -i /tmp/7746ea94/bb/tmp-AjviEr/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:28 [09:39:28.483]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.27 MiB)
09:39:28 Scheme is: ultra_honk, num threads: 128 (mem: 254.27 MiB)
09:39:28 --public_inputs_path: /tmp/7746ea94/bb/tmp-AjviEr/public_inputs (mem: 254.27 MiB)
09:39:28 --proof_path: /tmp/7746ea94/bb/tmp-AjviEr/proof (mem: 254.27 MiB)
09:39:28 --vk_path: /tmp/7746ea94/bb/tmp-AjviEr/vk (mem: 254.27 MiB)
09:39:28 --verbose: true (mem: 254.27 MiB)
09:39:28 --scheme: ultra_honk (mem: 254.27 MiB)
09:39:28 --oracle_hash: poseidon2 (mem: 254.27 MiB)
09:39:28 --disable_zk: true (mem: 254.27 MiB)
09:39:28 [09:39:28.484]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.27 MiB)
09:39:28 [09:39:28.501]
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.27 MiB)
09:39:28 [09:39:28.503]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.27 MiB)
09:39:28 sumcheck_verified: 1 (mem: 254.27 MiB)
09:39:28 libra_evals_verified: 1 (mem: 254.27 MiB)
09:39:28 pairing_check_verified: 1 (mem: 254.27 MiB)
09:39:28 Proof verified successfully (mem: 254.27 MiB)
09:39:28 verified: 1 (mem: 254.27 MiB)
09:39:28 [09:39:28.505]
INFO:
bb-prover Successfully verified proof from key in 49.10709599999973 ms
09:39:28 [09:39:28.510]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:28 [09:39:28.511]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-dgnaM5/proof -k /tmp/7746ea94/bb/tmp-dgnaM5/vk -i /tmp/7746ea94/bb/tmp-dgnaM5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:28 [09:39:28.541]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.27 MiB)
09:39:28 [09:39:28.543]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.27 MiB)
09:39:28 --public_inputs_path: /tmp/7746ea94/bb/tmp-dgnaM5/public_inputs (mem: 254.27 MiB)
09:39:28 --proof_path: /tmp/7746ea94/bb/tmp-dgnaM5/proof (mem: 254.27 MiB)
09:39:28 --vk_path: /tmp/7746ea94/bb/tmp-dgnaM5/vk (mem: 254.27 MiB)
09:39:28 --verbose: true (mem: 254.27 MiB)
09:39:28 --scheme: ultra_honk (mem: 254.27 MiB)
09:39:28 --oracle_hash: poseidon2 (mem: 254.27 MiB)
09:39:28 --disable_zk: true (mem: 254.27 MiB)
09:39:28 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.27 MiB)
09:39:28 [09:39:28.560]
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.27 MiB)
09:39:28 [09:39:28.561]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.27 MiB)
09:39:28 [09:39:28.562]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.27 MiB)
09:39:28 libra_evals_verified: 1 (mem: 254.27 MiB)
09:39:28 pairing_check_verified: 1 (mem: 254.27 MiB)
09:39:28 Proof verified successfully (mem: 254.27 MiB)
09:39:28 verified: 1 (mem: 254.27 MiB)
09:39:28 [09:39:28.566]
INFO:
bb-prover Successfully verified proof from key in 55.2131240000017 ms
09:39:28 [09:39:28.669]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
09:39:28
09:39:28 [09:39:28.670]
ERROR:
bb-prover Error running operation at /tmp/7746ea94/bb/tmp-uoBbtj: Error: Failed to generate witness: Failed assertion
09:39:28
09:39:28 [09:39:28.928]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":113.39375099999597,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
09:39:28 [09:39:28.940]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:39:28 [09:39:28.940]
INFO:
bb-prover RootParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/7746ea94/bb/tmp-9QGtb2 -b /tmp/7746ea94/bb/tmp-9QGtb2/RootParityArtifact-bytecode -w /tmp/7746ea94/bb/tmp-9QGtb2/partial-witness.gz -v --init_kzg_accumulator -v
09:39:28 [09:39:28.990]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.27 MiB)
09:39:29 [09:39:28.991]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.27 MiB)
09:39:29 --scheme: ultra_honk (mem: 254.27 MiB)
09:39:29 --bytecode_path: /tmp/7746ea94/bb/tmp-9QGtb2/RootParityArtifact-bytecode (mem: 254.27 MiB)
09:39:29 --witness_path: /tmp/7746ea94/bb/tmp-9QGtb2/partial-witness.gz (mem: 254.27 MiB)
09:39:29 --output_path: /tmp/7746ea94/bb/tmp-9QGtb2 (mem: 254.27 MiB)
09:39:29 Warning: the following option is called more than once (mem: 254.27 MiB)
09:39:29 --verbose: true (mem: 254.27 MiB)
09:39:29 --oracle_hash: poseidon2 (mem: 254.27 MiB)
09:39:29 --output_format: bytes_and_fields (mem: 254.27 MiB)
09:39:29 --write_vk: true (mem: 254.27 MiB)
09:39:29 --disable_zk: true (mem: 254.27 MiB)
09:39:29 --init_kzg_accumulator: true (mem: 254.27 MiB)
09:39:29 [09:39:29.218]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.27 MiB)
09:39:29 [09:39:29.233]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.27 MiB)
09:39:31 [09:39:31.395]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 411.01 MiB)
09:39:33 [09:39:33.861]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 776.74 MiB)
09:39:36 [09:39:36.205]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1040.00 MiB)
09:39:38 [09:39:38.850]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1414.98 MiB)
09:39:38 [09:39:38.851]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1414.98 MiB)
09:39:40 [09:39:40.239]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1866.31 MiB)
09:39:40 [09:39:40.586]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5527.31 MiB)
09:39:42 [09:39:42.673]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3822 ms. (mem: 6071.31 MiB)
09:39:42 [09:39:42.814]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.31 MiB)
09:39:43 [09:39:43.264]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6560.18 MiB)
09:39:44 [09:39:44.502]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7335.18 MiB)
09:39:51 [09:39:51.217]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7335.18 MiB)
09:39:55 [09:39:55.045]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7335.18 MiB)
09:39:57 [09:39:57.225]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8972.54 MiB)
09:39:59 [09:39:59.701]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8972.54 MiB)
09:40:06 [09:40:06.805]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8972.54 MiB)
09:40:08 [09:40:08.434]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof
09:40:08 [09:40:08.436]
INFO:
bb-prover RootParityArtifact BB out - (mem:
09:40:08 [09:40:08.437]
INFO:
bb-prover RootParityArtifact BB out - 8972.54
09:40:08 [09:40:08.438]
INFO:
bb-prover RootParityArtifact BB out - MiB)
09:40:08 [09:40:08.455]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8972.54 MiB)
09:40:09 [09:40:09.251]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/7746ea94/bb/tmp-9QGtb2/public_inputs" (mem: 8972.54 MiB)
09:40:09 [09:40:09.251]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/7746ea94/bb/tmp-9QGtb2/public_inputs_fields.json" (mem: 8972.54 MiB)
09:40:09 Proof saved to "/tmp/7746ea94/bb/tmp-9QGtb2/proof" (mem: 8972.54 MiB)
09:40:09 [09:40:09.252]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/7746ea94/bb/tmp-9QGtb2/proof_fields.json" (mem: 8972.54 MiB)
09:40:09 VK saved to "/tmp/7746ea94/bb/tmp-9QGtb2/vk" (mem: 8972.54 MiB)
09:40:09 VK fields saved to "/tmp/7746ea94/bb/tmp-9QGtb2/vk_fields.json" (mem: 8972.54 MiB)
09:40:09 [09:40:09.535]
INFO:
bb-prover Generated proof for RootParityArtifact in 40594 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40593.811529000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:40:09 [09:40:09.538]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:09 [09:40:09.538]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-dxPl5Q/proof -k /tmp/7746ea94/bb/tmp-dxPl5Q/vk -i /tmp/7746ea94/bb/tmp-dxPl5Q/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:09 [09:40:09.558]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.27 MiB)
09:40:09 [09:40:09.559]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.27 MiB)
09:40:09 --public_inputs_path: /tmp/7746ea94/bb/tmp-dxPl5Q/public_inputs (mem: 254.27 MiB)
09:40:09 --proof_path: /tmp/7746ea94/bb/tmp-dxPl5Q/proof (mem: 254.27 MiB)
09:40:09 --vk_path: /tmp/7746ea94/bb/tmp-dxPl5Q/vk (mem: 254.27 MiB)
09:40:09 --verbose: true (mem: 254.27 MiB)
09:40:09 --scheme: ultra_honk (mem: 254.27 MiB)
09:40:09 --oracle_hash: poseidon2 (mem: 254.27 MiB)
09:40:09 --disable_zk: true (mem: 254.27 MiB)
09:40:09 [09:40:09.559]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.27 MiB)
09:40:09 [09:40:09.568]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.27 MiB)
09:40:09 Proof verification failed (mem: 254.27 MiB)
09:40:09 verified: 0 (mem: 254.27 MiB)
09:40:09 [09:40:09.570]
ERROR:
bb-prover Error running operation at /tmp/7746ea94/bb/tmp-dxPl5Q: ProvingError: Failed to verify proof from key!
09:40:09 [09:40:09.729]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":77.70522300001176,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:40:09 [09:40:09.730]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:40:09 [09:40:09.731]
INFO:
bb-prover RootParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/7746ea94/bb/tmp-Kg7BKF -b /tmp/7746ea94/bb/tmp-Kg7BKF/RootParityArtifact-bytecode -w /tmp/7746ea94/bb/tmp-Kg7BKF/partial-witness.gz -v --init_kzg_accumulator -v
09:40:09 [09:40:09.751]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.27 MiB)
09:40:09 [09:40:09.752]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.27 MiB)
09:40:09 --scheme: ultra_honk (mem: 254.27 MiB)
09:40:09 --bytecode_path: /tmp/7746ea94/bb/tmp-Kg7BKF/RootParityArtifact-bytecode (mem: 254.27 MiB)
09:40:09 --witness_path: /tmp/7746ea94/bb/tmp-Kg7BKF/partial-witness.gz (mem: 254.27 MiB)
09:40:09 --output_path: /tmp/7746ea94/bb/tmp-Kg7BKF (mem: 254.27 MiB)
09:40:09 Warning: the following option is called more than once (mem: 254.27 MiB)
09:40:09 --verbose: true (mem: 254.27 MiB)
09:40:09 --oracle_hash: poseidon2 (mem: 254.27 MiB)
09:40:09 --output_format: bytes_and_fields (mem: 254.27 MiB)
09:40:09 --write_vk: true (mem: 254.27 MiB)
09:40:09 --disable_zk: true (mem: 254.27 MiB)
09:40:09 --init_kzg_accumulator: true (mem: 254.27 MiB)
09:40:09 [09:40:09.904]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.27 MiB)
09:40:09 [09:40:09.918]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.27 MiB)
09:40:11 [09:40:11.982]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.00 MiB)
09:40:13 [09:40:13.848]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.20 MiB)
09:40:15 [09:40:15.659]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1053.61 MiB)
09:40:17 [09:40:17.846]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1428.64 MiB)
09:40:17 [09:40:17.847]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1428.64 MiB)
09:40:19 [09:40:19.052]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1880.04 MiB)
09:40:19 [09:40:19.439]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5529.04 MiB)
09:40:21 [09:40:21.219]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3372 ms. (mem: 6075.04 MiB)
09:40:21 [09:40:21.372]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6075.04 MiB)
09:40:21 [09:40:21.689]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6562.74 MiB)
09:40:22 [09:40:22.811]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7336.74 MiB)
09:40:28 [09:40:28.190]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7336.74 MiB)
09:40:31 [09:40:31.991]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7336.74 MiB)
09:40:34 [09:40:34.372]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8971.92 MiB)
09:40:36 [09:40:36.554]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8971.92 MiB)
09:40:41 [09:40:41.591]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8971.92 MiB)
09:40:42 [09:40:42.870]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8971.92 MiB)
09:40:42 [09:40:42.889]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8971.92 MiB)
09:40:43 [09:40:43.838]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/7746ea94/bb/tmp-Kg7BKF/public_inputs" (mem: 8971.92 MiB)
09:40:43 Public inputs fields saved to "/tmp/7746ea94/bb/tmp-Kg7BKF/public_inputs_fields.json" (mem: 8971.92 MiB)
09:40:43 [09:40:43.839]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/7746ea94/bb/tmp-Kg7BKF/proof" (mem: 8971.92 MiB)
09:40:43 Proof fields saved to "/tmp/7746ea94/bb/tmp-Kg7BKF/proof_fields.json" (mem: 8971.92 MiB)
09:40:43 VK saved to "/tmp/7746ea94/bb/tmp-Kg7BKF/vk" (mem: 8971.92 MiB)
09:40:43 VK fields saved to "/tmp/7746ea94/bb/tmp-Kg7BKF/vk_fields.json" (mem: 8971.92 MiB)
09:40:44 [09:40:44.085]
INFO:
bb-prover Generated proof for RootParityArtifact in 34352 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34351.716060000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:40:44 [09:40:44.088]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:44 [09:40:44.088]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7746ea94/bb/tmp-kImboK/proof -k /tmp/7746ea94/bb/tmp-kImboK/vk -i /tmp/7746ea94/bb/tmp-kImboK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:44 [09:40:44.106]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.27 MiB)
09:40:44 [09:40:44.107]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.27 MiB)
09:40:44 --public_inputs_path: /tmp/7746ea94/bb/tmp-kImboK/public_inputs (mem: 254.27 MiB)
09:40:44 --proof_path: /tmp/7746ea94/bb/tmp-kImboK/proof (mem: 254.27 MiB)
09:40:44 --vk_path: /tmp/7746ea94/bb/tmp-kImboK/vk (mem: 254.27 MiB)
09:40:44 --verbose: true (mem: 254.27 MiB)
09:40:44 --scheme: ultra_honk (mem: 254.27 MiB)
09:40:44 --oracle_hash: poseidon2 (mem: 254.27 MiB)
09:40:44 --disable_zk: true (mem: 254.27 MiB)
09:40:44 [09:40:44.107]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.27 MiB)
09:40:44 [09:40:44.116]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.27 MiB)
09:40:44 Proof verification failed (mem: 254.27 MiB)
09:40:44 verified: 0 (mem: 254.27 MiB)
09:40:44 [09:40:44.118]
ERROR:
bb-prover Error running operation at /tmp/7746ea94/bb/tmp-kImboK: ProvingError: Failed to verify proof from key!
09:40:44 [09:40:44.120]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
09:40:44
PASS src/test/bb_prover_parity.test.ts (
133.071 s)
09:40:44 prover/bb_prover/parity
09:40:44
✓ proves the parity circuits (123448 ms)
09:40:44
09:40:44
Test Suites: 1 passed, 1 total
09:40:44
Tests: 1 passed, 1 total
09:40:44
Snapshots: 0 total
09:40:44
Time: 133.174 s
09:40:44
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
09:40:44
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?