ACI ·

Parent Log: http://ci.aztec-labs.com/9c34543c57689a06 Command: 1f25be2e8c7902e7: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/17ea18ade041a1bb437806e047c30b29da124094 Env: REF_NAME=gh-readonly-queue/next/pr-15007-4c695be4bff40a4a2ca2118c7e14c83a104e93aa CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Wed Jun 18 17:20:42 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15007_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_fba8bed7686af779_next 17:20:42 +++ id -u 17:20:42 +++ id -g 17:20:42 ++ 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'\''' 17:20:43 + cid=78d5939a47bac95ac4c1fe1e80a385c4798cec136a2f1ffdcd5417f30ddedd93 17:20:43 + set +x 17:20:45 {"level":25,"time":1750267245106,"pid":7,"hostname":"78d5939a47ba","module":"logger","msg":"Logger initialized with level verbose"} 17:20:54 [17:20:54.599] INFO: world-state:database Creating world state data store at directory /tmp/aztec-world-state-Zt2hUu/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads. 17:20:54 [17:20:54.679] 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/c535e785/bb 17:20:54 [17:20:54.682] 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/c535e785/acvm 17:20:54 [17:20:54.684] INFO: bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/c535e785/bb 17:20:54 [17:20:54.685] INFO: bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/c535e785/acvm 17:20:54 [17:20:54.689] INFO: prover-client:proving-broker Proving Broker started 17:20:54 [17:20:54.692] VERBOSE: prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade 17:20:54 [17:20:54.933] INFO: bb-prover Generated witness {"circuitName":"base-parity","duration":82.65346700000009,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"} 17:20:54 [17:20:54.960] INFO: bb-prover Generated witness {"circuitName":"base-parity","duration":108.16995300000053,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"} 17:20:54 [17:20:54.975] INFO: bb-prover Generated witness {"circuitName":"base-parity","duration":56.66491899999892,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"} 17:20:54 [17:20:54.981] INFO: bb-prover BaseParityArtifact BB out - BB concurrency: undefined 17:20:54 [17:20:54.981] 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/c535e785/bb/tmp-18N5Q3 -b /tmp/c535e785/bb/tmp-18N5Q3/BaseParityArtifact-bytecode -w /tmp/c535e785/bb/tmp-18N5Q3/partial-witness.gz -v --init_kzg_accumulator -v 17:20:55 [17:20:55.006] INFO: bb-prover BaseParityArtifact BB out - BB concurrency: undefined 17:20:55 [17:20:55.007] 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/c535e785/bb/tmp-mC2oMk -b /tmp/c535e785/bb/tmp-mC2oMk/BaseParityArtifact-bytecode -w /tmp/c535e785/bb/tmp-mC2oMk/partial-witness.gz -v --init_kzg_accumulator -v 17:20:55 [17:20:55.041] INFO: bb-prover BaseParityArtifact BB out - BB concurrency: undefined 17:20:55 [17:20:55.041] 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/c535e785/bb/tmp-7hoR6m -b /tmp/c535e785/bb/tmp-7hoR6m/BaseParityArtifact-bytecode -w /tmp/c535e785/bb/tmp-7hoR6m/partial-witness.gz -v --init_kzg_accumulator -v 17:20:55 [17:20:55.073] INFO: bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.35 MiB) 17:20:55 Scheme is: ultra_honk, num threads: 128 (mem: 253.35 MiB) 17:20:55 --scheme: ultra_honk (mem: 253.35 MiB) 17:20:55 --bytecode_path: /tmp/c535e785/bb/tmp-18N5Q3/BaseParityArtifact-bytecode (mem: 253.35 MiB) 17:20:55 --witness_path: /tmp/c535e785/bb/tmp-18N5Q3/partial-witness.gz (mem: 253.35 MiB) 17:20:55 --output_path: /tmp/c535e785/bb/tmp-18N5Q3 (mem: 253.35 MiB) 17:20:55 Warning: the following option is called more than once (mem: 253.35 MiB) 17:20:55 --verbose: true (mem: 253.35 MiB) 17:20:55 --oracle_hash: poseidon2 (mem: 253.35 MiB) 17:20:55 --output_format: bytes_and_fields (mem: 253.35 MiB) 17:20:55 --write_vk: true (mem: 253.35 MiB) 17:20:55 --disable_zk: true (mem: 253.35 MiB) 17:20:55 --init_kzg_accumulator: true (mem: 253.35 MiB) 17:20:55 [17:20:55.074] INFO: bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.35 MiB) 17:20:55 Scheme is: ultra_honk, num threads: 128 (mem: 253.35 MiB) 17:20:55 --scheme: ultra_honk (mem: 253.35 MiB) 17:20:55 --bytecode_path: /tmp/c535e785/bb/tmp-mC2oMk/BaseParityArtifact-bytecode (mem: 253.35 MiB) 17:20:55 --witness_path: /tmp/c535e785/bb/tmp-mC2oMk/partial-witness.gz (mem: 253.35 MiB) 17:20:55 --output_path: /tmp/c535e785/bb/tmp-mC2oMk (mem: 253.35 MiB) 17:20:55 Warning: the following option is called more than once (mem: 253.35 MiB) 17:20:55 --verbose: true (mem: 253.35 MiB) 17:20:55 --oracle_hash: poseidon2 (mem: 253.35 MiB) 17:20:55 --output_format: bytes_and_fields (mem: 253.35 MiB) 17:20:55 --write_vk: true (mem: 253.35 MiB) 17:20:55 --disable_zk: true (mem: 253.35 MiB) 17:20:55 --init_kzg_accumulator: true (mem: 253.35 MiB) 17:20:55 [17:20:55.083] INFO: bb-prover Generated witness {"circuitName":"base-parity","duration":114.43506199999865,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"} 17:20:55 [17:20:55.084] INFO: bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.11 MiB) 17:20:55 Scheme is: ultra_honk, num threads: 128 (mem: 252.11 MiB) 17:20:55 --scheme: ultra_honk (mem: 252.11 MiB) 17:20:55 --bytecode_path: /tmp/c535e785/bb/tmp-7hoR6m/BaseParityArtifact-bytecode (mem: 252.11 MiB) 17:20:55 --witness_path: /tmp/c535e785/bb/tmp-7hoR6m/partial-witness.gz (mem: 252.11 MiB) 17:20:55 --output_path: /tmp/c535e785/bb/tmp-7hoR6m (mem: 252.11 MiB) 17:20:55 Warning: the following option is called more than once (mem: 252.11 MiB) 17:20:55 --verbose: true (mem: 252.11 MiB) 17:20:55 --oracle_hash: poseidon2 (mem: 252.11 MiB) 17:20:55 --output_format: bytes_and_fields (mem: 252.11 MiB) 17:20:55 --write_vk: true (mem: 252.11 MiB) 17:20:55 --disable_zk: true (mem: 252.11 MiB) 17:20:55 --init_kzg_accumulator: true (mem: 252.11 MiB) 17:20:55 [17:20:55.086] INFO: bb-prover BaseParityArtifact BB out - BB concurrency: undefined 17:20:55 [17:20:55.086] 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/c535e785/bb/tmp-LwFQrY -b /tmp/c535e785/bb/tmp-LwFQrY/BaseParityArtifact-bytecode -w /tmp/c535e785/bb/tmp-LwFQrY/partial-witness.gz -v --init_kzg_accumulator -v 17:20:55 [17:20:55.128] INFO: bb-prover BaseParityArtifact BB out - bb command: prove 17:20:55 [17:20:55.129] INFO: bb-prover BaseParityArtifact BB out - (mem: 17:20:55 [17:20:55.129] INFO: bb-prover BaseParityArtifact BB out - 253.26 17:20:55 [17:20:55.129] INFO: bb-prover BaseParityArtifact BB out - MiB) 17:20:55 [17:20:55.130] INFO: bb-prover BaseParityArtifact BB out - 17:20:55 Scheme is: ultra_honk, num threads: 128 (mem: 253.26 MiB) 17:20:55 --scheme: ultra_honk (mem: 253.26 MiB) 17:20:55 --bytecode_path: /tmp/c535e785/bb/tmp-LwFQrY/BaseParityArtifact-bytecode (mem: 253.26 MiB) 17:20:55 --witness_path: /tmp/c535e785/bb/tmp-LwFQrY/partial-witness.gz (mem: 253.26 MiB) 17:20:55 --output_path: /tmp/c535e785/bb/tmp-LwFQrY (mem: 253.26 MiB) 17:20:55 Warning: the following option is called more than once (mem: 253.26 MiB) 17:20:55 --verbose: true (mem: 253.26 MiB) 17:20:55 --oracle_hash: poseidon2 (mem: 253.26 MiB) 17:20:55 --output_format: bytes_and_fields (mem: 253.26 MiB) 17:20:55 --write_vk: true (mem: 253.26 MiB) 17:20:55 --disable_zk: true (mem: 253.26 MiB) 17:20:55 --init_kzg_accumulator: true (mem: 253.26 MiB) 17:20:55 [17:20:55.180] INFO: bb-prover BaseParityArtifact BB out - created circuit (mem: 253.35 MiB) 17:20:55 Constructing DeciderProvingKey (mem: 253.35 MiB) 17:20:55 allocating polynomials object in proving key... (mem: 253.35 MiB) 17:20:55 [17:20:55.255] INFO: bb-prover BaseParityArtifact BB out - created circuit (mem: 253.35 MiB) 17:20:55 [17:20:55.257] INFO: bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 253.35 MiB) 17:20:55 [17:20:55.261] INFO: bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.35 MiB) 17:20:55 [17:20:55.268] INFO: bb-prover BaseParityArtifact BB out - created circuit (mem: 252.11 MiB) 17:20:55 Constructing DeciderProvingKey (mem: 252.11 MiB) 17:20:55 [17:20:55.279] INFO: bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.11 MiB) 17:20:55 [17:20:55.313] INFO: bb-prover BaseParityArtifact BB out - created circuit 17:20:55 [17:20:55.314] INFO: bb-prover BaseParityArtifact BB out - (mem: 253.26 MiB) 17:20:55 Constructing DeciderProvingKey (mem: 253.26 MiB) 17:20:55 [17:20:55.322] INFO: bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.26 MiB) 17:20:55 [17:20:55.466] INFO: bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.35 MiB) 17:20:55 [17:20:55.502] INFO: bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.35 MiB) 17:20:55 [17:20:55.539] INFO: bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.11 MiB) 17:20:55 [17:20:55.612] INFO: bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.26 MiB) 17:20:55 [17:20:55.621] INFO: bb-prover BaseParityArtifact BB out - time to construct proving key: 364 ms. (mem: 253.35 MiB) 17:20:55 [17:20:55.628] INFO: bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. 17:20:55 [17:20:55.629] INFO: bb-prover BaseParityArtifact BB out - (mem: 253.35 MiB) 17:20:55 [17:20:55.636] INFO: bb-prover BaseParityArtifact BB out - time to construct proving key: 458 ms. (mem: 253.35 MiB) 17:20:55 [17:20:55.647] INFO: bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.35 MiB) 17:20:55 [17:20:55.651] INFO: bb-prover BaseParityArtifact BB out - time to construct proving key: 382 ms. (mem: 252.11 MiB) 17:20:55 [17:20:55.661] INFO: bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.35 MiB) 17:20:55 [17:20:55.665] INFO: bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.35 MiB) 17:20:55 [17:20:55.667] INFO: bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.11 MiB) 17:20:55 [17:20:55.686] INFO: bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.11 MiB) 17:20:55 [17:20:55.699] INFO: bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.35 MiB) 17:20:55 [17:20:55.708] INFO: bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.35 MiB) 17:20:55 [17:20:55.709] INFO: bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.11 MiB) 17:20:55 [17:20:55.712] INFO: bb-prover BaseParityArtifact BB out - time to construct proving key: 395 ms. (mem: 253.26 MiB) 17:20:55 [17:20:55.717] INFO: bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.26 MiB) 17:20:55 [17:20:55.725] INFO: bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.26 MiB) 17:20:55 [17:20:55.758] INFO: bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 255.59 MiB) 17:20:56 [17:20:56.578] INFO: bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.11 MiB) 17:20:56 [17:20:56.738] INFO: bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.35 MiB) 17:20:56 [17:20:56.741] INFO: bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.59 MiB) 17:20:56 [17:20:56.780] INFO: bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.35 MiB) 17:20:57 [17:20:57.203] INFO: bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.11 MiB) 17:20:57 [17:20:57.290] INFO: bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.35 MiB) 17:20:57 [17:20:57.293] INFO: bb-prover BaseParityArtifact BB out - created oink proof (mem: 255.59 MiB) 17:20:57 [17:20:57.305] INFO: bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.35 MiB) 17:20:57 [17:20:57.430] INFO: bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 262.71 MiB) 17:20:57 [17:20:57.445] INFO: bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 259.12 MiB) 17:20:57 [17:20:57.483] INFO: bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 262.74 MiB) 17:20:57 [17:20:57.593] INFO: bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.35 MiB) 17:20:57 [17:20:57.678] INFO: bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 263.71 MiB) 17:20:57 [17:20:57.685] INFO: bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 259.12 MiB) 17:20:57 [17:20:57.740] INFO: bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 262.74 MiB) 17:20:57 [17:20:57.759] INFO: bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.35 MiB) 17:20:58 [17:20:58.726] INFO: bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 263.71 MiB) 17:20:58 [17:20:58.803] INFO: bb-prover BaseParityArtifact BB out - computed opening proof (mem: 263.71 MiB) 17:20:58 [17:20:58.808] INFO: bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 263.71 MiB) 17:20:58 [17:20:58.815] INFO: bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/c535e785/bb/tmp-LwFQrY/public_inputs" (mem: 263.71 MiB) 17:20:58 Public inputs fields saved to "/tmp/c535e785/bb/tmp-LwFQrY/public_inputs_fields.json" (mem: 263.71 MiB) 17:20:58 Proof saved to "/tmp/c535e785/bb/tmp-LwFQrY/proof" (mem: 263.71 MiB) 17:20:58 [17:20:58.816] INFO: bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/c535e785/bb/tmp-LwFQrY/proof_fields.json" (mem: 263.71 MiB) 17:20:58 VK saved to "/tmp/c535e785/bb/tmp-LwFQrY/vk" (mem: 263.71 MiB) 17:20:58 VK fields saved to "/tmp/c535e785/bb/tmp-LwFQrY/vk_fields.json" (mem: 263.71 MiB) 17:20:58 [17:20:58.863] INFO: bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 262.74 MiB) 17:20:58 [17:20:58.922] INFO: bb-prover BaseParityArtifact BB out - computed opening proof (mem: 262.74 MiB) 17:20:58 finished decider proving. (mem: 262.74 MiB) 17:20:58 Public inputs saved to "/tmp/c535e785/bb/tmp-mC2oMk/public_inputs" (mem: 262.74 MiB) 17:20:58 Public inputs fields saved to "/tmp/c535e785/bb/tmp-mC2oMk/public_inputs_fields.json" (mem: 262.74 MiB) 17:20:58 Proof saved to "/tmp/c535e785/bb/tmp-mC2oMk/proof" (mem: 262.74 MiB) 17:20:58 Proof fields saved to "/tmp/c535e785/bb/tmp-mC2oMk/proof_fields.json" (mem: 262.74 MiB) 17:20:58 VK saved to "/tmp/c535e785/bb/tmp-mC2oMk/vk" (mem: 262.74 MiB) 17:20:58 VK fields saved to "/tmp/c535e785/bb/tmp-mC2oMk/vk_fields.json" (mem: 262.74 MiB) 17:20:58 [17:20:58.927] INFO: bb-prover Generated proof for BaseParityArtifact in 3836 ms, size: 456 fields {"circuitName":"base-parity","circuitSize":65536,"duration":3835.1612910000003,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 17:20:58 [17:20:58.928] INFO: bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.35 MiB) 17:20:58 [17:20:58.972] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:20:58 [17:20:58.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/c535e785/bb/tmp-uNhxYM/proof -k /tmp/c535e785/bb/tmp-uNhxYM/vk -i /tmp/c535e785/bb/tmp-uNhxYM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:20:59 [17:20:58.999] INFO: bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 259.12 MiB) 17:20:59 [17:20:59.000] INFO: bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.35 MiB) 17:20:59 finished decider proving. (mem: 253.35 MiB) 17:20:59 Public inputs saved to "/tmp/c535e785/bb/tmp-18N5Q3/public_inputs" (mem: 253.35 MiB) 17:20:59 Public inputs fields saved to "/tmp/c535e785/bb/tmp-18N5Q3/public_inputs_fields.json" (mem: 253.35 MiB) 17:20:59 Proof saved to "/tmp/c535e785/bb/tmp-18N5Q3/proof" (mem: 253.35 MiB) 17:20:59 Proof fields saved to "/tmp/c535e785/bb/tmp-18N5Q3/proof_fields.json" (mem: 253.35 MiB) 17:20:59 VK saved to "/tmp/c535e785/bb/tmp-18N5Q3/vk" (mem: 253.35 MiB) 17:20:59 [17:20:59.001] INFO: bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/c535e785/bb/tmp-18N5Q3/vk_fields.json" (mem: 253.35 MiB) 17:20:59 [17:20:59.007] INFO: bb-prover Generated proof for BaseParityArtifact in 3996 ms, size: 456 fields {"circuitName":"base-parity","circuitSize":65536,"duration":3995.1849619999994,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 17:20:59 [17:20:59.007] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.39 MiB) 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.39 MiB) 17:20:59 --public_inputs_path: /tmp/c535e785/bb/tmp-uNhxYM/public_inputs (mem: 253.39 MiB) 17:20:59 --proof_path: /tmp/c535e785/bb/tmp-uNhxYM/proof (mem: 253.39 MiB) 17:20:59 --vk_path: /tmp/c535e785/bb/tmp-uNhxYM/vk (mem: 253.39 MiB) 17:20:59 --verbose: true (mem: 253.39 MiB) 17:20:59 --scheme: ultra_honk (mem: 253.39 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 253.39 MiB) 17:20:59 --disable_zk: true (mem: 253.39 MiB) 17:20:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.39 MiB) 17:20:59 [17:20:59.010] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:20:59 [17:20:59.010] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-KNbdFn/proof -k /tmp/c535e785/bb/tmp-KNbdFn/vk -i /tmp/c535e785/bb/tmp-KNbdFn/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:20:59 [17:20:59.049] 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.39 MiB) 17:20:59 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.39 MiB) 17:20:59 sumcheck_verified: 1 (mem: 253.39 MiB) 17:20:59 libra_evals_verified: 1 (mem: 253.39 MiB) 17:20:59 pairing_check_verified: 1 (mem: 253.39 MiB) 17:20:59 Proof verified successfully (mem: 253.39 MiB) 17:20:59 verified: 1 (mem: 253.39 MiB) 17:20:59 [17:20:59.050] INFO: bb-prover BaseParityArtifact BB out - computed opening proof (mem: 259.12 MiB) 17:20:59 finished decider proving. (mem: 259.12 MiB) 17:20:59 [17:20:59.051] INFO: bb-prover Successfully verified proof from key in 78.65707300000031 ms 17:20:59 [17:20:59.057] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.41 MiB) 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.41 MiB) 17:20:59 --public_inputs_path: /tmp/c535e785/bb/tmp-KNbdFn/public_inputs (mem: 253.41 MiB) 17:20:59 --proof_path: /tmp/c535e785/bb/tmp-KNbdFn/proof (mem: 253.41 MiB) 17:20:59 --vk_path: /tmp/c535e785/bb/tmp-KNbdFn/vk (mem: 253.41 MiB) 17:20:59 --verbose: true (mem: 253.41 MiB) 17:20:59 --scheme: ultra_honk (mem: 253.41 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 253.41 MiB) 17:20:59 --disable_zk: true (mem: 253.41 MiB) 17:20:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.41 MiB) 17:20:59 [17:20:59.063] INFO: bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/c535e785/bb/tmp-7hoR6m/public_inputs" (mem: 259.12 MiB) 17:20:59 Public inputs fields saved to "/tmp/c535e785/bb/tmp-7hoR6m/public_inputs_fields.json" (mem: 259.12 MiB) 17:20:59 Proof saved to "/tmp/c535e785/bb/tmp-7hoR6m/proof" (mem: 259.12 MiB) 17:20:59 Proof fields saved to "/tmp/c535e785/bb/tmp-7hoR6m/proof_fields.json" (mem: 259.12 MiB) 17:20:59 VK saved to "/tmp/c535e785/bb/tmp-7hoR6m/vk" (mem: 259.12 MiB) 17:20:59 VK fields saved to "/tmp/c535e785/bb/tmp-7hoR6m/vk_fields.json" (mem: 259.12 MiB) 17:20:59 [17:20:59.065] INFO: bb-prover Generated proof for BaseParityArtifact in 4083 ms, size: 456 fields {"circuitName":"base-parity","circuitSize":65536,"duration":4082.0034809999997,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 17:20:59 [17:20:59.071] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:20:59 [17:20:59.071] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-iSMPIF/proof -k /tmp/c535e785/bb/tmp-iSMPIF/vk -i /tmp/c535e785/bb/tmp-iSMPIF/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:20:59 [17:20:59.101] 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.41 MiB) 17:20:59 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.41 MiB) 17:20:59 sumcheck_verified: 1 (mem: 253.41 MiB) 17:20:59 libra_evals_verified: 1 (mem: 253.41 MiB) 17:20:59 pairing_check_verified: 1 (mem: 253.41 MiB) 17:20:59 Proof verified successfully (mem: 253.41 MiB) 17:20:59 verified: 1 (mem: 253.41 MiB) 17:20:59 [17:20:59.103] INFO: bb-prover Successfully verified proof from key in 92.68786999999975 ms 17:20:59 [17:20:59.108] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.42 MiB) 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.42 MiB) 17:20:59 --public_inputs_path: /tmp/c535e785/bb/tmp-iSMPIF/public_inputs (mem: 253.42 MiB) 17:20:59 --proof_path: /tmp/c535e785/bb/tmp-iSMPIF/proof (mem: 253.42 MiB) 17:20:59 --vk_path: /tmp/c535e785/bb/tmp-iSMPIF/vk (mem: 253.42 MiB) 17:20:59 --verbose: true (mem: 253.42 MiB) 17:20:59 --scheme: ultra_honk (mem: 253.42 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 253.42 MiB) 17:20:59 --disable_zk: true (mem: 253.42 MiB) 17:20:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.42 MiB) 17:20:59 [17:20:59.110] INFO: bb-prover Generated proof for BaseParityArtifact in 4062 ms, size: 456 fields {"circuitName":"base-parity","circuitSize":65536,"duration":4061.779525,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 17:20:59 [17:20:59.120] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:20:59 [17:20:59.120] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-W1g97G/proof -k /tmp/c535e785/bb/tmp-W1g97G/vk -i /tmp/c535e785/bb/tmp-W1g97G/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:20:59 [17:20:59.155] 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.42 MiB) 17:20:59 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.42 MiB) 17:20:59 sumcheck_verified: 1 (mem: 253.42 MiB) 17:20:59 libra_evals_verified: 1 (mem: 253.42 MiB) 17:20:59 pairing_check_verified: 1 (mem: 253.42 MiB) 17:20:59 Proof verified successfully (mem: 253.42 MiB) 17:20:59 verified: 1 (mem: 253.42 MiB) 17:20:59 [17:20:59.156] INFO: bb-prover Successfully verified proof from key in 85.60405999999966 ms 17:20:59 [17:20:59.159] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify 17:20:59 [17:20:59.160] VERBOSE: bb-prover bb-prover (verify) BB out - (mem: 17:20:59 [17:20:59.160] VERBOSE: bb-prover bb-prover (verify) BB out - 253.54 17:20:59 [17:20:59.160] VERBOSE: bb-prover bb-prover (verify) BB out - MiB) 17:20:59 [17:20:59.161] VERBOSE: bb-prover bb-prover (verify) BB out - 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.54 MiB) 17:20:59 --public_inputs_path: /tmp/c535e785/bb/tmp-W1g97G/public_inputs (mem: 253.54 MiB) 17:20:59 --proof_path: /tmp/c535e785/bb/tmp-W1g97G/proof (mem: 253.54 MiB) 17:20:59 --vk_path: /tmp/c535e785/bb/tmp-W1g97G/vk (mem: 253.54 MiB) 17:20:59 --verbose: true (mem: 253.54 MiB) 17:20:59 --scheme: ultra_honk (mem: 253.54 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 253.54 MiB) 17:20:59 --disable_zk: true (mem: 253.54 MiB) 17:20:59 [17:20:59.162] VERBOSE: bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 17:20:59 [17:20:59.162] VERBOSE: bb-prover bb-prover (verify) BB out - (mem: 17:20:59 [17:20:59.165] VERBOSE: bb-prover bb-prover (verify) BB out - 253.54 MiB) 17:20:59 [17:20:59.183] 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" 17:20:59 [17:20:59.183] VERBOSE: bb-prover bb-prover (verify) BB out - (mem: 17:20:59 [17:20:59.184] VERBOSE: bb-prover bb-prover (verify) BB out - 253.54 17:20:59 [17:20:59.184] VERBOSE: bb-prover bb-prover (verify) BB out - MiB) 17:20:59 [17:20:59.184] VERBOSE: bb-prover bb-prover (verify) BB out - 17:20:59 [17:20:59.185] VERBOSE: bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 17:20:59 [17:20:59.186] VERBOSE: bb-prover bb-prover (verify) BB out - (mem: 253.54 MiB) 17:20:59 [17:20:59.188] VERBOSE: bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.54 MiB) 17:20:59 libra_evals_verified: 1 (mem: 253.54 MiB) 17:20:59 pairing_check_verified: 1 (mem: 253.54 MiB) 17:20:59 Proof verified successfully (mem: 253.54 MiB) 17:20:59 verified: 1 (mem: 253.54 MiB) 17:20:59 [17:20:59.189] INFO: bb-prover Successfully verified proof from key in 69.33785299999909 ms 17:20:59 [17:20:59.206] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:20:59 [17:20:59.207] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-PbIAwe/proof -k /tmp/c535e785/bb/tmp-PbIAwe/vk -i /tmp/c535e785/bb/tmp-PbIAwe/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:20:59 [17:20:59.237] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:20:59 [17:20:59.237] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-gVFlio/proof -k /tmp/c535e785/bb/tmp-gVFlio/vk -i /tmp/c535e785/bb/tmp-gVFlio/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:20:59 [17:20:59.266] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:20:59 [17:20:59.267] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-lccLjR/proof -k /tmp/c535e785/bb/tmp-lccLjR/vk -i /tmp/c535e785/bb/tmp-lccLjR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:20:59 [17:20:59.299] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:20:59 [17:20:59.300] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-1ZKIA5/proof -k /tmp/c535e785/bb/tmp-1ZKIA5/vk -i /tmp/c535e785/bb/tmp-1ZKIA5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:20:59 [17:20:59.331] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.24 MiB) 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.24 MiB) 17:20:59 --public_inputs_path: /tmp/c535e785/bb/tmp-PbIAwe/public_inputs (mem: 253.24 MiB) 17:20:59 --proof_path: /tmp/c535e785/bb/tmp-PbIAwe/proof (mem: 253.24 MiB) 17:20:59 --vk_path: /tmp/c535e785/bb/tmp-PbIAwe/vk (mem: 253.24 MiB) 17:20:59 --verbose: true (mem: 253.24 MiB) 17:20:59 --scheme: ultra_honk (mem: 253.24 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 253.24 MiB) 17:20:59 --disable_zk: true (mem: 253.24 MiB) 17:20:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.24 MiB) 17:20:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.24 MiB) 17:20:59 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.24 MiB) 17:20:59 sumcheck_verified: 1 (mem: 253.24 MiB) 17:20:59 libra_evals_verified: 1 (mem: 253.24 MiB) 17:20:59 pairing_check_verified: 1 (mem: 253.24 MiB) 17:20:59 Proof verified successfully (mem: 253.24 MiB) 17:20:59 verified: 1 (mem: 253.24 MiB) 17:20:59 [17:20:59.333] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.57 MiB) 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.57 MiB) 17:20:59 --public_inputs_path: /tmp/c535e785/bb/tmp-gVFlio/public_inputs (mem: 253.57 MiB) 17:20:59 --proof_path: /tmp/c535e785/bb/tmp-gVFlio/proof (mem: 253.57 MiB) 17:20:59 --vk_path: /tmp/c535e785/bb/tmp-gVFlio/vk (mem: 253.57 MiB) 17:20:59 --verbose: true (mem: 253.57 MiB) 17:20:59 --scheme: ultra_honk (mem: 253.57 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 253.57 MiB) 17:20:59 --disable_zk: true (mem: 253.57 MiB) 17:20:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.57 MiB) 17:20:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.57 MiB) 17:20:59 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.57 MiB) 17:20:59 sumcheck_verified: 1 (mem: 253.57 MiB) 17:20:59 libra_evals_verified: 1 (mem: 253.57 MiB) 17:20:59 pairing_check_verified: 1 (mem: 253.57 MiB) 17:20:59 Proof verified successfully (mem: 253.57 MiB) 17:20:59 verified: 1 (mem: 253.57 MiB) 17:20:59 [17:20:59.334] INFO: bb-prover Successfully verified proof from key in 97.53195899999992 ms 17:20:59 [17:20:59.337] INFO: bb-prover Successfully verified proof from key in 130.4339199999995 ms 17:20:59 [17:20:59.337] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.57 MiB) 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.57 MiB) 17:20:59 --public_inputs_path: /tmp/c535e785/bb/tmp-lccLjR/public_inputs (mem: 253.57 MiB) 17:20:59 --proof_path: /tmp/c535e785/bb/tmp-lccLjR/proof (mem: 253.57 MiB) 17:20:59 --vk_path: /tmp/c535e785/bb/tmp-lccLjR/vk (mem: 253.57 MiB) 17:20:59 --verbose: true (mem: 253.57 MiB) 17:20:59 --scheme: ultra_honk (mem: 253.57 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 253.57 MiB) 17:20:59 --disable_zk: true (mem: 253.57 MiB) 17:20:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.57 MiB) 17:20:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.57 MiB) 17:20:59 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.57 MiB) 17:20:59 sumcheck_verified: 1 (mem: 253.57 MiB) 17:20:59 libra_evals_verified: 1 (mem: 253.57 MiB) 17:20:59 pairing_check_verified: 1 (mem: 253.57 MiB) 17:20:59 Proof verified successfully (mem: 253.57 MiB) 17:20:59 verified: 1 (mem: 253.57 MiB) 17:20:59 [17:20:59.338] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.57 MiB) 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.57 MiB) 17:20:59 --public_inputs_path: /tmp/c535e785/bb/tmp-1ZKIA5/public_inputs (mem: 253.57 MiB) 17:20:59 --proof_path: /tmp/c535e785/bb/tmp-1ZKIA5/proof (mem: 253.57 MiB) 17:20:59 --vk_path: /tmp/c535e785/bb/tmp-1ZKIA5/vk (mem: 253.57 MiB) 17:20:59 --verbose: true (mem: 253.57 MiB) 17:20:59 --scheme: ultra_honk (mem: 253.57 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 253.57 MiB) 17:20:59 --disable_zk: true (mem: 253.57 MiB) 17:20:59 [17:20:59.339] INFO: bb-prover Successfully verified proof from key in 72.92545400000017 ms 17:20:59 [17:20:59.339] VERBOSE: bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.57 MiB) 17:20:59 [17:20:59.357] 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.57 MiB) 17:20:59 [17:20:59.360] VERBOSE: bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.57 MiB) 17:20:59 sumcheck_verified: 1 (mem: 253.57 MiB) 17:20:59 libra_evals_verified: 1 (mem: 253.57 MiB) 17:20:59 pairing_check_verified: 1 (mem: 253.57 MiB) 17:20:59 Proof verified successfully (mem: 253.57 MiB) 17:20:59 verified: 1 (mem: 253.57 MiB) 17:20:59 [17:20:59.362] INFO: bb-prover Successfully verified proof from key in 62.67314299999998 ms 17:20:59 [17:20:59.575] INFO: bb-prover Generated witness {"circuitName":"root-parity","duration":82.84320800000023,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"} 17:20:59 [17:20:59.579] INFO: bb-prover RootParityArtifact BB out - BB concurrency: undefined 17:20:59 [17:20:59.580] 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/c535e785/bb/tmp-lCBFbx -b /tmp/c535e785/bb/tmp-lCBFbx/RootParityArtifact-bytecode -w /tmp/c535e785/bb/tmp-lCBFbx/partial-witness.gz -v --init_kzg_accumulator -v 17:20:59 [17:20:59.618] INFO: bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.62 MiB) 17:20:59 Scheme is: ultra_honk, num threads: 128 (mem: 255.62 MiB) 17:20:59 --scheme: ultra_honk (mem: 255.62 MiB) 17:20:59 --bytecode_path: /tmp/c535e785/bb/tmp-lCBFbx/RootParityArtifact-bytecode (mem: 255.62 MiB) 17:20:59 --witness_path: /tmp/c535e785/bb/tmp-lCBFbx/partial-witness.gz (mem: 255.62 MiB) 17:20:59 --output_path: /tmp/c535e785/bb/tmp-lCBFbx (mem: 255.62 MiB) 17:20:59 Warning: the following option is called more than once (mem: 255.62 MiB) 17:20:59 --verbose: true (mem: 255.62 MiB) 17:20:59 --oracle_hash: poseidon2 (mem: 255.62 MiB) 17:20:59 --output_format: bytes_and_fields (mem: 255.62 MiB) 17:20:59 --write_vk: true (mem: 255.62 MiB) 17:20:59 --disable_zk: true (mem: 255.62 MiB) 17:20:59 --init_kzg_accumulator: true (mem: 255.62 MiB) 17:20:59 [17:20:59.819] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.62 MiB) 17:21:01 [17:21:01.901] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.30 MiB) 17:21:04 [17:21:04.482] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 783.86 MiB) 17:21:06 [17:21:06.798] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1050.57 MiB) 17:21:09 [17:21:09.410] INFO: bb-prover RootParityArtifact BB out - created circuit (mem: 1425.31 MiB) 17:21:09 [17:21:09.412] INFO: bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1425.31 MiB) 17:21:10 [17:21:10.834] INFO: bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1876.91 MiB) 17:21:11 [17:21:11.192] INFO: bb-prover RootParityArtifact BB out - populating trace... (mem: 5521.91 MiB) 17:21:13 [17:21:13.195] INFO: bb-prover RootParityArtifact BB out - time to construct proving key: 3784 ms. (mem: 6074.91 MiB) 17:21:13 [17:21:13.353] INFO: bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6074.91 MiB) 17:21:13 [17:21:13.634] INFO: bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6563.74 MiB) 17:21:14 [17:21:14.976] INFO: bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7332.06 MiB) 17:21:23 [17:21:23.384] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7332.06 MiB) 17:21:28 [17:21:28.408] INFO: bb-prover RootParityArtifact BB out - created oink proof (mem: 7332.06 MiB) 17:21:30 [17:21:30.559] INFO: bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8960.18 MiB) 17:21:33 [17:21:32.999] INFO: bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8960.18 MiB) 17:21:39 [17:21:39.375] INFO: bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8960.18 MiB) 17:21:40 [17:21:40.747] INFO: bb-prover RootParityArtifact BB out - computed opening proof (mem: 8960.18 MiB) 17:21:40 [17:21:40.775] INFO: bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8960.18 MiB) 17:21:41 [17:21:41.639] INFO: bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c535e785/bb/tmp-lCBFbx/public_inputs" (mem: 8960.18 MiB) 17:21:41 [17:21:41.640] INFO: bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/c535e785/bb/tmp-lCBFbx/public_inputs_fields.json" (mem: 8960.18 MiB) 17:21:41 Proof saved to "/tmp/c535e785/bb/tmp-lCBFbx/proof" (mem: 8960.18 MiB) 17:21:41 Proof fields saved to "/tmp/c535e785/bb/tmp-lCBFbx/proof_fields.json" (mem: 8960.18 MiB) 17:21:41 VK saved to "/tmp/c535e785/bb/tmp-lCBFbx/vk" (mem: 8960.18 MiB) 17:21:41 [17:21:41.640] INFO: bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/c535e785/bb/tmp-lCBFbx/vk_fields.json" (mem: 8960.18 MiB) 17:21:41 [17:21:41.879] INFO: bb-prover Generated proof for RootParityArtifact in 42298 ms, size: 456 fields {"circuitName":"root-parity","circuitSize":4194304,"duration":42297.145848,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 17:21:41 [17:21:41.882] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:21:41 [17:21:41.883] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-lIruTP/proof -k /tmp/c535e785/bb/tmp-lIruTP/vk -i /tmp/c535e785/bb/tmp-lIruTP/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:21:41 [17:21:41.910] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.63 MiB) 17:21:41 [17:21:41.911] VERBOSE: bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.63 MiB) 17:21:41 --public_inputs_path: /tmp/c535e785/bb/tmp-lIruTP/public_inputs (mem: 255.63 MiB) 17:21:41 --proof_path: /tmp/c535e785/bb/tmp-lIruTP/proof (mem: 255.63 MiB) 17:21:41 --vk_path: /tmp/c535e785/bb/tmp-lIruTP/vk (mem: 255.63 MiB) 17:21:41 --verbose: true (mem: 255.63 MiB) 17:21:41 --scheme: ultra_honk (mem: 255.63 MiB) 17:21:41 --oracle_hash: poseidon2 (mem: 255.63 MiB) 17:21:41 --disable_zk: true (mem: 255.63 MiB) 17:21:41 [17:21:41.911] VERBOSE: bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.63 MiB) 17:21:41 [17:21:41.924] 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: 255.63 MiB) 17:21:41 [17:21:41.925] VERBOSE: bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.63 MiB) 17:21:41 [17:21:41.925] VERBOSE: bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.63 MiB) 17:21:41 libra_evals_verified: 1 (mem: 255.63 MiB) 17:21:41 pairing_check_verified: 1 (mem: 255.63 MiB) 17:21:41 Proof verified successfully (mem: 17:21:41 [17:21:41.926] VERBOSE: bb-prover bb-prover (verify) BB out - 255.63 MiB) 17:21:41 verified: 1 (mem: 255.63 MiB) 17:21:41 [17:21:41.928] INFO: bb-prover Successfully verified proof from key in 45.392195000000356 ms 17:21:41 [17:21:41.937] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:21:41 [17:21:41.938] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-xhF5fK/proof -k /tmp/c535e785/bb/tmp-xhF5fK/vk -i /tmp/c535e785/bb/tmp-xhF5fK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:21:41 [17:21:41.962] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.63 MiB) 17:21:41 Scheme is: ultra_honk, num threads: 128 (mem: 255.63 MiB) 17:21:41 --public_inputs_path: /tmp/c535e785/bb/tmp-xhF5fK/public_inputs (mem: 255.63 MiB) 17:21:41 --proof_path: /tmp/c535e785/bb/tmp-xhF5fK/proof (mem: 255.63 MiB) 17:21:41 --vk_path: /tmp/c535e785/bb/tmp-xhF5fK/vk (mem: 255.63 MiB) 17:21:41 --verbose: true (mem: 255.63 MiB) 17:21:41 --scheme: ultra_honk (mem: 255.63 MiB) 17:21:41 --oracle_hash: poseidon2 (mem: 255.63 MiB) 17:21:41 --disable_zk: true (mem: 255.63 MiB) 17:21:41 [17:21:41.965] VERBOSE: bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.63 MiB) 17:21:41 [17:21:41.980] 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: 255.63 MiB) 17:21:41 [17:21:41.981] VERBOSE: bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.63 MiB) 17:21:41 [17:21:41.982] VERBOSE: bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.63 MiB) 17:21:41 libra_evals_verified: 1 (mem: 255.63 MiB) 17:21:41 pairing_check_verified: 1 (mem: 255.63 MiB) 17:21:41 Proof verified successfully (mem: 255.63 MiB) 17:21:41 [17:21:41.982] VERBOSE: bb-prover bb-prover (verify) BB out - verified: 1 (mem: 255.63 MiB) 17:21:41 [17:21:41.985] INFO: bb-prover Successfully verified proof from key in 47.48717300000135 ms 17:21:42 [17:21:42.076] ERROR: simulator:acvm-native From ACVM: Failed assertion 17:21:42 17:21:42 [17:21:42.077] ERROR: bb-prover Error running operation at /tmp/c535e785/bb/tmp-3d7zrK: Error: Failed to generate witness: Failed assertion 17:21:42 17:21:42 [17:21:42.271] INFO: bb-prover Generated witness {"circuitName":"root-parity","duration":79.59335999999894,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"} 17:21:42 [17:21:42.273] INFO: bb-prover RootParityArtifact BB out - BB concurrency: undefined 17:21:42 [17:21:42.273] 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/c535e785/bb/tmp-uHWy83 -b /tmp/c535e785/bb/tmp-uHWy83/RootParityArtifact-bytecode -w /tmp/c535e785/bb/tmp-uHWy83/partial-witness.gz -v --init_kzg_accumulator -v 17:21:42 [17:21:42.300] INFO: bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.06 MiB) 17:21:42 Scheme is: ultra_honk, num threads: 128 (mem: 256.06 MiB) 17:21:42 --scheme: ultra_honk (mem: 256.06 MiB) 17:21:42 --bytecode_path: /tmp/c535e785/bb/tmp-uHWy83/RootParityArtifact-bytecode (mem: 256.06 MiB) 17:21:42 --witness_path: /tmp/c535e785/bb/tmp-uHWy83/partial-witness.gz (mem: 256.06 MiB) 17:21:42 --output_path: /tmp/c535e785/bb/tmp-uHWy83 (mem: 256.06 MiB) 17:21:42 Warning: the following option is called more than once (mem: 256.06 MiB) 17:21:42 --verbose: true (mem: 256.06 MiB) 17:21:42 --oracle_hash: poseidon2 (mem: 256.06 MiB) 17:21:42 --output_format: bytes_and_fields (mem: 256.06 MiB) 17:21:42 --write_vk: true (mem: 256.06 MiB) 17:21:42 --disable_zk: true (mem: 256.06 MiB) 17:21:42 --init_kzg_accumulator: true (mem: 256.06 MiB) 17:21:42 [17:21:42.504] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.06 MiB) 17:21:42 [17:21:42.522] INFO: bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.06 MiB) 17:21:44 [17:21:44.741] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 413.12 MiB) 17:21:47 [17:21:47.289] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 780.45 MiB) 17:21:49 [17:21:49.631] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1042.96 MiB) 17:21:52 [17:21:52.214] INFO: bb-prover RootParityArtifact BB out - created circuit (mem: 1417.20 MiB) 17:21:52 [17:21:52.215] INFO: bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1417.20 MiB) 17:21:53 [17:21:53.663] INFO: bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1866.80 MiB) 17:21:54 [17:21:54.055] INFO: bb-prover RootParityArtifact BB out - populating trace... (mem: 5521.80 MiB) 17:21:55 [17:21:55.837] INFO: bb-prover RootParityArtifact BB out - time to construct proving key: 3621 ms. (mem: 6071.80 MiB) 17:21:55 [17:21:55.970] INFO: bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.80 MiB) 17:21:56 [17:21:56.130] INFO: bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6552.25 MiB) 17:21:57 [17:21:57.514] INFO: bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7320.28 MiB) 17:22:03 [17:22:03.076] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7320.28 MiB) 17:22:07 [17:22:07.000] INFO: bb-prover RootParityArtifact BB out - created oink proof (mem: 7320.28 MiB) 17:22:08 [17:22:08.911] INFO: bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8967.40 MiB) 17:22:11 [17:22:11.001] INFO: bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8967.40 MiB) 17:22:18 [17:22:18.468] INFO: bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8967.40 MiB) 17:22:20 [17:22:20.095] INFO: bb-prover RootParityArtifact BB out - computed opening proof (mem: 8967.40 MiB) 17:22:20 [17:22:20.128] INFO: bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8967.40 MiB) 17:22:21 [17:22:21.068] INFO: bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c535e785/bb/tmp-uHWy83/public_inputs" (mem: 8967.40 MiB) 17:22:21 [17:22:21.069] INFO: bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/c535e785/bb/tmp-uHWy83/public_inputs_fields.json" (mem: 8967.40 MiB) 17:22:21 Proof saved to "/tmp/c535e785/bb/tmp-uHWy83/proof" (mem: 8967.40 MiB) 17:22:21 Proof fields saved to "/tmp/c535e785/bb/tmp-uHWy83/proof_fields.json" (mem: 8967.40 MiB) 17:22:21 VK saved to "/tmp/c535e785/bb/tmp-uHWy83/vk" (mem: 8967.40 MiB) 17:22:21 [17:22:21.069] INFO: bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/c535e785/bb/tmp-uHWy83/vk_fields.json" (mem: 8967.40 MiB) 17:22:21 [17:22:21.349] INFO: bb-prover Generated proof for RootParityArtifact in 39068 ms, size: 456 fields {"circuitName":"root-parity","circuitSize":4194304,"duration":39067.306538,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 17:22:21 [17:22:21.355] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:22:21 [17:22:21.355] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-jJahMQ/proof -k /tmp/c535e785/bb/tmp-jJahMQ/vk -i /tmp/c535e785/bb/tmp-jJahMQ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:22:21 [17:22:21.383] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify 17:22:21 [17:22:21.384] VERBOSE: bb-prover bb-prover (verify) BB out - (mem: 17:22:21 [17:22:21.385] VERBOSE: bb-prover bb-prover (verify) BB out - 256.06 17:22:21 [17:22:21.385] VERBOSE: bb-prover bb-prover (verify) BB out - MiB) 17:22:21 [17:22:21.388] VERBOSE: bb-prover bb-prover (verify) BB out - 17:22:21 Scheme is: ultra_honk, num threads: 128 (mem: 256.06 MiB) 17:22:21 --public_inputs_path: /tmp/c535e785/bb/tmp-jJahMQ/public_inputs (mem: 256.06 MiB) 17:22:21 --proof_path: /tmp/c535e785/bb/tmp-jJahMQ/proof (mem: 256.06 MiB) 17:22:21 --vk_path: /tmp/c535e785/bb/tmp-jJahMQ/vk (mem: 256.06 MiB) 17:22:21 --verbose: true (mem: 256.06 MiB) 17:22:21 --scheme: ultra_honk (mem: 256.06 MiB) 17:22:21 --oracle_hash: poseidon2 (mem: 256.06 MiB) 17:22:21 --disable_zk: true (mem: 256.06 MiB) 17:22:21 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.06 MiB) 17:22:21 [17:22:21.401] VERBOSE: bb-prover bb-prover (verify) BB out - Sumcheck failed! 17:22:21 [17:22:21.401] VERBOSE: bb-prover bb-prover (verify) BB out - (mem: 17:22:21 [17:22:21.402] VERBOSE: bb-prover bb-prover (verify) BB out - 256.06 17:22:21 [17:22:21.402] VERBOSE: bb-prover bb-prover (verify) BB out - MiB) 17:22:21 [17:22:21.402] VERBOSE: bb-prover bb-prover (verify) BB out - 17:22:21 [17:22:21.403] VERBOSE: bb-prover bb-prover (verify) BB out - Proof verification failed 17:22:21 [17:22:21.405] VERBOSE: bb-prover bb-prover (verify) BB out - (mem: 256.06 MiB) 17:22:21 verified: 0 (mem: 256.06 MiB) 17:22:21 [17:22:21.406] ERROR: bb-prover Error running operation at /tmp/c535e785/bb/tmp-jJahMQ: ProvingError: Failed to verify proof from key! 17:22:21 [17:22:21.654] INFO: bb-prover Generated witness {"circuitName":"root-parity","duration":92.74332699998922,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"} 17:22:21 [17:22:21.656] INFO: bb-prover RootParityArtifact BB out - BB concurrency: undefined 17:22:21 [17:22:21.657] 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/c535e785/bb/tmp-SNc2ug -b /tmp/c535e785/bb/tmp-SNc2ug/RootParityArtifact-bytecode -w /tmp/c535e785/bb/tmp-SNc2ug/partial-witness.gz -v --init_kzg_accumulator -v 17:22:21 [17:22:21.690] INFO: bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.06 MiB) 17:22:21 Scheme is: ultra_honk, num threads: 128 (mem: 256.06 MiB) 17:22:21 --scheme: ultra_honk (mem: 256.06 MiB) 17:22:21 --bytecode_path: /tmp/c535e785/bb/tmp-SNc2ug/RootParityArtifact-bytecode (mem: 256.06 MiB) 17:22:21 --witness_path: /tmp/c535e785/bb/tmp-SNc2ug/partial-witness.gz (mem: 256.06 MiB) 17:22:21 --output_path: /tmp/c535e785/bb/tmp-SNc2ug (mem: 256.06 MiB) 17:22:21 Warning: the following option is called more than once (mem: 256.06 MiB) 17:22:21 --verbose: true (mem: 256.06 MiB) 17:22:21 --oracle_hash: poseidon2 (mem: 256.06 MiB) 17:22:21 --output_format: bytes_and_fields (mem: 256.06 MiB) 17:22:21 --write_vk: true (mem: 256.06 MiB) 17:22:21 --disable_zk: true (mem: 256.06 MiB) 17:22:21 --init_kzg_accumulator: true (mem: 256.06 MiB) 17:22:21 [17:22:21.889] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.06 MiB) 17:22:21 [17:22:21.909] INFO: bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.06 MiB) 17:22:23 [17:22:23.819] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.82 MiB) 17:22:25 [17:22:25.801] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.32 MiB) 17:22:27 [17:22:27.747] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1055.46 MiB) 17:22:29 [17:22:29.700] INFO: bb-prover RootParityArtifact BB out - created circuit (mem: 1429.78 MiB) 17:22:29 [17:22:29.701] INFO: bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1429.78 MiB) 17:22:30 [17:22:30.777] INFO: bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1879.85 MiB) 17:22:31 [17:22:31.168] INFO: bb-prover RootParityArtifact BB out - populating trace... (mem: 5524.85 MiB) 17:22:32 [17:22:32.952] INFO: bb-prover RootParityArtifact BB out - time to construct proving key: 3251 ms. (mem: 6071.85 MiB) 17:22:33 [17:22:33.078] INFO: bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.85 MiB) 17:22:33 [17:22:33.401] INFO: bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6554.46 MiB) 17:22:34 [17:22:34.615] INFO: bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7322.55 MiB) 17:22:41 [17:22:41.237] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7322.55 MiB) 17:22:45 [17:22:45.697] INFO: bb-prover RootParityArtifact BB out - created oink proof (mem: 7322.55 MiB) 17:22:48 [17:22:48.047] INFO: bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8964.68 MiB) 17:22:50 [17:22:50.001] INFO: bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8965.68 MiB) 17:22:55 [17:22:55.217] INFO: bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8965.68 MiB) 17:22:56 [17:22:56.491] INFO: bb-prover RootParityArtifact BB out - computed opening proof (mem: 8965.68 MiB) 17:22:56 [17:22:56.532] INFO: bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8965.68 MiB) 17:22:57 [17:22:57.341] INFO: bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c535e785/bb/tmp-SNc2ug/public_inputs" (mem: 8965.68 MiB) 17:22:57 Public inputs fields saved to "/tmp/c535e785/bb/tmp-SNc2ug/public_inputs_fields.json" (mem: 8965.68 MiB) 17:22:57 [17:22:57.341] INFO: bb-prover RootParityArtifact BB out - Proof saved to "/tmp/c535e785/bb/tmp-SNc2ug/proof" (mem: 8965.68 MiB) 17:22:57 Proof fields saved to "/tmp/c535e785/bb/tmp-SNc2ug/proof_fields.json" (mem: 8965.68 MiB) 17:22:57 VK saved to "/tmp/c535e785/bb/tmp-SNc2ug/vk" (mem: 8965.68 MiB) 17:22:57 VK fields saved to "/tmp/c535e785/bb/tmp-SNc2ug/vk_fields.json" (mem: 8965.68 MiB) 17:22:57 [17:22:57.585] INFO: bb-prover Generated proof for RootParityArtifact in 35927 ms, size: 456 fields {"circuitName":"root-parity","circuitSize":4194304,"duration":35926.403539999985,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 17:22:57 [17:22:57.587] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 17:22:57 [17:22:57.587] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c535e785/bb/tmp-qdJPFx/proof -k /tmp/c535e785/bb/tmp-qdJPFx/vk -i /tmp/c535e785/bb/tmp-qdJPFx/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 17:22:57 [17:22:57.609] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.06 MiB) 17:22:57 Scheme is: ultra_honk, num threads: 128 (mem: 256.06 MiB) 17:22:57 --public_inputs_path: /tmp/c535e785/bb/tmp-qdJPFx/public_inputs (mem: 256.06 MiB) 17:22:57 --proof_path: /tmp/c535e785/bb/tmp-qdJPFx/proof (mem: 256.06 MiB) 17:22:57 --vk_path: /tmp/c535e785/bb/tmp-qdJPFx/vk (mem: 256.06 MiB) 17:22:57 --verbose: true (mem: 256.06 MiB) 17:22:57 --scheme: ultra_honk (mem: 256.06 MiB) 17:22:57 --oracle_hash: poseidon2 (mem: 256.06 MiB) 17:22:57 --disable_zk: true (mem: 256.06 MiB) 17:22:57 [17:22:57.610] VERBOSE: bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.06 MiB) 17:22:57 [17:22:57.620] VERBOSE: bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.06 MiB) 17:22:57 Proof verification failed (mem: 256.06 MiB) 17:22:57 verified: 0 (mem: 256.06 MiB) 17:22:57 [17:22:57.621] ERROR: bb-prover Error running operation at /tmp/c535e785/bb/tmp-qdJPFx: ProvingError: Failed to verify proof from key! 17:22:57 [17:22:57.624] VERBOSE: prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade 17:22:57 PASS src/test/bb_prover_parity.test.ts (132.79 s) 17:22:57 prover/bb_prover/parity 17:22:57 ✓ proves the parity circuits (122926 ms) 17:22:57 17:22:57 Test Suites: 1 passed, 1 total 17:22:57 Tests: 1 passed, 1 total 17:22:57 Snapshots: 0 total 17:22:57 Time: 132.89 s 17:22:57 Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts. 17:22:57 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?